Last updated Unknown

Status: Tags: Links: Logic and Formal Reasoning

Predicates and Quantifiers

• Open Statements or Predicates
• Quantifiers

Logical Equivalence

• Quantified Predicates Logical Equivalence

Slides Homework

7) 1,2,4acij, 9a(i,iv), 12(vii,viii) 100-102 8/9) 17ab, 18ac, 25a (page 100-102) 7b, 8b (page 116) 10) No. 5, 9, 11, 13, 15, 17 (page 116-117) 11) No. 1, 2, 4, 6, 8 (page 134)

• Give a formal proof of the theorem on slide 12-9.

12) No. 1, 4, 6, 8bc, 16, 17bc (page 146 – 147)

Backlinks

1

list from Predicates and Quantifiers AND !outgoing(Predicates and Quantifiers)

References:

Created:: 2021-10-19 13:18