Title: PHL245 Rules

Q: ADJ
A: P, Q
... P /\ Q

Q: S
A: P /\ Q
... P
... Q

Q: ADD
A: P
... P \/ Q
... Q \/ P

Q: MTP
A: P \/ Q
~P ... Q
~Q ... P

Q: CB
A: P->Q, Q->P
... P<->Q

Q: BC
A: P <-> Q
... P->Q
... Q->P

Q: HS
A: P->Q, Q->R
...P -> R

Q: CP1
A: P -> Q
... ~Q -> ~P

Q: CP2
A: ~P -> ~Q
...Q -> P

Q: NBI
A: ~(P <-> Q)
... P <-> ~Q

Q: NBO
A: P <-> ~Q
... ~(P <-> Q)

Q: NCC
A: ~(P->Q)
... P /\ ~Q

Q: CNC
A: P /\ ~Q
... ~(P->Q)

Q: DMCD
A: ~(P /\ Q)
... ~P \/ ~Q

Q: DMDC
A: ~(P \/ Q)
... ~P /\ ~Q

Q: CDJ
A: P -> Q
... ~P \/ Q

Q: DJC
A: P \/ Q
... ~P -> Q

Q: SCA
A: P -> Q
~P -> Q
... Q

Q: SCB
A: P \/ R
P -> Q
R -> Q
... Q

Q: It's sufficient for P that Q
A: Q -> P
FLIP

Q: It's necessary for P that Q
A: P -> Q
Necessary: Need to Keep

Q: Necessary and Sufficient for P that Q
A: P<->Q

Q: Tautology, TVA
A: For a statement,
All TVAs True

Q: Contradiction, TVA
A: For a statement,
All TVAs False

Q: Consistent, TVA
A: For a set of statements,
At least 1 TVA is true for all statements in the set

Q: Inconsistent, TVA
A: For a set of statements,
No TVAs is true for all statements in the set

Q: Contingent, TVA
A: For a statement,
Some TVA true, some TVA false

Q: Logical equivalent, TVA
A: For a set of statements,
All TVAs have the same value

Q: Argument valid, TVA...
A: TVA with true premises means conclusion true

Q: Argument invalid, TVA...
A: At least 1 TVA where premises are True, conclusion is False

Q: Predicate letters
A: F - O
1 or multi place predicates

Q: Term a - e
A: Names

Q: Term v - z
A: Variables

Q: Term operators
A: f - h
Create new terms from terms