#separator:tab #html:true ADJ P, Q
... P /\ Q S P /\ Q
... P
... Q ADD P
... P \/ Q
... Q \/ P MTP P \/ Q
~P ... Q
~Q ... P CB P->Q, Q->P
... P<->Q BC P <-> Q
... P->Q
... Q->P HS P->Q, Q->R
...P -> R CP1 P -> Q
... ~Q -> ~P CP2 ~P -> ~Q
...Q -> P NBI ~(P <-> Q)
... P <-> ~Q NBO P <-> ~Q
... ~(P <-> Q) NCC ~(P->Q)
... P /\ ~Q CNC P /\ ~Q
... ~(P->Q) DMCD ~(P /\ Q)
... ~P \/ ~Q DMDC ~(P \/ Q)
... ~P /\ ~Q CDJ P -> Q
... ~P \/ Q DJC P \/ Q
... ~P -> Q SCA P -> Q
~P -> Q
... Q SCB P \/ R
P -> Q
R -> Q

... Q It's sufficient for P that Q Q -> P

FLIP It's necessary for P that Q P -> Q

Necessary: Need to Keep Necessary and Sufficient for P that Q P<->Q Tautology, TVA For a statement,
All TVAs True Contradiction, TVA For a statement,
All TVAs False Consistent, TVA For a set of statements,
At least 1 TVA is true for all statements in the set Inconsistent, TVA For a set of statements,
No TVAs is true for all statements in the set Contingent, TVA For a statement,
Some TVA true, some TVA false Logical equivalent, TVA For a set of statements,
All TVAs have the same value Argument valid, TVA... TVA with true premises means conclusion true Argument invalid, TVA... At least 1 TVA where premises are True, conclusion is False Predicate letters F - O

1 or multi place predicates Term a - e Names Term v - z Variables Term operators f - h

Create new terms from terms