90 likes | 325 Views
p q r . Propositions: Statements either true false or indeterminate. ⇒ then statement. p ⇒ r If p then r If p is true r is true if p is false r is false if p is indeterminate then r is indeterminate. ⇔ equivalence statement. p ⇔ r p equals r If p is true r is true
E N D
p q r Propositions: Statements either true false or indeterminate
⇒ then statement p ⇒ r If p then r If p is true r is true if p is false r is false if p is indeterminate then r is indeterminate
⇔ equivalence statement p ⇔ r p equals r If p is true r is true If p is false r is false If p is indeterminate then r is indeterminate
p ∧ q • Conjuction • (= and) • Similar to intersection set theory
p ∨ q • Disjunction • (= pr, possibly both) • Similar to union symbol set theory
p ⊻ q • Exclusive disjunction • (= or but NOT both) • One or the other never both