Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
11 Cards in this Set
- Front
- Back
DEDUCTIVELY VALID
|
When an argument has an instance of a valid form.
|
|
DEDUCTIVELY VALID (argument form)
|
if and only if there are no instances of that form in which all the premises are true and the conclusion false.
|
|
COMPOUND
|
When a sentence is logically contains another complete sentence as a component.
|
|
SIMPLE
|
When sentence is not a compound
|
|
SENTENTIAL OPERATOR
|
is an expression containing blanks such that, when the blanks are filled with complete sentences, the result is a complete sentence.
|
|
TRUTH-FUNCTIONAL
|
A sentential operator is TRUTH-FUNCTIONAL if the truth or falsity of a compound sentence containing that operator is completely determined by the truth or falsity of its component sentences.
|
|
COUNTEREXAMPLE
|
When an argument form is an instance of that form where all the premises are true and the conclusion false.
|
|
DEDUCTIVELY VALID
|
When an argument form iff it has no counterexample.
|
|
Tautology
|
statement form is a TAUTOLOGY iff every instance of that form is true; that is, it is true in every row in its truth table.
|
|
Contradiction/Inconsistant
|
A statement form is a CONTRADICTION (or inconsistent) iff every instance of that form is false; that is, it is false in every row in its truth table.
|
|
Contingency
|
A statement form is a CONTINGENCY iff some instance of that form is true and some is false; that is, it is true in at least one row in its truth table and false in at least one row in its truth table.
|