Note from the author: the solutions to most of the multiple choice questions in these sections use what I 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:

α

1

0

 

For exercises with two propositional variables, the standard assignment is:

α

β

1

1

1

0

0

1

0

0

 

For exercises with three propositional variables, the standard assignment is:

α

β

γ

1

1

1

1

1

0

1

0

1

1

0

0

0

1

1

0

1

0

0

0

1

0

0

0

 

For exercises with four propositional variables, the standard assignment is:

α

β

γ

δ

1

1

1

1

1

1

1

0

1

1

0

1

1

1

0

0

1

0

1

1

1

0

1

0

1

0

0

1

1

0

0

0

0

1

1

1

0

1

1

0

0

1

0

1

0

1

0

0

0

0

1

1

0

0

1

0

0

0

0

1

0

0

0

0

 

Quiz Content

not completed
. Determine the number of rows in the complete truth table for the proposition.
~(A ⊃ B)

not completed
. Determine the number of rows in the complete truth table for the proposition.
(C · ~D) ∨ (E ∨ C)

not completed
. Determine the number of rows in the complete truth table for the proposition.
(F ≡ ~G) ⊃ ~(G · F)

not completed
. Determine the number of rows in the complete truth table for the proposition.
(H ⊃ H) ⊃ (I ⊃ I)

not completed
. Determine the number of rows in the complete truth table for the proposition.
[J ∨ (K · L)] ⊃ (J ∨ L)

not completed
. Determine the number of rows in the complete truth table for the proposition.
[M · (N ∨ O)] ⊃ (~O ⊃ N)

not completed
. Determine the number of rows in the complete truth table for the proposition.
(R ∨ P) ⊃ [~(P ∨ Q) ⊃ R]

not completed
. Determine the number of rows in the complete truth table for the proposition.
[(S ∨ T) · (S ∨ U)] ⊃ [~S ⊃ (T · U)]

not completed
. Determine the number of rows in the complete truth table for the proposition.
[(V ⊃ ~W) · (X ⊃ W)] ⊃ [V ⊃ (~X ∨ Z)]

not completed
. Determine the number of rows in the complete truth table for the proposition.
[(~A ⊃ D) · ~(D ∨ B)] ⊃ [(A ⊃ B) ⊃ C]

not completed
. Determine which of the given sequences describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
~(A ≡ ~A)

not completed
. Determine which of the given sequences describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
~(B ∨ C)

not completed
. Determine which of the given sequences describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
D ∨ ~E

not completed
. Determine which of the given sequences describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
(G ⊃ H) ∨ (~G ⊃ H)

not completed
. Determine which of the given sequences describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
~(~I ∨ ~J) ⊃ ~I

not completed
. Determine which of the given sequences describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
(K ∨ L) ∨ (~K · ~L)

not completed
. Determine which of the given sequences describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
M ∨ (~N ∨ M)

not completed
. Determine which of the given sequences describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
F ≡ ~[F ∨ (F · O)]

not completed
. Determine which of the given sequences describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
(~P ≡ Q) ≡ [(~P ∨ Q) · (P ∨ ~Q)]

not completed
. Determine which of the given sequences describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
(~R · S) ⊃ (T · ~R)

not completed
. Determine which of the given sequences describes the column under the main operator, given the standard assignment of truth values to atomic propositions.
~[~(V ∨ W) ∨ ~(V ∨ X)]

Back to top