SD+ Flashcards
1
Q
Double Negation (DN)
A
P logically equivalent to ~~P
2
Q
Modus Tollens (MT)
A
P -> Q , ~Q / ~P
3
Q
Contraposition (CT)
A
P -> Q Logically equivalent to ~Q -> ~P
4
Q
Negated Conditional (NC)
A