sci.logic
[Top] [All Lists]

Re: Logic of uncertainty, early explorations.

Subject: Re: Logic of uncertainty, early explorations.
From: "Confutus"
Date: 21 Oct 2006 13:59:32 -0700
Newsgroups: sci.logic
>
> A solved problem is no longer a problem. Using the 3-valued  truth
> tables I have given for ~, v, &, and  ->,  the  evaluations for   p ->
> q,   ~p v p, and   ~ (p & ~q)  all match.   I'm not asking for a
> gigantic  leap of faith.  You can take my word for it or check it
> yourself.
> 

 Aww. #$%$#^%!   Make that  p -> q, (~p v q), and  ~(p & ~q).


<Prev in Thread] Current Thread [Next in Thread>
Privacy Policy