> From: Martin Duerst [mailto:duerst at it.aoyama.ac.jp] > > If a implies b, it does not logically follow that not > b > >implies not a. > > Well, in classical logic, "not b implies not a" indeed logically > follows from "a implies b". That only breaks down if you remove > the law of the excluded middle, if you no longer have "a or not a = > TRUE". Doh!! My VERY bad. Of course, what I was thinking of is that "not a implies not b" does not logically follow from "a implies b". Peter _______________________________________________ Ltru mailing list Ltru at ietf.org https://www.ietf.org/mailman/listinfo/ltru
Note Well: Messages sent to this mailing list are the opinions of the senders and do not imply endorsement by the IETF.