Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
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
|