Deck 2: Propositional Logic: Syntax and Semantic
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Question
Unlock Deck
Sign up to unlock the cards in this deck!
Unlock Deck
Unlock Deck
1/248
Play
Full screen (f)
Deck 2: Propositional Logic: Syntax and Semantic
1
use the following key to determine which of the translations of the given English argument to PL is best.
B: Brouwer is an intuitionist.
F: Frege is a logicist.
G: Gödel is a platonist.
H: Hilbert is a formalist.
-It is not the case that either Frege is a logicist or Brouwer is an intuitionist. Gödel being a platonist is necessary and sufficient for Brouwer being an intuitionist. Hilbert is a formalist. So, Gödel is not a platonist; however, Hilbert is a formalist.
A) ∼F B
G ≡ B
H / ∼G • H
B) ∼F B
G ≡ B
H / ∼G ≡ H
C) ∼(F B)
G ≡ B
H / ∼G • H
D) ∼(F B) G ≡ B
H / ∼G ⊃ H
E) ∼(F B) G ≡ B
H / H ⊃ ∼G
B: Brouwer is an intuitionist.
F: Frege is a logicist.
G: Gödel is a platonist.
H: Hilbert is a formalist.
-It is not the case that either Frege is a logicist or Brouwer is an intuitionist. Gödel being a platonist is necessary and sufficient for Brouwer being an intuitionist. Hilbert is a formalist. So, Gödel is not a platonist; however, Hilbert is a formalist.
A) ∼F B
G ≡ B
H / ∼G • H
B) ∼F B
G ≡ B
H / ∼G ≡ H
C) ∼(F B)
G ≡ B
H / ∼G • H
D) ∼(F B) G ≡ B
H / ∼G ⊃ H
E) ∼(F B) G ≡ B
H / H ⊃ ∼G
C
2
use the following key to determine which of the translations of the given English argument to PL is best.
B: Brouwer is an intuitionist.
F: Frege is a logicist.
G: Gödel is a platonist.
H: Hilbert is a formalist.
-Hilbert is a formalist if, and only if, Gödel is a platonist. Hilbert is not a formalist and Brouwer is an intuitionist. Hilbert is a formalist if Frege is a logicist. Therefore, Frege is not a logicist and Gödel is not a platonist.
A) H ≡ G ∼H • B
H ⊃ F / ∼F • ∼G
B) H ≡ G ∼H • B
F ⊃ H / ∼F • ∼G
C) G ⊃ H ∼H • B
F ⊃ H / ∼F • ∼G
D) H ⊃ G ∼H • B
F ⊃ H / ∼F • ∼G
E) H ⊃ G ∼H • B
H ⊃ F / ∼F • ∼G
B: Brouwer is an intuitionist.
F: Frege is a logicist.
G: Gödel is a platonist.
H: Hilbert is a formalist.
-Hilbert is a formalist if, and only if, Gödel is a platonist. Hilbert is not a formalist and Brouwer is an intuitionist. Hilbert is a formalist if Frege is a logicist. Therefore, Frege is not a logicist and Gödel is not a platonist.
A) H ≡ G ∼H • B
H ⊃ F / ∼F • ∼G
B) H ≡ G ∼H • B
F ⊃ H / ∼F • ∼G
C) G ⊃ H ∼H • B
F ⊃ H / ∼F • ∼G
D) H ⊃ G ∼H • B
F ⊃ H / ∼F • ∼G
E) H ⊃ G ∼H • B
H ⊃ F / ∼F • ∼G
B
3
use the following key to determine which of the translations of the given English argument to PL is best.
B: Brouwer is an intuitionist.
F: Frege is a logicist.
G: Gödel is a platonist.
H: Hilbert is a formalist.
-If Gödel is a platonist, then Frege is a logicist. If Frege is a logicist, Brouwer being an intuitionist is a sufficient condition for Hilbert being a formalist. Gödel is a platonist. Gödel is a platonist if Hilbert is a formalist. Therefore, Gödel is a platonist if Brouwer is an intuitionist.
A) G ⊃ F
F ⊃ (B ≡ H)
G
H ⊃ G / B ⊃ G
B) G ⊃ F
F ⊃ (B ≡ H)
G
G ⊃ H / G ⊃ B
C) G ⊃ F
F ⊃ (H ⊃ B)
G
H ⊃ G / B ⊃ G
D) G ⊃ F F ⊃ (B ⊃ H)
G
H ⊃ G / B ⊃ G
E) G ⊃ F F ⊃ (B ⊃ H)
G
G ⊃ H / G ⊃ B
B: Brouwer is an intuitionist.
F: Frege is a logicist.
G: Gödel is a platonist.
H: Hilbert is a formalist.
-If Gödel is a platonist, then Frege is a logicist. If Frege is a logicist, Brouwer being an intuitionist is a sufficient condition for Hilbert being a formalist. Gödel is a platonist. Gödel is a platonist if Hilbert is a formalist. Therefore, Gödel is a platonist if Brouwer is an intuitionist.
A) G ⊃ F
F ⊃ (B ≡ H)
G
H ⊃ G / B ⊃ G
B) G ⊃ F
F ⊃ (B ≡ H)
G
G ⊃ H / G ⊃ B
C) G ⊃ F
F ⊃ (H ⊃ B)
G
H ⊃ G / B ⊃ G
D) G ⊃ F F ⊃ (B ⊃ H)
G
H ⊃ G / B ⊃ G
E) G ⊃ F F ⊃ (B ⊃ H)
G
G ⊃ H / G ⊃ B
D
4
use the following key to determine which of the translations of the given English argument to PL is best.
B: Brouwer is an intuitionist.
F: Frege is a logicist.
G: Gödel is a platonist.
H: Hilbert is a formalist.
-If Frege is a logicist, then Brouwer is an intuitionist. If Brouwer is an intuitionist, then Gödel is a platonist only if Hilbert is a formalist. Gödel is a platonist. Frege is a logicist. So, Hilbert is a formalist.
A) F ⊃ B B ⊃ (H ⊃ G)
G
F / H
B) F ⊃ B B ⊃ (G ⊃ H)
G
F / H
C) F ⊃ B B ⊃ (G ≡ H)
G
F / H
D) F ⊃ B (B ⊃ G) ⊃ H
G
F / H
E) F ⊃ B (B ⊃ H) ⊃ G
G
F / H
B: Brouwer is an intuitionist.
F: Frege is a logicist.
G: Gödel is a platonist.
H: Hilbert is a formalist.
-If Frege is a logicist, then Brouwer is an intuitionist. If Brouwer is an intuitionist, then Gödel is a platonist only if Hilbert is a formalist. Gödel is a platonist. Frege is a logicist. So, Hilbert is a formalist.
A) F ⊃ B B ⊃ (H ⊃ G)
G
F / H
B) F ⊃ B B ⊃ (G ⊃ H)
G
F / H
C) F ⊃ B B ⊃ (G ≡ H)
G
F / H
D) F ⊃ B (B ⊃ G) ⊃ H
G
F / H
E) F ⊃ B (B ⊃ H) ⊃ G
G
F / H
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
5
use the following key to determine which of the translations of the given English argument to PL is best.
B: Brouwer is an intuitionist.
F: Frege is a logicist.
G: Gödel is a platonist.
H: Hilbert is a formalist.
-If Frege is a logicist and Brouwer is an intuitionist, then Hilbert is a formalist and Gödel is a platonist. Hilbert is not a formalist. Brouwer is an intuitionist. Either Frege is a logicist or both Gödel is not a platonist and Brouwer is an intuitionist. Therefore, Gödel is not a platonist.
A) F • [B ⊃ (H • G)]
∼H
B
F (∼G • B) /∼G
B) (F • B) ⊃ (H ⊃ G)
∼H
B
(F ∼G) • B /∼G
C) (F • B) ⊃ (H • G)
∼H
B
F (G • B) / ∼G
D) (F • B) ⊃ (H • G)
∼H
B
(F ∼G) • B / ∼G
E) (F • B) ⊃ (H • G)
∼H
B
F (∼G • B) / ∼G
B: Brouwer is an intuitionist.
F: Frege is a logicist.
G: Gödel is a platonist.
H: Hilbert is a formalist.
-If Frege is a logicist and Brouwer is an intuitionist, then Hilbert is a formalist and Gödel is a platonist. Hilbert is not a formalist. Brouwer is an intuitionist. Either Frege is a logicist or both Gödel is not a platonist and Brouwer is an intuitionist. Therefore, Gödel is not a platonist.
A) F • [B ⊃ (H • G)]
∼H
B
F (∼G • B) /∼G
B) (F • B) ⊃ (H ⊃ G)
∼H
B
(F ∼G) • B /∼G
C) (F • B) ⊃ (H • G)
∼H
B
F (G • B) / ∼G
D) (F • B) ⊃ (H • G)
∼H
B
(F ∼G) • B / ∼G
E) (F • B) ⊃ (H • G)
∼H
B
F (∼G • B) / ∼G
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
6
use the following key to determine which English sentence best represents the given formula of PL.
A: Peirce studied logic.
B: James was a pluralist.
C: Dewey wrote about thirdness.
D: Dewey denigrated the quest for certainty.
E: Peirce emphasized education.
-D ∼E
A) If Dewey denigrated the quest for certainty, then Peirce did not emphasize education.
B) If Dewey denigrated the quest for certainty, then Peirce emphasized education.
C) Either Dewey denigrated the quest for certainty or Peirce emphasized education.
D) Either Dewey denigrated the quest for certainty or Peirce did not emphasize education.
E) Dewey denigrated the quest for certainty unless Peirce emphasized education.
A: Peirce studied logic.
B: James was a pluralist.
C: Dewey wrote about thirdness.
D: Dewey denigrated the quest for certainty.
E: Peirce emphasized education.
-D ∼E
A) If Dewey denigrated the quest for certainty, then Peirce did not emphasize education.
B) If Dewey denigrated the quest for certainty, then Peirce emphasized education.
C) Either Dewey denigrated the quest for certainty or Peirce emphasized education.
D) Either Dewey denigrated the quest for certainty or Peirce did not emphasize education.
E) Dewey denigrated the quest for certainty unless Peirce emphasized education.
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
7
use the following key to determine which English sentence best represents the given formula of PL.
A: Peirce studied logic.
B: James was a pluralist.
C: Dewey wrote about thirdness.
D: Dewey denigrated the quest for certainty.
E: Peirce emphasized education.
-∼(A • E)
A) It is not the case that Peirce either studied logic or emphasized education.
B) It is not the case that Peirce both studied logic and emphasized education.
C) Peirce neither studied logic nor emphasized education.
D) Peirce did not both not study logic and not emphasize education.
E) Peirce did not study logic and James was not a pluralist.
A: Peirce studied logic.
B: James was a pluralist.
C: Dewey wrote about thirdness.
D: Dewey denigrated the quest for certainty.
E: Peirce emphasized education.
-∼(A • E)
A) It is not the case that Peirce either studied logic or emphasized education.
B) It is not the case that Peirce both studied logic and emphasized education.
C) Peirce neither studied logic nor emphasized education.
D) Peirce did not both not study logic and not emphasize education.
E) Peirce did not study logic and James was not a pluralist.
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
8
use the following key to determine which English sentence best represents the given formula of PL.
A: Peirce studied logic.
B: James was a pluralist.
C: Dewey wrote about thirdness.
D: Dewey denigrated the quest for certainty.
E: Peirce emphasized education.
-∼C ⊃ (A ≡ B)
A) If Dewey wrote about thirdness, then Peirce studied logic just in case James was a pluralist.
B) If Dewey did not write about thirdness, then Peirce studying logic is a necessary condition for James to be a pluralist.
C) Dewey did not write about thirdness provided that Peirce studied logic if, and only if, James was a pluralist.
D) Dewey not writing about thirdness entails Pierce studying logic and James being a pluralist.
E) If Dewey did not write about thirdness, then Peirce studied logic if, and only if, James was a pluralist.
A: Peirce studied logic.
B: James was a pluralist.
C: Dewey wrote about thirdness.
D: Dewey denigrated the quest for certainty.
E: Peirce emphasized education.
-∼C ⊃ (A ≡ B)
A) If Dewey wrote about thirdness, then Peirce studied logic just in case James was a pluralist.
B) If Dewey did not write about thirdness, then Peirce studying logic is a necessary condition for James to be a pluralist.
C) Dewey did not write about thirdness provided that Peirce studied logic if, and only if, James was a pluralist.
D) Dewey not writing about thirdness entails Pierce studying logic and James being a pluralist.
E) If Dewey did not write about thirdness, then Peirce studied logic if, and only if, James was a pluralist.
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
9
use the following key to determine which English sentence best represents the given formula of PL.
A: Peirce studied logic.
B: James was a pluralist.
C: Dewey wrote about thirdness.
D: Dewey denigrated the quest for certainty.
E: Peirce emphasized education.
-[∼D • (∼E ⊃ ∼C)]
A) Both Dewey did not denigrate the quest for certainty and Peirce did not emphasize education, given that Dewey did not write about thirdness.
B) Dewey not denigrating the quest for certainty and Peirce not emphasizing education are necessary conditions for Dewey not writing about thirdness.
C) Dewey did not denigrate the quest for certainty just in case if Peirce did not emphasize education then Dewey did not write about thirdness.
D) Dewey did not denigrate the quest for certainty if, and only if, Peirce not emphasizing education entails Dewey not writing about thirdness.
E) Dewey did not denigrate the quest for certainty and Dewey did not write about thirdness given that Peirce did not emphasize education.
A: Peirce studied logic.
B: James was a pluralist.
C: Dewey wrote about thirdness.
D: Dewey denigrated the quest for certainty.
E: Peirce emphasized education.
-[∼D • (∼E ⊃ ∼C)]
A) Both Dewey did not denigrate the quest for certainty and Peirce did not emphasize education, given that Dewey did not write about thirdness.
B) Dewey not denigrating the quest for certainty and Peirce not emphasizing education are necessary conditions for Dewey not writing about thirdness.
C) Dewey did not denigrate the quest for certainty just in case if Peirce did not emphasize education then Dewey did not write about thirdness.
D) Dewey did not denigrate the quest for certainty if, and only if, Peirce not emphasizing education entails Dewey not writing about thirdness.
E) Dewey did not denigrate the quest for certainty and Dewey did not write about thirdness given that Peirce did not emphasize education.
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
10
use the following key to determine which English sentence best represents the given formula of PL.
A: Peirce studied logic.
B: James was a pluralist.
C: Dewey wrote about thirdness.
D: Dewey denigrated the quest for certainty.
E: Peirce emphasized education.
-(A ≡ B) ⊃ C
A) Peirce studying logic is necessary and sufficient for James being a pluralist, given that Dewey wrote about thirdness.
B) If Peirce studied logic just in case James was a pluralist, then Dewey did not write about thirdness.
C) If Peirce studied logic if, and only if, James was a pluralist, then Dewey wrote about thirdness.
D) If Peirce studying logic is necessary for James being a pluralist, then Dewey wrote about thirdness.
E) If James being a pluralist is necessary for Peirce studying logic, then Dewey wrote about thirdness.
A: Peirce studied logic.
B: James was a pluralist.
C: Dewey wrote about thirdness.
D: Dewey denigrated the quest for certainty.
E: Peirce emphasized education.
-(A ≡ B) ⊃ C
A) Peirce studying logic is necessary and sufficient for James being a pluralist, given that Dewey wrote about thirdness.
B) If Peirce studied logic just in case James was a pluralist, then Dewey did not write about thirdness.
C) If Peirce studied logic if, and only if, James was a pluralist, then Dewey wrote about thirdness.
D) If Peirce studying logic is necessary for James being a pluralist, then Dewey wrote about thirdness.
E) If James being a pluralist is necessary for Peirce studying logic, then Dewey wrote about thirdness.
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
11
use the following key to determine which English sentence best represents the given formula of PL.
A: Peirce studied logic.
B: James was a pluralist.
C: Dewey wrote about thirdness.
D: Dewey denigrated the quest for certainty.
E: Peirce emphasized education.
-∼(C D)
A) It is not the case that Dewey writing about thirdness entails his denigrating the quest for certainty.
B) Dewey did not both write about thirdness and denigrate the quest for certainty.
C) Dewey neither wrote about thirdness nor denigrated the quest for certainty.
D) Either Dewey did not write about thirdness or Dewey did not denigrate the quest for certainty.
E) Dewey not writing about thirdness entails his not denigrating the quest for certainty.
A: Peirce studied logic.
B: James was a pluralist.
C: Dewey wrote about thirdness.
D: Dewey denigrated the quest for certainty.
E: Peirce emphasized education.
-∼(C D)
A) It is not the case that Dewey writing about thirdness entails his denigrating the quest for certainty.
B) Dewey did not both write about thirdness and denigrate the quest for certainty.
C) Dewey neither wrote about thirdness nor denigrated the quest for certainty.
D) Either Dewey did not write about thirdness or Dewey did not denigrate the quest for certainty.
E) Dewey not writing about thirdness entails his not denigrating the quest for certainty.
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
12
use the following key to determine which English sentence best represents the given formula of PL.
A: Peirce studied logic.
B: James was a pluralist.
C: Dewey wrote about thirdness.
D: Dewey denigrated the quest for certainty.
E: Peirce emphasized education.
-∼B ⊃ (∼D • ∼E)
A) If James was not a pluralist, then neither Dewey denigrated the quest for certainty nor Peirce emphasized education.
B) Dewey did not denigrate the quest for certainty and Peirce did not emphasize education given that James was not a pluralist.
C) James not being a pluralist entails neither Dewey denigrated the quest for certainty nor Peirce did not emphasize education.
D) James was not a pluralist provided that Dewey did not denigrate the quest for certainty and Peirce did not emphasize education.
E) If James was not a pluralist, then either Dewey did not denigrate the quest for certainty or Peirce did not emphasize education.
A: Peirce studied logic.
B: James was a pluralist.
C: Dewey wrote about thirdness.
D: Dewey denigrated the quest for certainty.
E: Peirce emphasized education.
-∼B ⊃ (∼D • ∼E)
A) If James was not a pluralist, then neither Dewey denigrated the quest for certainty nor Peirce emphasized education.
B) Dewey did not denigrate the quest for certainty and Peirce did not emphasize education given that James was not a pluralist.
C) James not being a pluralist entails neither Dewey denigrated the quest for certainty nor Peirce did not emphasize education.
D) James was not a pluralist provided that Dewey did not denigrate the quest for certainty and Peirce did not emphasize education.
E) If James was not a pluralist, then either Dewey did not denigrate the quest for certainty or Peirce did not emphasize education.
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
13
For each of the following questions, determine whether the given formula is a wff or not. If it is a wff, indicate its main operator.
-∼A (B • D)
A) It's a wff. The main operator is the ∼.
B) It's a wff. The main operator is the .
C) It's a wff. The main operator is the •.
D) Not a wff
-∼A (B • D)
A) It's a wff. The main operator is the ∼.
B) It's a wff. The main operator is the .
C) It's a wff. The main operator is the •.
D) Not a wff
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
14
For each of the following questions, determine whether the given formula is a wff or not. If it is a wff, indicate its main operator.
-I • E ⊃ ∼F
A) It's a wff. The main operator is the •.
B) It's a wff. The main operator is the ⊃.
C) It's a wff. The main operator is the ∼.
D) Not a wff
-I • E ⊃ ∼F
A) It's a wff. The main operator is the •.
B) It's a wff. The main operator is the ⊃.
C) It's a wff. The main operator is the ∼.
D) Not a wff
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
15
For each of the following questions, determine whether the given formula is a wff or not. If it is a wff, indicate its main operator.
-{∼R ⊃ [(Q • P) ⊃ S]}
A) It's a wff. The main operator is the ∼.
B) It's a wff. The main operator is the first ⊃, reading left to right.
C) It's a wff. The main operator is the •.
D) It's a wff. The main operator is the second ⊃, reading left to right.
E) Not a wff
-{∼R ⊃ [(Q • P) ⊃ S]}
A) It's a wff. The main operator is the ∼.
B) It's a wff. The main operator is the first ⊃, reading left to right.
C) It's a wff. The main operator is the •.
D) It's a wff. The main operator is the second ⊃, reading left to right.
E) Not a wff
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
16
For each of the following questions, determine whether the given formula is a wff or not. If it is a wff, indicate its main operator.
-[(P ≡ Q) • ∼Q] ⊃ (P ⊃ R)
A) It's a wff. The main operator is the ≡.
B) It's a wff. The main operator is the •.
C) It's a wff. The main operator is the ∼.
D) It's a wff. The main operator is the first ⊃, reading left to right.
E) Not a wff
-[(P ≡ Q) • ∼Q] ⊃ (P ⊃ R)
A) It's a wff. The main operator is the ≡.
B) It's a wff. The main operator is the •.
C) It's a wff. The main operator is the ∼.
D) It's a wff. The main operator is the first ⊃, reading left to right.
E) Not a wff
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
17
For each of the following questions, determine whether the given formula is a wff or not. If it is a wff, indicate its main operator.
-[A B • C] ⊃ (A C)
A) It's a wff. The main operator is the first , reading left to right.
B) It's a wff. The main operator is the •.
C) It's a wff. The main operator is the ⊃.
D) It's a wff. The main operator is the second , reading left to right.
E) Not a wff
-[A B • C] ⊃ (A C)
A) It's a wff. The main operator is the first , reading left to right.
B) It's a wff. The main operator is the •.
C) It's a wff. The main operator is the ⊃.
D) It's a wff. The main operator is the second , reading left to right.
E) Not a wff
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
18
For each of the following questions, determine whether the given formula is a wff or not. If it is a wff, indicate its main operator.
-P ⊃ (Q ⊃ R) ⊃ [(P • ∼R) ⊃ ∼Q]
A) It's a wff. The main operator is the first , reading left to right.
B) It's a wff. The main operator is the ≡.
C) It's a wff. The main operator is the second , reading left to right.
D) It's a wff. The main operator is the •.
E) Not a wff
-P ⊃ (Q ⊃ R) ⊃ [(P • ∼R) ⊃ ∼Q]
A) It's a wff. The main operator is the first , reading left to right.
B) It's a wff. The main operator is the ≡.
C) It's a wff. The main operator is the second , reading left to right.
D) It's a wff. The main operator is the •.
E) Not a wff
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
19
For each of the following questions, determine whether the given formula is a wff or not. If it is a wff, indicate its main operator.
-[(D ⊃ ∼E) • (F ⊃ E)] ⊃ [D ⊃ (∼F G)]
A) It's a wff. The main operator is the first ⊃, reading left to right.
B) It's a wff. The main operator is the second ⊃, reading left to right.
C) It's a wff. The main operator is the third ⊃, reading left to right.
D) It's a wff. The main operator is the fourth ⊃, reading left to right.
E) Not a wff
-[(D ⊃ ∼E) • (F ⊃ E)] ⊃ [D ⊃ (∼F G)]
A) It's a wff. The main operator is the first ⊃, reading left to right.
B) It's a wff. The main operator is the second ⊃, reading left to right.
C) It's a wff. The main operator is the third ⊃, reading left to right.
D) It's a wff. The main operator is the fourth ⊃, reading left to right.
E) Not a wff
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
20
For each of the following questions, determine whether the given formula is a wff or not. If it is a wff, indicate its main operator.
-∼{[(H ⊃ I) ⊃ ∼(I ∼J)] ⊃ (∼H ⊃ J)}
A) It's a wff. The main operator is the first ∼, reading left to right.
B) It's a wff. The main operator is the ≡.
C) It's a wff. The main operator is the second , reading left to right.
D) It's a wff. The main operator is the •.
E) Not a wff
-∼{[(H ⊃ I) ⊃ ∼(I ∼J)] ⊃ (∼H ⊃ J)}
A) It's a wff. The main operator is the first ∼, reading left to right.
B) It's a wff. The main operator is the ≡.
C) It's a wff. The main operator is the second , reading left to right.
D) It's a wff. The main operator is the •.
E) Not a wff
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
21
For each of the following questions, determine whether the given formula is a wff or not. If it is a wff, indicate its main operator.
-∼[(R • S) ⊃ U] ⊃ {{∼U ⊃ [R ⊃ (S ⊃ T)]}
A) It's a wff. The main operator is the first ⊃, reading left to right.
B) It's a wff. The main operator is the first ∼, reading left to right.
C) It's a wff. The main operator is the second ⊃, reading left to right.
D) It's a wff. The main operator is the third ⊃, reading left to right.
E) Not a wff
-∼[(R • S) ⊃ U] ⊃ {{∼U ⊃ [R ⊃ (S ⊃ T)]}
A) It's a wff. The main operator is the first ⊃, reading left to right.
B) It's a wff. The main operator is the first ∼, reading left to right.
C) It's a wff. The main operator is the second ⊃, reading left to right.
D) It's a wff. The main operator is the third ⊃, reading left to right.
E) Not a wff
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
22
For each of the following questions, determine whether the given formula is a wff or not. If it is a wff, indicate its main operator.
-[(W ⊃ X) • (Y ∼X)] ≡ [∼(Z Y) ⊃ ∼W]
A) It's a wff. The main operator is the •.
B) It's a wff. The main operator is the ≡.
C) It's a wff. The main operator is the first ∼, reading left to right.
D) It's a wff. The main operator is the second ⊃, reading left to right.
E) Not a wff
-[(W ⊃ X) • (Y ∼X)] ≡ [∼(Z Y) ⊃ ∼W]
A) It's a wff. The main operator is the •.
B) It's a wff. The main operator is the ≡.
C) It's a wff. The main operator is the first ∼, reading left to right.
D) It's a wff. The main operator is the second ⊃, reading left to right.
E) Not a wff
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
23
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-∼B ⊃ Y
A) True
B) False
C) Unknown
-∼B ⊃ Y
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
24
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-∼X ≡ A
A) True
B) False
C) Unknown
-∼X ≡ A
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
25
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-X [A • (B ⊃ Y)]
A) True
B) False
C) Unknown
-X [A • (B ⊃ Y)]
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
26
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-X [A • (Y ⊃ B)]
A) True
B) False
C) Unknown
-X [A • (Y ⊃ B)]
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
27
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-∼Y ⊃ [A ≡ (Y • B)]
A) True
B) False
C) Unknown
-∼Y ⊃ [A ≡ (Y • B)]
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
28
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-X ⊃ [(∼X A) ⊃ X]
A) True
B) False
C) Unknown
-X ⊃ [(∼X A) ⊃ X]
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
29
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-(Z ∼A) ≡ [(A ∼Z) ⊃ (X ≡ ∼X)]
A) True
B) False
C) Unknown
-(Z ∼A) ≡ [(A ∼Z) ⊃ (X ≡ ∼X)]
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
30
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-[(Y ⊃ ∼Y) ⊃ (B ⊃ ∼B)] ⊃ [( B Y) ≡ (∼B ∼Y)]
A) True
B) False
C) Unknown
-[(Y ⊃ ∼Y) ⊃ (B ⊃ ∼B)] ⊃ [( B Y) ≡ (∼B ∼Y)]
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
31
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-∼{∼[(∼A ∼X) • ∼A] • ∼X}
A) True
B) False
C) Unknown
-∼{∼[(∼A ∼X) • ∼A] • ∼X}
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
32
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-{X [C • (Y ⊃ B)]} ⊃ {Z ⊃ [Z ⊃ (Z ⊃ Z)]}
A) True
B) False
C) Unknown
-{X [C • (Y ⊃ B)]} ⊃ {Z ⊃ [Z ⊃ (Z ⊃ Z)]}
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
33
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-Q • (∼A ≡ Q)
A) True
B) False
C) Unknown
-Q • (∼A ≡ Q)
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
34
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-Q • (∼A • ∼Q)
A) True
B) False
C) Unknown
-Q • (∼A • ∼Q)
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
35
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-∼Q (∼X Q)
A) True
B) False
C) Unknown
-∼Q (∼X Q)
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
36
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-(C X) ⊃ (Q A)
A) True
B) False
C) Unknown
-(C X) ⊃ (Q A)
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
37
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-[(P ⊃ X) ⊃ P] ⊃ P
A) True
B) False
C) Unknown
-[(P ⊃ X) ⊃ P] ⊃ P
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
38
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-(Y P) ⊃ (B • P)
A) True
B) False
C) Unknown
-(Y P) ⊃ (B • P)
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
39
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-(∼P ⊃ P) (A ⊃ P)
A) True
B) False
C) Unknown
-(∼P ⊃ P) (A ⊃ P)
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
40
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-(∼P ⊃ P) (P ⊃ A)
A) True
B) False
C) Unknown
-(∼P ⊃ P) (P ⊃ A)
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
41
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-∼(Q ⊃ C) (Z • ∼X)
A) True
B) False
C) Unknown
-∼(Q ⊃ C) (Z • ∼X)
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
42
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-∼[(Z ⊃ B) • (P ⊃ C)] [(X • Y) ≡ A]
A) True
B) False
C) Unknown
-∼[(Z ⊃ B) • (P ⊃ C)] [(X • Y) ≡ A]
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
43
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-(P ⊃ ∼Q) ∼P
A) True
B) False
C) Unknown
-(P ⊃ ∼Q) ∼P
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
44
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-(P ≡ Q) (P ≡ ∼Q)
A) True
B) False
C) Unknown
-(P ≡ Q) (P ≡ ∼Q)
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
45
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-[(P Q) ⊃ X] ≡ ∼(P Q)
A) True
B) False
C) Unknown
-[(P Q) ⊃ X] ≡ ∼(P Q)
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
46
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-[(P • Q) (∼P • Q)] [(P • ∼Q) (∼P • ∼Q)]
A) True
B) False
C) Unknown
-[(P • Q) (∼P • Q)] [(P • ∼Q) (∼P • ∼Q)]
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
47
Assume A, B, C are true; X, Y, Z are false; and P and Q are unknown. Evaluate the truth value of each complex expression.
-∼[(A ⊃ P) (A ⊃ Q)] • (P • Q)
A) True
B) False
C) Unknown
-∼[(A ⊃ P) (A ⊃ Q)] • (P • Q)
A) True
B) False
C) Unknown
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
48
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(B ? B) ?B
A) 11
B) 10
C) 01
D) 00
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(B ? B) ?B
A) 11
B) 10
C) 01
D) 00
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
49
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(D ? ?D) ? (?D ? D)
A) 11
B) 10
C) 01
D) 00
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(D ? ?D) ? (?D ? D)
A) 11
B) 10
C) 01
D) 00
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
50
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-?[F • (F ? F)]
A) 11
B) 10
C) 01
D) 00
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-?[F • (F ? F)]
A) 11
B) 10
C) 01
D) 00
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
51
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-U ? (Z ? U)
A) 1100
B) 0011
C) 0001
D) 1110
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-U ? (Z ? U)
A) 1100
B) 0011
C) 0001
D) 1110
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
52
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(I ? J) (J ? I)
A) 1111
B) 1100
C) 1010
D) 0000
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(I ? J) (J ? I)
A) 1111
B) 1100
C) 1010
D) 0000
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
53
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(K ? L) ? (?K ? L)
A) 1111
B) 1010
C) 0110
D) 1000
E) 0001
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(K ? L) ? (?K ? L)
A) 1111
B) 1010
C) 0110
D) 1000
E) 0001
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
54
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(M N) • (M ?N)
A) 1111
B) 1110
C) 1010
D) 1100
E) 1000
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(M N) • (M ?N)
A) 1111
B) 1110
C) 1010
D) 1100
E) 1000
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
55
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(V ? W) • (V ? ?W)
A) 1111
B) 1001
C) 0110
D) 1000
E) 0000
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(V ? W) • (V ? ?W)
A) 1111
B) 1001
C) 0110
D) 1000
E) 0000
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
56
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(?X • Y) ? (X • Y)
A) 1111
B) 1101
C) 1011
D) 1000
E) 0010
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(?X • Y) ? (X • Y)
A) 1111
B) 1101
C) 1011
D) 1000
E) 0010
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
57
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-A ? [(?B A) ? ?A]
A) 1100
B) 1001
C) 0011
D) 0001
E) 0000
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-A ? [(?B A) ? ?A]
A) 1100
B) 1001
C) 0011
D) 0001
E) 0000
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
58
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(?C ? ?D) ? [D ? (C ? D)]
A) 1111
B) 1101
C) 1011
D) 0011
E) 0101
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(?C ? ?D) ? [D ? (C ? D)]
A) 1111
B) 1101
C) 1011
D) 0011
E) 0101
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
59
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-[E ?(E • ?F)] ? [F ? ?(E ?F)]
A) 1111
B) 1000
C) 0010
D) 0111
E) 0000
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-[E ?(E • ?F)] ? [F ? ?(E ?F)]
A) 1111
B) 1000
C) 0010
D) 0111
E) 0000
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
60
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-G ? {(H ? ?G) ? [(G • ?H) (H • ?G)]}
A) 1111
B) 1100
C) 0111
D) 0100
E) 0000
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-G ? {(H ? ?G) ? [(G • ?H) (H • ?G)]}
A) 1111
B) 1100
C) 0111
D) 0100
E) 0000
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
61
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-[J ? (K L)] ? [?L ? (K J)]
A) 1111 1111
B) 1111 1110
C) 1110 1111
D) 1111 1100
E) 0101 0101
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-[J ? (K L)] ? [?L ? (K J)]
A) 1111 1111
B) 1111 1110
C) 1110 1111
D) 1111 1100
E) 0101 0101
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
62
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-[M (N • O)] [(M • N) (?M • N)]
A) 1111 1111
B) 1100 1100
C) 1111 1100
D) 1100 0000
E) 0000 1100
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-[M (N • O)] [(M • N) (?M • N)]
A) 1111 1111
B) 1100 1100
C) 1111 1100
D) 1100 0000
E) 0000 1100
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
63
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-[P ? (?R ? Q)] [(Q R) (?P • R)]
A) 1111 1111
B) 1110 1111
C) 1110 1110
D) 0000 0011
E) 0000 1100
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-[P ? (?R ? Q)] [(Q R) (?P • R)]
A) 1111 1111
B) 1110 1111
C) 1110 1110
D) 0000 0011
E) 0000 1100
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
64
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(S ? ?T) ? {[V ? (?S • T)] [V ? (?T • S)]}
A) 0011 1111
B) 0011 0000
C) 0101 1101
D) 1111 0101
E) 1111 1101
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-(S ? ?T) ? {[V ? (?S • T)] [V ? (?T • S)]}
A) 0011 1111
B) 0011 0000
C) 0101 1101
D) 1111 0101
E) 1111 1101
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
65
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-{[X ? ?(Y Z)] • [Y ? ?(X Z)]} ? [(X • Z) ?(X • ?Z)]
A) 1111 1111
B) 1110 1111
C) 1010 1111
D) 0001 1110
E) 0001 0110
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-{[X ? ?(Y Z)] • [Y ? ?(X Z)]} ? [(X • Z) ?(X • ?Z)]
A) 1111 1111
B) 1110 1111
C) 1010 1111
D) 0001 1110
E) 0001 0110
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
66
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-[(E ? ?F) (G ? ?H)] [(?E • ?F) • (?G • ?H)]
A) 1001 1111 1111 1001
B) 1001 1111 1111 1000
C) 0110 1111 1111 0110
D) 0110 1111 1111 0111
E) 0110 1111 1111 0000
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-[(E ? ?F) (G ? ?H)] [(?E • ?F) • (?G • ?H)]
A) 1001 1111 1111 1001
B) 1001 1111 1111 1000
C) 0110 1111 1111 0110
D) 0110 1111 1111 0111
E) 0110 1111 1111 0000
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
67
Note: the solutions to most of the multiple choice questions in these sections use what call the standard assignment of truth values to atomic propositions. The standard assignment of truth values assigns the values given here to the variables in the wffs in the exercises, when read left to right. So, the first variable in the formula read left to right gets the ? assignment; the second variable in the formula read left to right (if any) gets the ? assignment; the third variable in the formula read left to right (if any) gets the ? assignment; and the fourth variable in the formula read left to right (if any) gets the ? assignment.
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-[(A ? B) ? (?C ? D)] ? {[A • (B D)] ? [D • (B ?D)]}
A) 1111 1010 0000 0000
B) 1110 0001 1110 1110
C) 1011 1111 0101 1111
D) 1100 0100 1100 0100
E) 1110 1111 0011 1010
For exercises with only one propositional variable, the standard assignment is:
For exercises with two propositional variables, the standard assignment is:
For exercises with three propositional variables, the standard assignment is:
For exercises with four propositional variables, the standard assignment is:
For each of the given propositions, determine which of the given sequences properly describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
-[(A ? B) ? (?C ? D)] ? {[A • (B D)] ? [D • (B ?D)]}
A) 1111 1010 0000 0000
B) 1110 0001 1110 1110
C) 1011 1111 0101 1111
D) 1100 0100 1100 0100
E) 1110 1111 0011 1010
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
68
construct a complete truth table for each of the following propositions. Then, using the truth table, classify each proposition as a tautology, a contingency, or a contradiction.
-(I ⊃ ∼I) ⊃ [I ⊃ (I ⊃ ∼I)]
A) Tautology
B) Contingency
C) Contradiction
-(I ⊃ ∼I) ⊃ [I ⊃ (I ⊃ ∼I)]
A) Tautology
B) Contingency
C) Contradiction
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
69
construct a complete truth table for each of the following propositions. Then, using the truth table, classify each proposition as a tautology, a contingency, or a contradiction.
-(G • ∼G) ⊃ (G ∼G)
A) Tautology
B) Contingency
C) Contradiction
-(G • ∼G) ⊃ (G ∼G)
A) Tautology
B) Contingency
C) Contradiction
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
70
construct a complete truth table for each of the following propositions. Then, using the truth table, classify each proposition as a tautology, a contingency, or a contradiction.
-(∼A • B) ≡ (B ⊃ A)
A) Tautology
B) Contingency
C) Contradiction
-(∼A • B) ≡ (B ⊃ A)
A) Tautology
B) Contingency
C) Contradiction
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
71
construct a complete truth table for each of the following propositions. Then, using the truth table, classify each proposition as a tautology, a contingency, or a contradiction.
-(A • ∼B) • (B ∼A)
A) Tautology
B) Contingency
C) Contradiction
-(A • ∼B) • (B ∼A)
A) Tautology
B) Contingency
C) Contradiction
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
72
construct a complete truth table for each of the following propositions. Then, using the truth table, classify each proposition as a tautology, a contingency, or a contradiction.
-(A ≡ ∼B) ⊃ ∼(B • A)
A) Tautology
B) Contingency
C) Contradiction
-(A ≡ ∼B) ⊃ ∼(B • A)
A) Tautology
B) Contingency
C) Contradiction
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
73
construct a complete truth table for each of the following propositions. Then, using the truth table, classify each proposition as a tautology, a contingency, or a contradiction.
-(C ⊃ ∼D) (∼D ⊃ C)
A) Tautology
B) Contingency
C) Contradiction
-(C ⊃ ∼D) (∼D ⊃ C)
A) Tautology
B) Contingency
C) Contradiction
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
74
construct a complete truth table for each of the following propositions. Then, using the truth table, classify each proposition as a tautology, a contingency, or a contradiction.
-(G ≡ H) ⊃ ∼[(G • H) (∼G • ∼H)]
A) Tautology
B) Contingency
C) Contradiction
-(G ≡ H) ⊃ ∼[(G • H) (∼G • ∼H)]
A) Tautology
B) Contingency
C) Contradiction
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
75
construct a complete truth table for each of the following propositions. Then, using the truth table, classify each proposition as a tautology, a contingency, or a contradiction.
-[N ⊃ (O ⊃ P)] ⊃ (N ⊃ O)
A) Tautology
B) Contingency
C) Contradiction
-[N ⊃ (O ⊃ P)] ⊃ (N ⊃ O)
A) Tautology
B) Contingency
C) Contradiction
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
76
construct a complete truth table for each of the following propositions. Then, using the truth table, classify each proposition as a tautology, a contingency, or a contradiction.
-[(Q ⊃ R) ⊃ (R ⊃ S)] ≡ ∼(∼Q S)
A) Tautology
B) Contingency
C) Contradiction
-[(Q ⊃ R) ⊃ (R ⊃ S)] ≡ ∼(∼Q S)
A) Tautology
B) Contingency
C) Contradiction
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
77
construct a complete truth table for each of the following propositions. Then, using the truth table, classify each proposition as a tautology, a contingency, or a contradiction.
-[(P Q) • (R • S)] ⊃ [(P • R) (Q • S)]
A) Tautology
B) Contingency
C) Contradiction
-[(P Q) • (R • S)] ⊃ [(P • R) (Q • S)]
A) Tautology
B) Contingency
C) Contradiction
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
78
construct a complete truth table for each of the following pairs of propositions. Then, using the truth table, determine whether the statements are logically equivalent or contradictory. If neither, determine whether they are consistent or inconsistent.
-A ⊃ ∼A and ∼A ⊃ A
A) Logically equivalent
B) Contradictory
C) Neither logically equivalent nor contradictory, but consistent
D) Inconsistent
-A ⊃ ∼A and ∼A ⊃ A
A) Logically equivalent
B) Contradictory
C) Neither logically equivalent nor contradictory, but consistent
D) Inconsistent
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
79
construct a complete truth table for each of the following pairs of propositions. Then, using the truth table, determine whether the statements are logically equivalent or contradictory. If neither, determine whether they are consistent or inconsistent.
-D • ∼E and ∼(E ⊃ ∼D)
A) Logically equivalent
B) Contradictory
C) Neither logically equivalent nor contradictory, but consistent
D) Inconsistent
-D • ∼E and ∼(E ⊃ ∼D)
A) Logically equivalent
B) Contradictory
C) Neither logically equivalent nor contradictory, but consistent
D) Inconsistent
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck
80
construct a complete truth table for each of the following pairs of propositions. Then, using the truth table, determine whether the statements are logically equivalent or contradictory. If neither, determine whether they are consistent or inconsistent.
-G ≡ ∼H and (H • ∼G) (G • ∼H)
A) Logically equivalent
B) Contradictory
C) Neither logically equivalent nor contradictory, but consistent
D) Inconsistent
-G ≡ ∼H and (H • ∼G) (G • ∼H)
A) Logically equivalent
B) Contradictory
C) Neither logically equivalent nor contradictory, but consistent
D) Inconsistent
Unlock Deck
Unlock for access to all 248 flashcards in this deck.
Unlock Deck
k this deck