Re: Leibniz Semantics

From: <hal.domain.name.hidden>
Date: Tue, 27 Mar 2001 10:24:10 -0800

> >> A v B A -> B
> >> 1 1 1 1 1 1
> >> 1 1 0 1 0 0
> >> 0 1 1 0 1 1
> >> 0 0 0 0 1 0

Just to help you guys out, the notation used here puts the 'result'
operation in the middle column. The first column is A, the last column
is B, and the middle column holds "A or B" in the first table and "if A
then B" in the second table. This is different than how I have usually
seen it displayed, where the result operation is in the rightmost column.
That accounts for part of the confusion.

Hal
Received on Tue Mar 27 2001 - 10:34:09 PST