Quiz Content

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[A ∨ (~A ⊃ A)] ⊃ A

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
(B ⊃ ~B) ⊃ (~~B ⊃ ~B)

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[(C ≡ D) • ~D] ⊃ ~C

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[(~E ∨ F) ⊃ G] ⊃ (E ⊃ G)

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[(H • I) ∨ (H • ~I)] ⊃ (~H ⊃ I)

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
(M ⊃ N) ⊃ {(~N • ~M) ⊃ [N ⊃ (N ∨ ~M)]}

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[O ⊃ (P • ~O)] ⊃ [(P ∨ O) ⊃ (~P ⊃ ~O)]

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[(Q ∨ R) • (~Q • ~S)] ⊃ ~(R • S)

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
(T ≡ V) ⊃ [(V • ~W) ⊃ ~(W • T)]

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[(X ≡ Y) • X] ⊃ [(Y ⊃ Z) ⊃ Z]

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
{[A ⊃ (B ∨ C)] • (A • ~C)} ⊃ B

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
(D ⊃ E) ⊃ [(~E ∨ F) ⊃ (~F ⊃ ~D)]

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
{{[G ≡ (H ∨ I)] • (G • ~I)} • (H ⊃ ~G)} ⊃ ~G

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
{[(~J ∨ K) • ~(~L • K)] • ~L} ⊃ (~J • ~K)

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[M ⊃ (N • O)] ⊃ {[M ⊃ (N ⊃ ~M)] ⊃ ~M}

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[P • (P ⊃ Q)] ⊃ {[P ⊃ (R ⊃ ~Q)] ⊃ ~R}

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[~S ≡ (~T • U)] ⊃ [(U ⊃ S) ⊃ (U ⊃ T)]

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
(W ≡ X) ⊃ {(X • ~Y) ⊃ [(Z ⊃ Y) ⊃ (~Z • W)]}

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
{{[(A • B) ∨ C] • [(C ∨ A) ⊃ B]} • [(~B ∨ C) • (~C ∨ A)]} ⊃ A

not completed
. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
{[D ⊃ (E ∨ F)] • [(G • F) ⊃ D]} ⊃ {(~E • ~F) ⊃ [(D ⊃ ~G) ⊃ (D ⊃ ~F)]}

Back to top