-
English
-
Russian
-
German
-
English
-
Russian
-
German
Non-intuitionistic
Translation of "non-intuitionistic" into Russian
non-intuitionistic
Adjective
non-intuitionistic
В логике; противопоставляется интуиционистскому подходу
Classical logic is considered a non-intuitionistic system because it accepts the law of excluded middle.
Классическая логика считается неинтуиционистской системой, поскольку принимает закон исключённого третьего.
Definitions
non-intuitionistic
Adjective
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.