Ask your own question, for FREE!
Mathematics 19 Online
OpenStudy (unklerhaukus):

\[x\wedge\neg x\]

hartnn (hartnn):

null ?

OpenStudy (unklerhaukus):

no solutions?

hartnn (hartnn):

null set can be treated as a solution....

OpenStudy (unklerhaukus):

hmm,

OpenStudy (unklerhaukus):

i thought \[\neg\emptyset=U\]

hartnn (hartnn):

that is correct, but why did u have to negate null ? to get universal set?

OpenStudy (unklerhaukus):

i dont know, im new to this stuffs

OpenStudy (unklerhaukus):

is \(x=\emptyset\) a solution or does \(x=\emptyset\) mean there are no solutions

OpenStudy (unklerhaukus):

@Mikael

OpenStudy (anonymous):

There is a third alternative. This expression does not preclude it.

OpenStudy (unklerhaukus):

go on,..

OpenStudy (anonymous):

http://en.wikipedia.org/wiki/Many-valued_logic \[ \Huge \color{Green} {and \quad it \quad goes\quad free-er!}\] http://en.wikipedia.org/wiki/Free_logic

OpenStudy (unklerhaukus):

?

OpenStudy (anonymous):

You have written a logical 1-st order expression X and NOT-x in \[ \bf the \quad standard\] \[ \Huge \color{Green} { \quad\cal BIVALENT\quad Logic} \] This is equivalent to NO-SOLUTION or empty set of satisfying instances. But there is a legitimate formal study WITHOUT the law of excluded-third (meaning that in addition to YES or NO there is additional possibility. I supplied you the beginning of this field -ref

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!