(P^~Q)^(P→Q)

Answered question

2021-11-12

(P^~Q)^(P→Q) 

check whether it is in contradiction form or not.

Answer & Explanation

user_27qwe

user_27qwe

Skilled2023-04-21Added 375 answers

To check whether this expression is in contradiction form or not, we need to simplify it using the laws of logic. First, let's use the definition of the conditional to rewrite PQ as ~PQ (not P or Q):
(P~Q)~PQ

Next, we can use De Morgan's laws to distribute the negation over the parentheses:
(P~Q)~P(P~Q)Q

Now we can simplify the first part (P^(~Q))^~P using the law of contradiction, which states that P~P is always false (contradictory):
(P~Q)Q

We can simplify this expression further using the commutative property of conjunction:
QP~Q

This expression is not in contradiction form, because it is not in the form P~P. Therefore, we have shown that (P~Q)PQ is not a contradiction.

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Linear algebra

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?