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

Click to flip

### 12 Cards in this Set

• Front
• Back
 Establish each constituent conjunct first ^ Intro Given A ^ B you can assert A ^ Elim Given A you can assert A v B v Intro You may conclude R from P...R and Q...R v Elim If from P you can prove a contradiction you are entitled to ⌐P ⌐ Intro From ⌐⌐P to P ⌐ Elim If in a subproof you can assert P and show Q, you may assertP → Q → Intro modus ponens; From P → Q, if you have P you can assert Q → Elim If you have established an explicit contradiction in the form of a sentence P and ⌐P ┴ Intro If you are able to establish a contradiction then you can assert any sentence in FOL whatsoever ┴ Elim You can conclude Q if you can establish P and either of the biconditionals indicated. ↔ Intro P ↔ Q (or Q ↔ P) . . P . . Q Two subproofs, one showing Q follows P, and one showing P follows Q ↔ Elim