(1) Elkan’s proof uses too strong a notion of logical equivalence. The particular equivalence he considers, while valid in Boolean algebra, has nothing to do with fuzzy logic. (2) Elkan claims that De Morgan’s algebra “allows very little reasoning about collections of fuzzy assertions,” although he correctly states that when logical equivalence is restricted to De Morgan algebra equalities’ “co...