On 3/16/06, Patrick Littell <[log in to unmask]> wrote:
> You can make do with just IF and NOT; Lukasiewicz's axiomatization of
> sentential logic has these as the primitives, iirc.
> A OR B = IF NOT A THEN B
> A AND B = NOT ( IF A THEN NOT B )
Looked it up: although Lukasiewicz's axioms only make use of IF and
NOT, it looks like he actually chose IF and AND as the primitives, and
then defined IF as NOT ( A AND NOT B). I found his axioms, too:
1. ( P => Q ) => ( ( Q => R ) => ( P => R ) )
2. P => ( ~ P => Q )
3. ( ~ P => P ) => P
It's amazing that we can get the entirety of sentential logic from
just these three. (For some value of amazing.) If you were to make
up native speakers for your minimally conjoining language, these
should be their Commandments.
I got this from John Halleck's great page at