(urth) Imaginary logic

[Jeffery Wilson clueland.com]

On 10/18/2014 2:18 PM, António Pedro Marques wrote:
> Can someone more math-enjoying than me take up the challenge to build a
> system based on (A => B) & (A & ~B) ? Could some insight come out of the
> thing?

Well, rewriting A=>B as ~A V B gives

(~A V B) & (A & ~B)

which is not satisfiable because  the right group requires A to be true 
and B to be false, but the left requires either A to be false or B to be 
true. This expression is thus false for all possible combinations of 
values for A & B, so it can be used to imply anything, but since the 
proposition is always false, the consequent can be false or true without 
giving any useful information:

http://mathforum.org/library/drmath/view/55617.html

-- 
Jeff Wilson - < jwilson at clueland.com >
A&M Texarkana Computational Intelligence Lab
< http://www.tamut.edu/cil >