2011-04-08, 07:40 PM
Didn't really wanna make a thread for this but my other logic post was necro.
how do I deny (p<=>q)?
I'm thinking something like morgan but not sure:
(~p _v_ ~q) where _v_ is exclusive 'or' so it's one true but not both for it to work.
how do I deny (p<=>q)?
I'm thinking something like morgan but not sure:
(~p _v_ ~q) where _v_ is exclusive 'or' so it's one true but not both for it to work.