This is the branch of logic in which the basic unit of thought is the proposition.
What is propositional logic? DUH!
100
These are the formal names for the "dot", "vee" and "horseshoe."
What is the "conjunction", "disjunction" and "conditional?"
100
This rule is the only one that uses the conditional with two premises and a conclusion.
What is the hypothetical syllogism?
100
This type of dilemma works like an extended modus ponens.
What is a constructive dilemma?
100
This rule states that the negation of a negation of a proposition is equivalent to that proposition.
What is Double Negation?
200
This type of proposition has only one component part.
What is a simple proposition?
200
This rule allows you to assume the negation of a proposition, deduce a self-contradiction, then conclude the proposition.
What is the reductio ad absurdum?
200
This rule of replacement simply says that (p v q) is equivalent to (q v p) and (p . q is equivalent to (q . p).
What is Commutation?
200
This is what destructive dilemmas work like.
What is modus tollens?
200
This rule states that a proposition is equivalent to the disjunction or conjunction of itself.
What is a tautology?
300
This is when the truth value depends upon the truth values of its component parts.
What is truth-functional?
300
This rule says that a conditional is equivalent to its contrapositive.
What is transposition?
300
This rule allows one introduce a new variable, as though it were "out of thin air."
What is Addition?
300
This technique is used to defeat a dilemma by writing a counter-dilemma.
What is rebutting the horns?
300
This is what you get when the premises imply the conclusion in an argument.
What is a valid argument (validity)?
400
This is when all the propositions can be true at the same time and there is no logical conflict between them.
What is consistent propositions (consistency)?
400
These are forms of equivalent statements.
What are rules of replacement?
400
This simple rule always removes the second conjunct in the conjunction.
What is Simplification?
400
This technique defeats the dilemma by rejecting one of the conditionals in a conjunctive premise.
What is grasping the horns?
400
This is the correct Latin spelling for Q.E.D.
What is "Quod Erat Demonstrandum"
500
This is a word or phrase that modifies or combines simple propositions, making them compound.
What is a logical operator?
500
This is a valid argument form which can be used to justify steps in a proof.
What are rules of inference?
500
What key part of this following definition is missing from this rule:
"This rule allows us to assume the antecedent of a conditional, and..., to conclude the entire conditional."
What is "deduce the consequent"
500
This is defeating the dilemma by posing a third option.
What is going between the horns?
500
This English logician is credited with the theorem that states ~(p v q) is equivalent to (~p . q). Need the first and last name.