p ↔ q önermesinde bulunmuştur, aslında p -> q iken q -> p = ? sorusu mu sormuştur, tam emin olamadım, felsefe almayalı çok oldu.

(bkz: bulanık mantık)