Traditional (crisp) logic In 300 B.C. Aristotle formulated the law of the excluded middle, which is now the principle foundation of mathematics. X must be in a set of A or…