1.
A branch of formal, deductive logic in which the basic unit of thought is the proposition.
2.
A statement (a sentence with a truth value).
3.
A proposition whose truth value depends on the the truth value of its component parts.
4.
A proposition with only one component part.
5.
A proposition with more than one component part or a modified part.
6.
Words which combine or modify simple propositions to make compound propositions.
7.
Uppercase letters that represent single, given propositions.
8.
Lowercase letters that represent any proposition.
9.
A listing of the possible truth values for a set of one or more propositions.
10.
A truth table that completely defines its operations on a minimum number of variables.
11.
The logical operator that denies or contradicts a proposition.
12.
The logical operator that joins two propositions and is true if and only if both propositions are true.
13.
The logical operator that joins two propositions and is false if and only if both propositions are false.
14.
"If...then..." logical operator.
15.
The proposition that follows the "if" in a conditional proposition.
16.
The proposition that follows the "then" in a conditional proposition.
18.
When two propositions have identical truth values.
19.
A proposition that is always true due to its logical structure.
20.
A proposition that is always false due to its logical structure.
21.
A set of propositions which can all be true at the same time.
22.
A valid argument which presents a choice between two conditionals.
23.
Denying the disjunctive premise -- provide a third alternative.
24.
Rejecting at least one of the two conditionals in the conjunctive premise.
25.
Constructing a counter-dilemma using the same/similar components as the original dilemma.
26.
"quod erat demonstrandum"
27.
Valid argument forms which can be used to justify steps in a proof.
