Non-intuitionistic
Перевод слова "non-intuitionistic" на Русский язык
non-intuitionistic
Прилагательноеnon-intuitionistic
В логике; противопоставляется интуиционистскому подходу
Classical logic is considered a non-intuitionistic system because it accepts the law of excluded middle.
Классическая логика считается неинтуиционистской системой, поскольку принимает закон исключённого третьего.
Опеределения
non-intuitionistic
ПрилагательноеNot based on, adhering to, or consistent with intuitionistic logic; classical or otherwise rejecting intuitionistic principles such as the law of excluded middle.
Classical logic is considered a non-intuitionistic system because it accepts the law of excluded middle.