Question: R R ⊃ ~D ∴ ~D
Answer Choices: a. Invalid b. Affirming the consequent c. Disjunctive syllogism d. Modus tollens e. Modus ponens
Answer: e. Modus ponens
Question: S ⊃ ~C ∴ ~C ∴ S
Answer Choices: a. Modus tollens b. Affirming the consequent c. Denying the antecedent
Answer: c. Denying the antecedent
Question: (~W ⊃ L) • (N ⊃ ~R) N ∨ ~W ∴ L ∨ ~R
Answer Choices: a. Invalid b. Pure hypothetical syllogism c. Destructive dilemma d. Denying the antecedent e. Constructive dilemma
Answer: e. Constructive dilemma
Question: E ⊃ ~T ~N ⊃ E ∴ ~N ⊃ ~T
Answer Choices: a. Modus ponens b. Constructive dilemma c. Pure hypothetical syllogism d. Invalid e. Disjunctive syllogism
Answer: c. Pure hypothetical syllogism
Question: ~F ⊃ L ∴ F ∴ ~L
Answer Choices: a. Denying the antecedent b. Modus ponens c. Affirming the consequent d. Modus tollens e. Invalid
Answer: a. Denying the antecedent
Question: In the expression P • Q, ‘P’ is called:
Answer Choices: a. A conjunction b. A disjunct c. An antecedent d. A conjunct e. A disjunction
Answer: d. A conjunct
Question: According to De Morgan’s rule, ~(P • Q) is logically equivalent to:
Answer Choices: a. P ∨ Q b. ~P ∨ ~Q c. ~P • ~Q d. P • Q
Answer: c. ~P • ~Q
Question: If a group of statements are consistent, this means:
Answer Choices: a. At least one of them is true. b. It is possible for all of them to be true. c. At least one of them is false. d. All of them are true. e. It is possible for all of them to be false.
Answer: b. It is possible for all of them to be true.
Question: If an indirect truth table requiring more than one line is constructed for either an argument or a series of statements and a contradiction is derived on the first line, then:
Answer Choices: a. The second line must be completed. b. The argument is valid and the statements are consistent. c. The argument is valid and the statements are inconsistent. d. The argument is invalid and the statements are consistent. e. The argument is invalid and the statements are inconsistent.
Answer: a. The second line must be completed.
Question: The wedge operator is used to translate:
Answer Choices: a. “Nevertheless.” b. “Moreover.” c. “Unless.” d. “Implies.” e. “Provided that.”
Answer: c. “Unless.”
Question: A few flights are available.
Answer Choices: a. Some flights are available. b. Some flights are things that are available. c. Some flights are things that are available and some flights are not things that are available. d. Some flights are not things that are available. e. All flights are not available.
Answer: b. Some flights are things that are available.
Question: Given the following premises: ~R ≡ ~R N • ~T R ⊃ ~(N • ~T)
Answer Choices: a. ~T, 2, Simp b. (N • ~T) ⊃ ~R, 3, Trans c. ~R, 2, 3, MT d. R ⊃ (~N ∨ ~~T), 3, DM e. ~R, 1, Taut
Answer: d. R ⊃ (~N ∨ ~~T), 3, DM
Question: Given the following premises: G ⊃ ~A K ⊃ (G ⊃ ~A) G ⊃ M
Answer Choices: a. (K ⊃ G) ⊃ ~A, 2, Exp b. K ⊃ (~A ⊃ G), 2, Com c. (K ⊃ G) • ~A, 2, Assoc d. K, 1, 2, MP e. M, 1, 3, MP
Answer: b. K ⊃ (~A ⊃ G), 2, Com
Question: Given the following premises: ~(Q ⊃ ~S) ~F ⊃ (Q ⊃ ~S) H ∨ (Q ⊃ ~S)
Answer Choices: a. (H • Q) ∨ (H ⊃ ~S), 3, Dist b. ~Q ∨ S, 1, DM c. F, 1, 2, MT d. H, 1, 3, DS e. ~F, 1, 2, MT
Answer: e. ~F, 1, 2, MT
Question: Given the following premises: N R ⊃ ~N ~C • (T ⊃ R)
Answer Choices: a. ~C, 3, Simp b. T ⊃ ~N, 2, 3, HS c. (~C • T) ⊃ R, 3, Assoc d. ~R, 1, 2, MT e. N ⊃ ~R, 2, Trans
Answer: a. ~C, 3, Simp
Question: Given the following premises: (K • ~T) ∨ (K ⊃ ~H) ~M ⊃ (K ⊃ ~H) ~(K ⊃ ~H)
Answer Choices: a. ~K ∨ H, 3, DM b. K ⊃ ~T, 1, 3, DS c. K • (~T ∨ ~H), 1, Dist d. ~M, 2, 3, MT e. (~M • K) ⊃ ~H, 2, Exp
Answer: c. K • (~T ∨ ~H), 1, Dist
Question: Given the following premises: A G ⊃ (A ⊃ ~L) ~A ∨ ~G
Answer Choices: a. A ∨ G, 3, DN b. G ⊃ (A ⊃ ~L), 2, Assoc c. ~L, 1, 2, MP d. ~G, 1, 3, DS e. G ⊃ (~L ⊃ ~A), 2, Trans
Answer: e. G ⊃ (~L ⊃ ~A), 2, Trans
Question: Given the following premises: (S ⊃ ~F) • (~F ⊃ B) S ∨ ~F ~F
Answer Choices: a. S ⊃ B, 1, HS b. ~F ⊃ B, 1, 2, CD c. S, 2, 3, DS d. B, 1, 3, MP e. ~S, 1, 3, MT
Answer: b. ~F ⊃ B, 1, 2, CD
Question: Given the following premises: N ≡ R (N ⊃ R) ⊃ C N
Answer Choices: a. (N ⊃ R) ∨ (R ⊃ N), 1, Equiv b. N • (R ⊃ C), 2, Assoc c. C ⊃ (N ⊃ R), 2, Com
Answer: a. (N ⊃ R) ∨ (R ⊃ N), 1, Equiv
Question: Given the following premises: ~M ⊃ S ~M (M ∨ H) ∨ ~S
Answer Choices: a. H, 2, 3, DS b. M ∨ H, 3, Simp c. M ∨ (H ∨ ~S), 3, Assoc d. ~S, 1, 2, MP e. M ∨ S, 1, Impl
Answer: c. M ∨ (H ∨ ~S), 3, Assoc
Question: Given the following premises: (J • ~N) ∨ T (~J ⊃ ~N) ~T
Answer Choices: a. T, 1, 2, DS b. ~J ∨ N, 2, DM c. J ⊃ ~N, 1, 3, DS d. J ⊃ (~N ∨ T), 1, Assoc e. ~J, 2, Simp
Answer: a. T, 1, 2, DS
Question: Given the following premises: ~U ⊃ (S • K) R ⊃ (~U ∨ ~U) S ≡ ~U
Answer Choices: a. (~U • S) ⊃ K, 1, Exp b. R ⊃ U, 2, DN c. R ⊃ ~U, 2, Taut d. R ⊃ (S • K), 1, 2, HS e. (S ⊃ U) ⊃ (~U ⊃ ~S), 3, Equiv
Answer: c. R ⊃ ~U, 2, Taut