Класична логика: Разлика помеѓу преработките
[непроверена преработка] | [непроверена преработка] |
Избришана содржина Додадена содржина
с с |
с с |
||
Ред 6:
#[[Де Морганова двојност]]: секој [[логички оператор]] е двоен на некој друг.
Класичната логика е [[бивалентност|бивалентна]], т.е. користи само [[Булева функција|Булеви функции]]. Иако неусловени од претходните услови, современите расправи за класичната логика обично занимаваат со [[исказна логика|исказна]] и [[логика од прв ред]].<ref>Shapiro, Stewart (2000). Classical Logic. Во „[[
==Примери за класичната логика==
|