( 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.
Last edited by aeubz; Jul 15th 2009 at 10:25 PM.
Follow Math Help Forum on Facebook and Google+
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
View Tag Cloud