Rarer Logic rules Flashcards
1
Q
ADD
A
p TF PvR
2
Q
MC
A
Q TF p->Q or ~P TF P->Q
3
Q
Trans
A
P->q TF/FT ~Q->~P
4
Q
CJB
A
Conjunctions yield biconditions or otherwise
5
Q
NCJ
A
~P or ~Q TF ~(P and Q)
6
Q
COM
A
Inverts symmetrical relations
7
Q
VAC
A
exists(P) where b has not variable and isnt under scope = P
8
Q
Qcom
A
Switches order of quantifiers
