Question 1

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.
-[(G ⊃ H) ⊃ (I ⊃ J)] ⊃ [(G ⊃ I) ⊃ (H ⊃ J)]

Accepted Answer

The answer of determine whether the given proposition is a...

Question 2

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.
-[(K ⊃ L) ⊃ (M ⊃ N)] ⊃ [(L • M) ⊃ N]

Accepted Answer

The answer of determine whether the given proposition is a...

Question 3

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.
-[(P $ \lor $ Q) ⊃ (R • ∼S)] ⊃ [(P $ \lor $ R) ⊃ S]

Accepted Answer

The answer of determine whether the given proposition is a...

Question 4

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.
-[(P • Q) ≡ (R $ \lor $ S)] ⊃ [(P • ∼R) ⊃ S]

Accepted Answer

The answer of determine whether the given proposition is a...

Question 5

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.
-[(W $ \lor $ X) ≡ (Y $ \lor $ Z)] ⊃ [(W • ∼Y) ⊃ Z]

Accepted Answer

The answer of determine whether the given proposition is a...

Question 6

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.
-(I • K) ⊃ [(I $ \lor $ L) • (I $ \lor $ M)]

Accepted Answer

The answer of determine whether the given proposition is a...

Question 7

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.
-[(E ⊃ F) • (G ⊃ H)] ⊃ [(∼F $ \lor $ ∼H) ⊃ (∼E $ \lor $ ∼G)]

Accepted Answer

The answer of determine whether the given proposition is a...

Question 8

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)]

Accepted Answer

The answer of determine whether the given proposition is a...

Quiz 3: Inference in Propositional Logic

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. -[(G ⊃ H) ⊃ (I ⊃ J)] ⊃ [(G ⊃ I) ⊃ (H ⊃ J)]

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. -[(K ⊃ L) ⊃ (M ⊃ N)] ⊃ [(L • M) ⊃ N]

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. -[(P $\lor$ Q) ⊃ (R • ∼S)] ⊃ [(P $\lor$ R) ⊃ S]

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. -[(P • Q) ≡ (R $\lor$ S)] ⊃ [(P • ∼R) ⊃ S]

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. -[(W $\lor$ X) ≡ (Y $\lor$ Z)] ⊃ [(W • ∼Y) ⊃ Z]

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. -(I • K) ⊃ [(I $\lor$ L) • (I $\lor$ M)]

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. -[(E ⊃ F) • (G ⊃ H)] ⊃ [(∼F $\lor$ ∼H) ⊃ (∼E $\lor$ ∼G)]

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)]

Quiz 3: Inference in Propositional Logic

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. -[(G ⊃ H) ⊃ (I ⊃ J)] ⊃ [(G ⊃ I) ⊃ (H ⊃ J)]

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. -[(K ⊃ L) ⊃ (M ⊃ N)] ⊃ [(L • M) ⊃ N]

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. -[(P ∨ \lor ∨ Q) ⊃ (R • ∼S)] ⊃ [(P ∨ \lor ∨ R) ⊃ S]

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. -[(P • Q) ≡ (R ∨ \lor ∨ S)] ⊃ [(P • ∼R) ⊃ S]

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. -[(W ∨ \lor ∨ X) ≡ (Y ∨ \lor ∨ Z)] ⊃ [(W • ∼Y) ⊃ Z]

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. -(I • K) ⊃ [(I ∨ \lor ∨ L) • (I ∨ \lor ∨ M)]

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. -[(E ⊃ F) • (G ⊃ H)] ⊃ [(∼F ∨ \lor ∨ ∼H) ⊃ (∼E ∨ \lor ∨ ∼G)]

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 or not. If it is a logical truth, provide a proof. If it is not a logical truth, provide a false valuation. -[(P $\lor$ Q) ⊃ (R • ∼S)] ⊃ [(P $\lor$ R) ⊃ S]

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. -[(P • Q) ≡ (R $\lor$ S)] ⊃ [(P • ∼R) ⊃ S]

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. -[(W $\lor$ X) ≡ (Y $\lor$ Z)] ⊃ [(W • ∼Y) ⊃ Z]

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. -(I • K) ⊃ [(I $\lor$ L) • (I $\lor$ M)]

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. -[(E ⊃ F) • (G ⊃ H)] ⊃ [(∼F $\lor$ ∼H) ⊃ (∼E $\lor$ ∼G)]

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)]