"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)
Saturday, August 22, 2015
Classical Implicational Calculus (CIC)
Lk1, Lk2, Sub, and MP form the basis for CIC. Notice Lk3 uses ¬ but Lk1 and Lk2 do not use ¬. Since, CIC does not use Lk3, its theorems are variations on the transitivity of ⇒.
No comments:
Post a Comment