Solution to Show that these compound propositions are tautologies: (1) (¬q ∧ (p → q)) → ¬p … - Sikademy
Author Image

Archangel Macsika

Show that these compound propositions are tautologies: (1) (¬q ∧ (p → q)) → ¬p (2) ((p ∨ q) ∧ ¬p) → q

The Answer to the Question
is below this banner.

Can't find a solution anywhere?

NEED A FAST ANSWER TO ANY QUESTION OR ASSIGNMENT?

Get the Answers Now!

You will get a detailed answer to your question or assignment in the shortest time possible.

Here's the Solution to this Question

1. Solution for (¬q ∧ (p → q)) → ¬p

(¬q ∧ (p → q)) → ¬p
≡ (¬q ∧ (¬ p ∨ q)) → ¬p
≡ ¬((¬q ∧ (¬ p ∨ q))) ∨ ¬p
≡ ((¬(¬q)) ∨ (¬(¬ p ∨ q))) ∨ ¬p
≡ ((q) ∨ (¬(¬ p)) ∧ (¬ q)) ∨ ¬p
≡ (q ∨ (p ∧ ¬ q)) ∨ ¬p
≡ ((q ∨ p) ∧ (q ∨ ¬ q)) ∨ ¬p
≡ ((q ∨ p) ∧ T) ∨ ¬p
≡ ((q ∨ p) ∨ ¬p
≡ q ∨ (p ∨ ¬p)
≡ q ∨ T
≡ T

2. Solution for ((p ∨ q) ∧ ¬p) → q

((p ∨ q) ∧ ¬p) → q
≡(¬p ∧ (p ∨ q)) ∨ q
≡ ¬ (¬p ∧ (p ∨ q)) ∨ q
≡ (¬ (¬p) ∨ ¬(p ∨ q)) ∨ q
≡ (p ∨ ¬(p ∨ q)) ∨ q
≡ (p ∨ (¬p ∧ ¬q)) ∨ q
≡ ((p ∨ ¬p) ∧ (p ∨ ¬q)) ∨ q
≡ (T ∧ (p ∨ ¬q)) ∨ q
≡ ((p ∨ ¬q) ∧ T) ∨ q
≡ (p ∨ ¬q) ∨ q
≡ p ∨ (¬q ∨ q)
≡ p ∨ (q ∨ ¬q)
≡ p ∨ T
≡ T

If you would like to see a different solution or have a question or concern Kindly let us know



Related Answers

Was this answer helpful?

Join our Community to stay in the know

Get updates for similar and other helpful Answers

Question ID: mtid-5-stid-8-sqid-8-qpid-1