Re: So what's null then if it's not nothing?

From: vc <boston103_at_hotmail.com>
Date: 5 Dec 2005 10:41:28 -0800
Message-ID: <1133808088.739086.63220_at_z14g2000cwz.googlegroups.com>


paul c wrote:
> Jon Heggland wrote:
>
> > ...
> > No. He doesn't define equivalence; AND, OR and NOT is not sufficient. He
> > could very well have envisioned an equivalence truth table where w<->w
> > is w, not T.
> > ...
>
> Just interloping here, so I don't really know the thrust of the
> conversation, but the above caught my eye. If w<->w is meant as 'w if
> and only if w', surely <AND> is equivalent?

In the classical propositional logic and in Lukasiewicz's 3VL '<->' evaluates to 'true' when both operands have the same truth value and to 'false' otherwise. 'if and only if' is just another name for '<->'.

>
> p
Received on Mon Dec 05 2005 - 19:41:28 CET

Original text of this message