NAME

### Question limit

of 41 available terms

### 40 Matching questions

1. Material Implication
2. Modus Tollens ("Denying Mode")
3. Conjuncts
4. Constructive Dilemma
5. Affirming the Consequent
6. Propositional Logic
7. Substitution Instance
8. Denying the Antecedent
9. Truth Table
11. Logically True
12. Simple Statement
13. Conjunctive Statement (Conjunction)
14. Biconditional Statement (Biconditional)
15. Antecedent
16. Argument Form
17. Negation
18. Logically False
19. Corresponding Conditional
20. Pure Hypothetical Syllogism
21. Modus Ponens ("Asserting Mode")
22. Inconsistent Statements
23. Well-Formed Formulas (WFFs)
24. Disjunctive Statement (Disjunction)
25. Operators (Connectives)
26. Conditional Statement (Conditional)
27. Contingent Statement
28. Consequent
29. Truth Functions
30. Logically Equivalent Statements
31. Compound Statement
32. Disjuncts
33. Statement Variables
34. Main Operator
35. Disjunctive Syllogism
36. Sufficient Condition
37. Destructive Dilemma
38. Statement Form
39. Necessary Condition
40. Consistent Statements
1. a The relation expressed by a truth-functional biconditional (pg. 318).
2. b A valid argument form/rule of inference: "If p then q / p // q" (pg. 370).
3. c The operator (connective) in a compound statement that has its scope everything else in the statement (pg. 319).
4. d An arrangement of statement variables and operators such that the uniform substitution of statements in place of the variables results in a statement (pg. 330).
5. e The conditional statement having the conjunction of an argument's premises as its antecedent and the conclusion as its consequent (pg. 354).
6. f (1) The component of a conditional statement immediately following the word "if" (2) the component of a conditional statement to the left of the horse-shoe (pg. 318).
7. g A statement that contains at least one simple statement as a component (pg. 317).
8. h 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).
9. i A valid argument form/rule of inference: "If p then q / If q then r // If p then r" (pg. 369).
10. j Statements that there is no line on their truth tables in which all of them are true (pg. 346).
11. k Statements for which there is at least one line on their truth tables in which all of them are true (pg. 346).
12. l A statement having a tilde as its main operator (pg. 318).
13. m A component in a conjunctive statement on either side of the main operator (pg. 318).
14. n A valid argument form/rule of inference "If p then q, and if r then s/ p or r // q or s" (pg. 371).
15. o A compound proposition whose truth value is completely determined by the truth values of its components (pg. 330).
16. p The condition represented by the consequent in a conditional statement (pg. 321).
17. q Statements that necessarily have opposite truth values (pg. 346).
18. r A statement having a wedge as its main operator (pg. 318).
19. s An argument or statement that has the same form as a given argument form or statement (pg. 368).
20. t A statement having a triple bar as its main operator (pg. 318).
21. u An invalid argument form: "If p then q / not p // not q" (pg. 370).
22. v A statement that is necessarily true; a tautology (pg. 345).
23. w 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).
24. x A statement that is neither necessarily true nor necessarily false (pg. 345).
25. y (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).
26. z A syntactically correct arrangement of symbols (pg. 325).
27. aa An invalid argument form: "If p then q / q // p" (pg. 370).
28. ab (1) A syllogisms having a disjunctive statement for one or both of its premises (2) a valid argument form/rule of inference (pg. 368).
29. ac The component in a disjunctive statement on either side of the main operator (pg. 318).
30. ad A statement having a dot as its main operator (pg. 318).
31. ae A statement that does not contain any other statement as a component (pg. 317).
32. af A lowercase letter, such as p or q, that can represent any statement (pg. 330).
33. ag (1) An "if...then" statement (2) a statement having a horseshoe as its main operator (pg. 318).
34. ah A kind of logic in which the fundamental components are whole statements or propositions (pg. 316).
35. ai A valid argument form/ rule of inference: "If p then q / not q // not p" (pg. 370).
36. aj (1) statements that necessarily have the same truth value (2) statements having the same truth value on each line under their main operators (pg. 346).
37. ak Symbols used to connect simple propositions in propositional logic (pg. 316).
38. al A statement that is necessarily false; a self-contradictory statement (pg. 345).
39. am The condition represented by the antecedent in a conditional statement (pg. 321).
40. an (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).