Symbols
The "→" symbol is used for these statements.
What is a conditional statement?
This argument form has a conditional statement as the first premise and the antecedent of that conditional as the second premise.
What is Modus Ponens?
This term has the Latin root of "before".
What is antecedent?
This rule allows us to reduce an unnecessary (even) number of "nots".
What is elimination.
What is a disjunction?
This argument has a disjunction as one of its premises and concludes in a disjunction.
What is constructive dilemma?
This term is comes after the arrow in a conditional statement.
What is consequent?
Expressions like this tell us to define whatever follows "If" as the antecedent.
What is an "If/then" expression?
The "ʌ" symbol is used for these statements.
What are conjunctions?
What is disjunctive syllogism?
This term assesses the structure of a deductive argument.
What is valid?
What is "only if"?
What is a negation?
This argument has two premises, one of which is the negation of a conditional's consequent.
What is Modus Tollens?
This term is a stricter criteria for evaluating a deductive argument.
What is sound.
The word "but" is roughly synonymous with "and", which is used in this type of expression.
What is a conjunction?
The Latin name for the "v" symbol.
What is "vel"?
This argument is similar to transitive identity, used in mathematics.
What is hypothetical syllogism?
What is binary?
Using this rule, we know that "P and Q" is the same as "Q and P".
What is the Commutative rule?