Math logic test 1

Modus Ponens

If p then q, p | q

Modus tollens

If p then q, not q | not p

Double negation

not not p | p visa versa

Repetition

p | p

simplification

p and q | p visa versa

Adjunction

P, Q | P and Q

Addition

p | p or q

Modus Tollendo Ponens

P or Q, not p | q vise versa

Biconditional-Conditional

P if and only if Q | if p then Q vise versa

Conditional-biconditional

If p then q, if q then p, | p if and only if q

Hypothetical Syllogism

if p then q, if q then r | if p then r

constructive dilemma

if p then q, if r then s, p or r | q or s

Commutative Law

P or/and Q | Q or/and P

Associative Law

(P or/and Q) or/and R | P or/and (Q or/and R)

Distributive Law

P and (Q or R) | (P and Q) or (P and R) or switch signs for or

Contrapositive

If p then q | if not q then not p

De Morgan’s Law

not(p and q) | not p or not q for or switch signs

Fallacy of unwarranted assumptions

If p then q | q

Fallacy of the converse

If p then q, q | p

Fallacy of the inverse

If p then q, not p | no q

Lastly practice how to write arguments and the orignal tf stuff but very little of that, also practice how to write validity

N/A