determine whether the given proposition is a logical truth of PL or not. If it is a logical truth, provide a proof. If it is not a logical truth, provide a false valuation.
-[(A $ \lor $ B) $ \lor $ (C $ \lor $ D)] ⊃ [∼(∼C ⊃ D) ⊃ (A ⊃ ∼B)]

Question

Quizplus · Accepted Answer

The Answer of determine whether the given proposition is a logical truth of PL or not. If it is a logical truth, provide a proof. If it is not a logical truth, provide a false valuation.
-[(A $ \lor $ B) $ \lor $ (C $ \lor $ D)] ⊃ [∼(∼C ⊃ D) ⊃ (A ⊃ ∼B)]

Determine Whether the Given Proposition Is a Logical Truth of PL