Fr.: logique classique
The traditional logic in which → sets are sharply defined (→ crisp set) for example, the number of students registered for a course, or the names beginning with P in a given telephone directory. Classical logic also defines relations between sets of → propositions. Consider for example two sets: elephants and mammals, a simple proposition would be the assertion that all elephants are mammals, that is E ⊂ M, where E is the elephant set and M is the mammal set. The classical logic proposition is either true or false. Compare with → fuzzy logic.