Класична логика: Разлика помеѓу преработките
[непроверена преработка] | [непроверена преработка] |
Избришана содржина Додадена содржина
с с |
с с |
||
Ред 10:
==Примери за класичната логика==
* Во [[Аристотел]]овиот „[[Органон]]“ се запознаваме со неговата теорија на [[силогизам|силогизми]], што е логика со ограничен облик на расудувања: тврдењата се една од четирите форми, ''Сите P се Q'', ''Некои P се Q'', ''Ниедно P не е Q'' и ''Некои P не се Q''. Овие расудувања ги наоѓаме во два пара на два двојни оператора, каде секој оператор е негација на другиот, соодноси кои Аристотел ги резимира како [[логички квадрат]] на спротивности. Аристотел експлицитно го формулирал законот на исклучената средина и принципот
*Алгебарската реформулација на логиката на [[Џорџ Бул]], неговиот систем на [[Булева логика]];
|