| 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> |
|---|---|---|
| ||
| Previous by Date: | Logic of uncertainty, fully functional, Confutus |
|---|---|
| Next by Date: | Re: Turing vs. Godel (Newbie Question), Charlie-Boo |
| Previous by Thread: | Re: Logic of uncertainty, early explorations., Confutus |
| Next by Thread: | Re: Logic of uncertainty, early explorations., William Elliot |
| Indexes: | [Date] [Thread] [Top] [All Lists] |