Hi John, I don't understand why >> >> vacuous_false = 0 |-> 0. >> vacuous_true = not(vacuous_false) >> >>Assume that w is a non-empty natural word (i.e., no letter of w is \top or >>\bot). >>Then >> >> w |/= vacuous_false and w |/=^{non} vacuous_false >> w |= vacuous_true and w |/=^{non} vacuous_true >> >> Isn't 0 |-> 0 a tautology? Doron -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Jan 14 07:56:23 2008
This archive was generated by hypermail 2.1.8 : Mon Jan 14 2008 - 07:56:55 PST