• 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/13

Click to flip

### 13 Cards in this Set

• Front
• Back
 p > q p ----- q Modus Ponens p > q ~q ------ ~p Modus Tollens p > q q > r ------ p > r Hypothetical syllogism (hs) p v q ~p ----- q Disjunctive Syllogism (ds) (p>q)'(r>s) p v r ----- q v s conjuctive syllogism p ' q ----- p simplification p q ---- p ' q conjuction p ---- p v q addition ~(p'q)::(~pv~q) ~(pvq)::(~p'~q) Demorgan's rule p v q::q v p p ' q::q ' p commutativity [p ' (q v r)]::[(p ' q) v (p ' r)] [p v (q ' r)]::[(p v q) ' (p v r)] Distributing (Dist) ~~p::p p::~~p double negation (dn) u can only add using this symbol v