So Symbolic
This symbol represents "if and only if."
What is an equal sign with three lines?
"what was to be demonstrated," used to show a proof is completed
What is Q.E.D. (quod erat demonstrandum)?
The proposition that follows the "then" in a conditional proposition.
What is the consequent?
This represents which Rule of Replacement?
~ ~ P becomes P
What is Double Negation?
This represents which Rule of Inference?
P ⊃ Q
P
∴ Q
What is Modus Ponens?
This symbol joins two propositions and is true if and only if both propositions are true.
What is a dot?
Valid argument forms which can be used to justify steps in a proof
What are Rules of Inference?
The proposition that follows the "if" in a conditional propostition.
What is the antecedent?
This represents which Rule of Replacement?
P ∨ (Q • R) becomes (P ∨ Q) • (P ∨ R)
What is Distribution?
This represents which Rule of Inference?
P ⊃ Q
Q ⊃ R
∴ P ⊃ R
What is Hypothetical Syllogism?
This symbol denies or contradicts a proposition.
What is a tilde? (~)
Forms of equivalent statements, which may replace each other wherever they occur (even if part of a larger proposition) and work from left to right AND right to left
What are Rules of Replacement?
What is a compound proposition?
This represents which Rule of Inference?
(P ⊃ Q) • (R ⊃ S)
P ∨ R
∴ Q ∨ S
What is Constructive Dilemma?
This represents which Rule of Inference?
P
Q
∴ P • Q
What is Conjunction?
This symbol asserts that one component (the antecedent) implies the other (consequent).
What is the horseshoe (or conditional)?
A special rule in a formal proof which allows us to assume the antecedent of a conditional and, once we deduce that consequent, to conclude the entire conditional
What is Conditional Proof?
A proposition with only one component part.
What is a simple proposition?
This represents which Rule of Replacement?
(P ⊃ Q) becomes (~P ∨ Q)
What is Material Implication?
This represents which Rule of Inference?
P
∴ P ∨ Q
What is Addition?
This symbol joins two propositions and is false if and only if both propositions are false.
What is "v"?
A special rule in a formal proof which allows us to assume the negation of a proposition, deduce a self-contradiction, then conclude the original proposition.
What is Reductio ad Absurdum?
A statement (a sentence with a truth value).
What is a proposition?
This represents which Rule of Inference?
P ∨ Q
~ P
∴ Q
What is Disjunctive Syllogism?
This represents which Rule of Inference?
P ⊃ Q
∴ P ⊃ (P • Q)
What is Absorption?