Study your flashcards anywhere!

Download the official Cram app for free >

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

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




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)
Two subproofs, one showing Q follows P, and one showing P follows Q
↔ Elim