Re: A simple notation, again
From: Vadim Tropashko <vadimtro_invalid_at_yahoo.com>
Date: Mon, 16 Jul 2007 12:09:38 -0700
Message-ID: <1184612978.644650.63560_at_x35g2000prf.googlegroups.com>
Date: Mon, 16 Jul 2007 12:09:38 -0700
Message-ID: <1184612978.644650.63560_at_x35g2000prf.googlegroups.com>
On Jul 16, 11:58 am, Vadim Tropashko <vadimtro_inva..._at_yahoo.com>
wrote:
> 1. "A imply B" interpreted as a partial order relation A < B.
> 2. "A imply B" interpreted as low level "material" implication, which
> is boolean algebra element !A \/ B. We'll keep the "A->B" notation for
> material implication.
>
> There is nice connection between them
>
> (A->B) & (B->C) < (A->C)
Not only that, of course but all the other standard deduction laws like this:
A & (A -> B) < B
etc. Received on Mon Jul 16 2007 - 21:09:38 CEST