Непосредственное Умозаключение

в традиционной логике, Умозаключение из одной посылки или (у Аристотеля (См. Аристотель)) вывод из аксиом или из посылки, «которой не предшествует никакая другая». Теория Н. У. (в любом из указанных смыслов) непосредственно не подпадала под компетенцию силлогистики (См. Силлогистика), однако считалось, что она должна в известном смысле предшествовать последней. Впрочем, именно в этом вопросе традиционная логика оказывалась «недостаточно формальной». Правила Н. У. Часто обосновывались ссылкой на..

(логическая) — одна из модальных характе­ристик высказывания (наряду с «возможностью», «случайностью» и «независимостью»). Необходимым является высказывание, от­рицание которого логически невозможно. Обычно говорят, что высказывание логически необходимо, если его истинность может быть установлена независимо от опыта или на чисто логических основаниях. Н. Логическая является, таким образом, более сильным видом истины, чем случайная, или фак­тическая, истинность. Напр., высказывание «Снег бел» фак..

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

См. Умозаключение.. ..

- определение, с помощью которого некоторые объекты вводятся через множества, включа­ющие эти объекты в качестве своих элементов. Напр. «Верхней границей множества действительных чисел называется самое боль­шое число этого множества, т. Е. Число, которое больше любого числа этого множества». В этом определении Dfd («верхняя грани­ца множества действительных чисел»), т. Е. Определяемое, вклю­чается в множество действительных чисел Dfn как самое большое число этого множества — определяющее - и тем..