Using the transformation rules of system P, prove the following proposition to be a tautology. In other words, construct
Posted: Mon Jul 11, 2022 12:03 pm
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)