Midterm 2 Flashcards
A (particular) argument is _______ _______ if it is an instance of a valid argument form.
deductively valid
An argument form is _______ _______ if and only if its truth table contains no counterexamples.
deductively valid
A ________ for an argument form is a row of its truth table in which all the premises are true and the conclusion is false.
counterexample
A sentence is ________ if it logically contains another complete sentence as a component.
compound
A sentence is ________ if it is not compound.
simple
A _______ _______ is a pattern of words (or symbols) and blanks such that, whenever the blanks are filled with complete sentences, the result is a complete sentence.
sentential operator
A sentential operator is _______-________ if the truth or falsity of a compound sentence containing that operator is completely determined by the truth or falsity of its compound sentences.
truth-functional
The sentences that fill in the blanks for a conjuction are called ________.
conjuncts
The sentences that fill in the blanks of a disjunction are called ________.
disjuncts
The sentence that fill in the first blank of a conditional is called the ________.
antecedent
The sentence that fills in the second blank of a conditional is called the _________.
consequent
A well-formed formula (wff) is defined “recursively”:
- Any sentence letter (e.g. A;B;C; : : :) is a wff.
- If is a wff, so is .
- If and are wffs, so are ( & ), ( _ ), ( ! ), and ( $ ).
- And that’s all.
The ______ _______ of a wff is the last operator that was added as the wff was constructed.
major operator
A statement form is a ________ if every substitution instance of that form is true; that is, it is true in every row in its truth table.
tautology
A statement form is a ________ (or inconsistent) if every substitution instance of that form is false; that is, it is false in every row in its truth table.
contradiction