37. State Associative Laws in terms of equivalences.
(
)
(
)
(
)
(
)
P Q R
P Q R
P Q R
P Q R
∧ ∧ ⇔ ∧ ∨
∨ ∨ ⇔ ∨ ∨
38. State Commutative laws in terms of equivalences.
P Q Q P
P Q Q P
∧ ⇔ ∧
∨ ⇔ ∧
39. What are Predicates?
Assertions formed using variables in a “template” that expresses the
property of an object or a relationship between objects are called
Predicates.
Prop o si tions and Pred i cates
303
(
)
(
)
(
)
(
)
P Q R
P Q R
P Q R
P Q R
∧ ∧ ⇔ ∧ ∨
∨ ∨ ⇔ ∨ ∨
38. State Commutative laws in terms of equivalences.
P Q Q P
P Q Q P
∧ ⇔ ∧
∨ ⇔ ∧
39. What are Predicates?
Assertions formed using variables in a “template” that expresses the
property of an object or a relationship between objects are called
Predicates.
Prop o si tions and Pred i cates
303