Term
|
Definition
"not the process of reasoning but the rules for correct reasoning." |
|
|
Term
|
Definition
An argument consists of a finite sequence of sentences, called premises, together with another sentence, the conclusion, which the premises are taken to support. |
|
|
Term
deductively valid argument |
|
Definition
An argument is deductively valid if and only if its conclusion is true whenever (in any possible circumstance) its premises are all true. |
|
|
Term
|
Definition
An argument is sound iff (1) it is valid and (2) all its premises are true. |
|
|
Term
A set of sentences IMPLIES a given sentence just in case... |
|
Definition
...the truth of that sentence is guaranteed by the truth of all the members of the set. |
|
|
Term
A sentence A IMPLIES another, B, iff... |
|
Definition
...A's truth guarantees B's truth. |
|
|
Term
A sentence A is EQUIVALENT to a sentence B iff.. |
|
Definition
...A and B always agree in truth value. |
|
|
Term
A sentence is CONTINGENT iff... |
|
Definition
...it is possible for it to be true and possible for it be false. |
|
|
Term
A sentence is VALID (or tautologous, or logically true) iff... |
|
Definition
...it is true in every possible circumstance. |
|
|
Term
A sentence is CONTRADICTORY iff... |
|
Definition
...it is impossible for it to be true. |
|
|
Term
A sentence is SATISFIABLE iff... |
|
Definition
...it is not contradictory. |
|
|
Term
A set of sentences is CONTRADICTORY iff... |
|
Definition
...it is impossible for all its members to be true. A set is SATISFIABLE otherwise. |
|
|
Term
One sentence is a COMPONENT of another if... |
|
Definition
(a)it is a proper part of that sentence, and (b) replacing it with another sentence yields something meaningful. |
|
|
Term
A sentence is COMPOUND (or molecular) if... |
|
Definition
...it has components. It is SIMPLE (or atomic) if it does not. |
|
|
Term
|
Definition
...is a word or phrase that forms a single, compound sentence from N component sentences. |
|
|
Term
A connective is TRUTH-FUNCTIONAL iff... |
|
Definition
...the truth values of the component statements the connective joins always completely determine the truth value of the compound statement formed by the connective. |
|
|
Term
An N-ARY TRUTH FUNCTION... |
|
Definition
...is a function taking N truth values as inputs and producing a truth value as output. |
|
|
Term
|
Definition
Transforms the truth value of the component sentence into its opposite. An English connective that has this effect is the logical particle not. |
|
|
Term
|
Definition
Is true just in case both its components--called conjuncts--are true. Equivalent English expressions: and, both...and, but, though, although |
|
|
Term
|
Definition
Is true just in case either of its components--called disjuncts--is true. Equivalent English expressions: or, either...or, unless |
|
|
Term
|
Definition
composed of two components: the antecedent and the consequent. A conditional is true just in case it does not have a true antecedent and a false consequent. Equivalent English expressions (roughly): B if A, if A then B, A only if B, B so long as A |
|
|
Term
|
Definition
Biconditionals are true just in case their components agree in truth value. Equivalent English expressions: iff, when and only when, is a necessary condition for, just in case |
|
|