41 True/False questions

Disjuncts → A component in a conjunctive statement on either side of the main operator (pg. 318).

Logically False → A statement that is necessarily true; a tautology (pg. 345).

Constructive Dilemma → A valid argument form/rule of inference "If p then q, and if r then s/ p or r // q or s" (pg. 371).

Consequent → (1) The component of a conditional statement immediately following the word "if" (2) the component of a conditional statement to the left of the horseshoe (pg. 318).

Operators (Connectives) → A compound proposition whose truth value is completely determined by the truth values of its components (pg. 330).

Conditional Statement (Conditional) → (1) An "if...then" statement (2) a statement having a horseshoe as its main operator (pg. 318).

Argument Form → (1) An arrangement of words and letters such that the uniform substitution of terms or statements in place of the letters results in an argument (2) an arrangement of statement variables and operators such that the uniform substitution of statements in place of the variables results in an argument (pg. 368).

Logically Equivalent Statements → Statements for which there is at least one line on their truth tables in which all of them are true (pg. 346).

WellFormed Formulas (WFFs) → A syntactically correct arrangement of symbols (pg. 325).

Negation → A statement having a tilde as its main operator (pg. 318).

Sufficient Condition → The condition represented by the antecedent in a conditional statement (pg. 321).

Destructive Dilemma → A valid argument form/rule of inference: "If p then q, and if r then s/ not q or not s // not p or not r" (pg. 371).

Substitution Instance → An arrangement of truth values that shows in every possible case how the truth value of a compound proposition is determined by the truth values of its simple components (pg. 330).

Modus Ponens ("Asserting Mode") → A valid argument form/ rule of inference: "If p then q / not q // not p" (pg. 370).

Consistent Statements → Statements that there is no line on their truth tables in which all of them are true (pg. 346).

Compound Statement → A statement that does not contain any other statement as a component (pg. 317).

Conjunctive Statement (Conjunction) → A statement having a wedge as its main operator (pg. 318).

Statement Variables → A lowercase letter, such as p or q, that can represent any statement (pg. 330).

Corresponding Conditional → The condition represented by the consequent in a conditional statement (pg. 321).

Logically True → A statement that is necessarily false; a selfcontradictory statement (pg. 345).

Truth Functions → A compound proposition whose truth value is completely determined by the truth values of its components (pg. 330).

Propositional Logic → A kind of logic in which the fundamental components are whole statements or propositions (pg. 316).

Necessary Condition → The condition represented by the antecedent in a conditional statement (pg. 321).

Statement Form → (1) An arrangement of words and letters such that the uniform substitution of terms or statements in place of the letters results in an argument (2) an arrangement of statement variables and operators such that the uniform substitution of statements in place of the variables results in an argument (pg. 368).

Contradictory Statements → Statements that necessarily have opposite truth values (pg. 346).

Denying the Antecedent → An invalid argument form: "If p then q / not p // not q" (pg. 370).

Main Operator → A statement having a tilde as its main operator (pg. 318).

Inconsistent Statements → Statements that there is no line on their truth tables in which all of them are true (pg. 346).

Modus Tollens ("Denying Mode") → A valid argument form/rule of inference: "If p then q / p // q" (pg. 370).

Conjuncts → A component in a conjunctive statement on either side of the main operator (pg. 318).

Disjunctive Statement (Disjunction) → A statement having a wedge as its main operator (pg. 318).

Biconditional Statement (Biconditional) → A statement having a triple bar as its main operator (pg. 318).

Material Equivalence → A lowercase letter, such as p or q, that can represent any statement (pg. 330).

Truth Table → An arrangement of truth values that shows in every possible case how the truth value of a compound proposition is determined by the truth values of its simple components (pg. 330).

Pure Hypothetical Syllogism → (1) A syllogisms having a disjunctive statement for one or both of its premises (2) a valid argument form/rule of inference (pg. 368).

Contingent Statement → Statements for which there is at least one line on their truth tables in which all of them are true (pg. 346).

Simple Statement → A statement that contains at least one simple statement as a component (pg. 317).

Antecedent → (1) The component of a conditional statement immediately following the word "then"; the component of a conditional statement that is not the antecedent (2) the component of a conditional statement to the right of the horseshoe (pg. 318).

Affirming the Consequent → An invalid argument form: "If p then q / q // p" (pg. 370).

Disjunctive Syllogism → (1) A syllogisms having a disjunctive statement for one or both of its premises (2) a valid argument form/rule of inference (pg. 368).

Material Implication → The relation expressed by a truthfunctional biconditional (pg. 318).