Thread: Please check my Truth Table 2!

( P AND Q ) AND ( ~ P OR ~ Q ) AND ( P AND Q ) AND ( ~ P OR Q )

Is this a contradiction?

Work: Well, lol, I got it is a contradiction. There is always one false in each row. So I assume it is a contradiction.

Originally Posted by aeubz

( P AND Q ) AND ( ~ P OR ~ Q ) AND ( P AND Q ) AND ( ~ P OR Q )
Is this a contradiction?

I think that you mised a 'not'.
]( P AND Q ) AND ( ~ P OR ~ Q ) AND ( P AND ~ Q ) AND ( ~ P OR Q )
Did you?

nope its typed correctly

If this is it: ( P AND Q ) AND ( ~ P OR ~ Q ) AND ( P AND Q ) AND ( ~ P OR Q )

Then drop a redundancy ( ~ P OR ~ Q ) AND ( P AND Q ) AND ( ~ P OR Q )

it is a contradiction, is it not?

Hello, aeubz!

If it is typed correctly, it should read: .

And we need a few theorems:
. .


I would prove it like this:

TY All for your responses !! it is contradiction.. by what Soroban wrote. even though i did it the long way by using truth tables but his way is much neater and much better