NAME

Question types


Start with


Question limit

of 41 available terms

Print test

41 True/False questions

  1. DisjunctsA component in a conjunctive statement on either side of the main operator (pg. 318).

          

  2. Logically FalseA statement that is necessarily true; a tautology (pg. 345).

          

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

          

  4. 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 horse-shoe (pg. 318).

          

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

          

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

          

  7. 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).

          

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

          

  9. Well-Formed Formulas (WFFs)A syntactically correct arrangement of symbols (pg. 325).

          

  10. NegationA statement having a tilde as its main operator (pg. 318).

          

  11. Sufficient ConditionThe condition represented by the antecedent in a conditional statement (pg. 321).

          

  12. Destructive DilemmaA 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).

          

  13. Substitution InstanceAn 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).

          

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

          

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

          

  16. Compound StatementA statement that does not contain any other statement as a component (pg. 317).

          

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

          

  18. Statement VariablesA lowercase letter, such as p or q, that can represent any statement (pg. 330).

          

  19. Corresponding ConditionalThe condition represented by the consequent in a conditional statement (pg. 321).

          

  20. Logically TrueA statement that is necessarily false; a self-contradictory statement (pg. 345).

          

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

          

  22. Propositional LogicA kind of logic in which the fundamental components are whole statements or propositions (pg. 316).

          

  23. Necessary ConditionThe condition represented by the antecedent in a conditional statement (pg. 321).

          

  24. 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).

          

  25. Contradictory StatementsStatements that necessarily have opposite truth values (pg. 346).

          

  26. Denying the AntecedentAn invalid argument form: "If p then q / not p // not q" (pg. 370).

          

  27. Main OperatorA statement having a tilde as its main operator (pg. 318).

          

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

          

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

          

  30. ConjunctsA component in a conjunctive statement on either side of the main operator (pg. 318).

          

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

          

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

          

  33. Material EquivalenceA lowercase letter, such as p or q, that can represent any statement (pg. 330).

          

  34. Truth TableAn 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).

          

  35. 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).

          

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

          

  37. Simple StatementA statement that contains at least one simple statement as a component (pg. 317).

          

  38. 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).

          

  39. Affirming the ConsequentAn invalid argument form: "If p then q / q // p" (pg. 370).

          

  40. 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).

          

  41. Material ImplicationThe relation expressed by a truth-functional biconditional (pg. 318).