Класична логика: Разлика помеѓу преработките

[непроверена преработка][непроверена преработка]
Избришана содржина Додадена содржина
с Бот Додава: ja:古典数理論理学
Нема опис на уредувањето
Ред 1:
'''Класична логика''' е класа на [[формална логика|формалните логики]] кои се изучувале најисцрпно и применувале најшироко. Нив гиоги карактеризираат низа својства<ref>Gabbay, Dov, (1994). 'Classical vs non-classical logic'. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, (Eds), ''Handbook of Logic in Artificial Intelligence and Logic Programming'', volume 2, chapter 2.6. Oxford University Press.</ref>; некласични логики се оние кои немаат едно или повеќе од овие својства, кои се:
#[[Закон на исклучената средина]] и [[Закон за двојната негација]];
#[[Принцип на непротивречност]];