Нормальное Множество — см.: Противоречие в явном определении.

Образец — - поведение лица или группы лиц, которому надлежит следовать. О. принципиально отличается от примера: пример говорит о том, что есть в действительности, и используется для поддержки описательных утверждений; О. говорит о том, что должно быть, и...

Непосредственное Умозаключение (в Традиционной Логике) — - умозаключение из одной посылки. К числу Н. у. относятся обращение суждений, превращение суждений, противопоставление предикату, некоторые умозаключения по логическому квадрату, напр. от истинности общих суждений (А и Е) к истинности...

Нормальное Множество — см.: Противоречие в явном определении.

Необходимые И Достаточные Условия (в Логике И Математике) — - условия, устанавливающие зависимость истинности к.-л. утверждения А от наличия условий, фиксируемых в другом утверждении Я Необходимыми условиями истинности утверждения А называются условия, без соблюдения которых А не может быть истинным....

Общее Понятие — см.: Понятие.

Непосредственное Умозаключение (в Традиционной Логике) — - умозаключение из одной посылки. К числу Н. у. относятся обращение суждений, превращение суждений, противопоставление предикату, некоторые умозаключения по логическому квадрату, напр. от истинности общих суждений (А и Е) к истинности...

Независимость (в Логике И Математике) — - невыводимость предложения некоторой теории из данного множества ее предложений, напр. из системы ее аксиом. Система аксиом называется независимой (неизбыточной), если каждая входящая в нее аксиома невыводима из других аксиом. Если какую-то аксиому...

Нормальное Множество — см.: Противоречие в явном определении.

Обращение — (лат. conversio) - в традиционной логике вид непосредственного умозаключения, в котором вывод получается путем постановки предиката посылки на место субъекта, а субъекта посылки - на место предиката. Общая схема О. выглядит следующим образом:...