LINUX.ORG.RU

История изменений

Исправление buddhist, (текущая версия) :

Закон исключенного третьего может и не существовать как аксиома. К.О.

других вариантов у тебя нет. Один из них всегда верен

https://en.wikipedia.org/wiki/Intuitionistic_logic

https://en.wikipedia.org/wiki/Many-valued_logic

Исходная версия buddhist, :

Закон исключенного третьего может и не существовать. К.О.

других вариантов у тебя нет. Один из них всегда верен

https://en.wikipedia.org/wiki/Intuitionistic_logic

https://en.wikipedia.org/wiki/Many-valued_logic