NAME

Question types


Start with


Question limit

of 41 available terms

Print test

41 Multiple choice questions

  1. An argument or statement that has the same form as a given argument form or statement (pg. 368).
  2. A lowercase letter, such as p or q, that can represent any statement (pg. 330).
  3. A component in a conjunctive statement on either side of the main operator (pg. 318).
  4. Symbols used to connect simple propositions in propositional logic (pg. 316).
  5. A compound proposition whose truth value is completely determined by the truth values of its components (pg. 330).
  6. A statement having a tilde as its main operator (pg. 318).
  7. An invalid argument form: "If p then q / q // p" (pg. 370).
  8. A kind of logic in which the fundamental components are whole statements or propositions (pg. 316).
  9. The conditional statement having the conjunction of an argument's premises as its antecedent and the conclusion as its consequent (pg. 354).
  10. (1) A syllogisms having a disjunctive statement for one or both of its premises (2) a valid argument form/rule of inference (pg. 368).
  11. The condition represented by the consequent in a conditional statement (pg. 321).
  12. A statement having a dot as its main operator (pg. 318).
  13. A valid argument form/ rule of inference: "If p then q / not q // not p" (pg. 370).
  14. A statement having a wedge as its main operator (pg. 318).
  15. 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).
  16. 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).
  17. A statement that contains at least one simple statement as a component (pg. 317).
  18. Statements that necessarily have opposite truth values (pg. 346).
  19. The component in a disjunctive statement on either side of the main operator (pg. 318).
  20. (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).
  21. The operator (connective) in a compound statement that has its scope everything else in the statement (pg. 319).
  22. The condition represented by the antecedent in a conditional statement (pg. 321).
  23. (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).
  24. The relation expressed by a truth-functional biconditional (pg. 318).
  25. Statements that there is no line on their truth tables in which all of them are true (pg. 346).
  26. Statements for which there is at least one line on their truth tables in which all of them are true (pg. 346).
  27. An invalid argument form: "If p then q / not p // not q" (pg. 370).
  28. (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).
  29. A statement that is neither necessarily true nor necessarily false (pg. 345).
  30. A statement that is necessarily true; a tautology (pg. 345).
  31. 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).
  32. A syntactically correct arrangement of symbols (pg. 325).
  33. (1) An "if...then" statement (2) a statement having a horseshoe as its main operator (pg. 318).
  34. A valid argument form/rule of inference "If p then q, and if r then s/ p or r // q or s" (pg. 371).
  35. A statement that is necessarily false; a self-contradictory statement (pg. 345).
  36. The relation expressed by a truth-functional biconditional (pg. 318).
  37. A statement having a triple bar as its main operator (pg. 318).
  38. A valid argument form/rule of inference: "If p then q / p // q" (pg. 370).
  39. (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).
  40. A valid argument form/rule of inference: "If p then q / If q then r // If p then r" (pg. 369).
  41. A statement that does not contain any other statement as a component (pg. 317).