گوییک ِ کلاسیک guyik-e kelâsik
*Fr.: logique classique*
The traditional logic in which → *set*s 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
→ *proposition*s.
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*. → *classical*; → *logic*. |