- Using The Transformation Rules Of System P Prove The Following Proposition To Be A Tautology In Other Words Construct 1 (17.42 KiB) Viewed 39 times
Using the transformation rules of system P, prove the following proposition to be a tautology. In other words, construct
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
Using the transformation rules of system P, prove the following proposition to be a tautology. In other words, construct
Using the transformation rules of system P, prove the following proposition to be a tautology. In other words, construct a proof for the following theorem of system P: V. (A= B)=-(-A= B)