Chapter 1 Definitions Flashcards
Argument
An argument is a set of two or more sentences, one of which is designated as the conclusion and the others as the premises.
Logical validity
An argument is logically valid if and only if it is not possible for the premises to be true and the conclusion false. An argument is logically invalid if and only if it is not logically valid.
Logical soundness
An argument is logically sound if and only if it is logically valid and all its premises are true. An argument is logically unsound if and only if it is not logically sound.
Logical truth
A sentence is logically true if and only if it is to possible for the sentence to be false.
Logical falsity
A sentence is logically false if and only if it is not possible for the sentence to be true.
Logical indeterminacy
A sentence is logically indeterminate if and only if it is neither logically true nor logically false.
Logical equivalence
Sentences p and q are logically equivalent if and only if it is not possible for one of these sentences to be true while the other sentence is false.
Logical consistency
A set of sentences is logically consistent if and only if it is possible for all the members of that set to be true. A set of sentences is logically inconsistent if and only if it is not logically consistent.
Logical entailment
A set of sentences logically entails a sentence if and only if it is impossible for all the members o the set to be true and that sentence false.