en

Non-intuitionistic

ru

Перевод слова "non-intuitionistic" на Русский язык

non-intuitionistic
Прилагательное
raiting
non-intuitionistic
В логике; противопоставляется интуиционистскому подходу
Classical logic is considered a non-intuitionistic system because it accepts the law of excluded middle.
Классическая логика считается неинтуиционистской системой, поскольку принимает закон исключённого третьего.

Опеределения

non-intuitionistic
Прилагательное
raiting
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.