"Your body is the instrument upon which your soul is played. Provided, your instrument is in tune and your music well-composed, then your concert hall will always be filled" David R Andrews(2012)
Monday, March 14, 2016
Propositional Calculus (1)
Definition:
A ∧ B stands for ¬[A ⇒ (¬B)]
A ∨ B stands for (¬A) ⇒ B
A ⇔ B stands for ¬[(A ⇒ B) ⇒ ¬(B ⇒ A)] which is equivalent to (A ⇒ B) ∧ (B ⇒ A).
No comments:
Post a Comment