 |
классическая логика
| Русская Википедия - свободная энциклопедия | Download this dictionary |
Классическая логика
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.
Неклассическая логика соответственно есть логика, в которой один или несколько законов классической логики не выполняются. Самым известным примером неклассической логики есть интуиционистская логика (отказ от закона исключения третьего). Кроме того существуют некоммутативная логика (отказ от коммутативности конъюнкции и дизъюнкции), линейная логика (отказ от идемпотентности конъюнкции и дизъюнкции), немонотонная логика (отказ от монотонности отношения выводимости), и огромное множество других.
| Продолжение на Wikipedia.οrg... |
© Текстовое содержимое использует материал из Википедии® и доступно в соответствии с лицензией свободной документации GNU
