This rule says that the negation of a negation of a proposition is equivalent to that proposition.
What is double negation?
100
It is what a simple proposition has only one of.
What is one component part?
100
This is a step-by-step deduction of a conclusion from a set of premises.
What is a formal proof of validity?
200
This is a proposition that is always true by its logic structure.
What is a tautology?
200
This rule combines two propositions with a conjunction.
What is conjunction?
200
These are forms of equivalent statements?
What are rules of replacement?
200
It is a lowercase letter that represents any proposition.
What is a propositional variable?
200
This is the only rule of replacement that is true by its logical structure.
What is Tautology?
300
The truth of the proposition depends upon the truth value of its component parts.
What is truth functional?
300
This rule introduces a variable "out of thin air."
What is addition?
300
This rule is named after an English logician who lived from 1806-1871.
Who is Augustus De Morgan?
300
This is a listing of all the possible truth values for a set of one or more propositions.
What is a truth table?
300
Use this rule when trying to get the consequent f one conditional to match the antecedent of the other.
What is the hypothetical syllogism?
400
This is a word or phrase that modifies or combines simple propositions , making them compound.
What is a logical operator?
400
The conclusion of this rule is: "therefore if P then both p and q."
What is absorption?
400
This rule allows a switch between the conditional and the disjunction when necessary.
What is the rule of Material Implication?
400
This rule states: "If P then Q is equivalent to if not Q then not P.
What is the rule of Transposition?
400
This is what Q.E.D. means in English.
What is quad erat demonstrandum?
500
This method tests an argument's validity by assuming it is invalid with true premises and a false conclusion. Then if no contradiction is found, the argument is invalid.
What is the shorter truth table method.
500
This rule always removes the second conjunct in the conjunction.
What is simplification?
500
This rule allows says that a conditional is equivalent to its contrapositive.
What is the rule of transposition?
500
This type of argument works like modus ponens.
What is a constructive dilemma?
500
This is the major difference between rules of replacement and rules of inference.
What is rules of replacement allow one proposition to replace an equivalent proposition, even in the middle of a longer compound proposition.