[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

if king

I am conscious of the need for logical connectives with incomplete
truth tables, e.g.

     "if" X then Y

         X  Y
         T  T  T
         T  F  F
         F  T  ?
         F  F  ?

So answering the question "Is it true that 'if' X then Y"
requires considering only cases where X is true.

I wd use such a connective for most translations of English "if".

-----
And