Term
|
Definition
| The vranch of deductive reasoning that deals with logical relationship among statements. |
|
|
Term
|
Definition
| Modern deductive logic that uses symbolic language to do its work. |
|
|
Term
|
Definition
| In modern logic, the symbols, or letters, used to express a statement. |
|
|
Term
|
Definition
| An assertion that something is or is not the case. |
|
|
Term
|
Definition
| A statement that doesn't contain any other statements as constituents. |
|
|
Term
|
Definition
| A statement composed of at least two constituent, or simple, statements. |
|
|
Term
|
Definition
| Two simple statements joined by a connective to form a compound statement. |
|
|
Term
|
Definition
| A simple statement that is a component of a disjunction. |
|
|
Term
|
Definition
|
|
Term
| Denying the Antecedent (invalid) |
|
Definition
If p then q
not p
therefore not q |
|
|
Term
| Hypothetical syllogism (valid) |
|
Definition
If p then q
if q then r
therefore if p then r |
|
|
Term
|
Definition
If p then q
not q
therefore not p |
|
|
Term
| Affirming the Consequent (invalid) |
|
Definition
If p then q
p
therefore q |
|
|
Term
| Disjunctive syllogism (valid) |
|
Definition
Either p or q
Not p
therefore q |
|
|
Term
|
Definition
| One of two simple statements joined by a connective to form a compound statemen. |
|
|
Term
|
Definition
| A compound statement of the form "either p or q." A disjunction is true even if only one disjunct is true, and false only if both disjncts are false. |
|
|
Term
|
Definition
| A table that specifies the truth values for a claim variables and combinations of claim variables in symbolized statements or arguments. |
|
|
