• Shuffle
Toggle On
Toggle Off
• Alphabetize
Toggle On
Toggle Off
• Front First
Toggle On
Toggle Off
• Both Sides
Toggle On
Toggle Off
Toggle On
Toggle Off
Front

### How to study your flashcards.

Right/Left arrow keys: Navigate between flashcards.right arrow keyleft arrow key

Up/Down arrow keys: Flip the card between the front and back.down keyup key

H key: Show hint (3rd side).h key

A key: Read text to speech.a key

Play button

Play button

Progress

1/19

Click to flip

### 19 Cards in this Set

• Front
• Back
 Modus Ponens(M.P.) p>q, p, th q Modus Tollens (M.T.) p>q, ~q th ~p Hypothetical Syllogism(H.S.) p>q, q>r, th p>r Disjunctive Syllogism (D.S.) pvq, ~p, th q Constructive Dilemma (C.D.) (p>q) o (r>s), pvr, th qvs Absortion (Abs.) p>q, th p>(poq) Simplification (Simp.) poq th p Conjunction (conj.) p, q, th poq Addition (Add.) p, th pvq De Morgan's Theorems (De M) ~(poq) = (~pv~q) ~(pvq) = (~po~q) Commutation (Com.) (pvq)=(qvp) (poq)=(qop) Association (Assoc) [p v (qvr)] = [(pvq) v r] [po (qor)]= [(poq) o r] Distribution (Dist.) [po (qvr)]= [(poq) v (por)] [p v (qor)] = [(pvq) o (pvr)] Double Negation (D.N.) p=~~p Transposition (Trans) (p>q)= (~q>~p) Material Implication(Impl.) (p>q)= (~pvq) material Equvalence (Equiv) (p=q) = [(p>q)o(q>p)] (p=q)= [(poq) v (~po~q)] Exportation (Exp) [(poq)>r]=[p>(q>r)] Tautology (Taut) p= (pvp) p=(pop)