Re: A simple notation, again
Date: Mon, 16 Jul 2007 12:09:38 -0700
On Jul 16, 11:58 am, Vadim Tropashko <vadimtro_inva..._at_yahoo.com>
> 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