NAME

Question types


Start with


Question limit

of 41 available terms

Print test

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
  10. Contradictory Statements
  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).