Dear all: My analysis (7-21-05) was intended for those who are not conversant with logic. A much shorter abstracted version follows. Assume that p implies not q. Equivalently, p implies (not possible) q. But, for any p and q, p implies (q or not q) or, equivalently, p implies possible q. There is no contradiction. However, contradiction arises when (not possible) q is interpreted incorrectly as not (possibly q). The answer to the question, thus, depends on how not possible q is parsed. If not possible q is read with accent in not, many people would interpret it as not (possible q), leading to contradiction.
Regards to all, Lotfi -- Lotfi A. Zadeh Professor in the Graduate School, Computer Science Division Department of Electrical Engineering and Computer Sciences University of California Berkeley, CA 94720 -1776 Director, Berkeley Initiative in Soft Computing (BISC) _______________________________________________ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai