Last updated Unknown

Status: Tags: Links: Open Statements or Predicates

Predicate Logic

Open statements become statements when the variable is assigned a value

• ex) let x = 2, 2 > 3 is false
• Be rational with the values you assign for meaningful statements
  • Every var is associated with a universe/uni of discourse, and their possible values are taken from this universe

Quantified Predicates Logical Equivalence

Logical Equivalence

• P(a) and Q(a) are equivalent if any value causes the two statements to be equivalent for any universe.
• A parallelogram (universe) is a rectangle (<→) iff all angles are equal
• slide 9-4 Proving no logical equivalence of a conjunction
  • Provide a counterexample
• slide 9-6
  • Use facts to assume that a universe exists where the statement is true, then isolate one and amplify it to match the quantified statement

?

• Proving first
  • 

Homework

Backlinks

1

list from Predicate Logic

References:

Created:: 2021-07-12 16:07