посылка правила
Смотреть что такое "посылка правила" в других словарях:
Посылка — в широком смысле то, на основании чего делается вывод или умозаключение. П. могут служить факты или суждения о фактах, принципы, аксиомы, постулаты и пр., вообще любые события или высказывания исходные данные, из которых непосредственно… … Большая советская энциклопедия
Секвенций исчисление — (позднелатинское sequentia последовательность, следствие) секвенциальные исчисления, исчисления способов заключений, модификации понятия логического исчисления (См. Исчисление), в которых основными объектами преобразования являются не… … Большая советская энциклопедия
СИЛЛОГИЗМ — (от греч. sillogismos) опосредованное умозаключение силлогистики. Наиболее известной формой С. является т.н. простой категорический С. двухпосылочное умозаключение об отношении между двумя терминами (большим Р и меньшим S) посредством указания их … Философская энциклопедия
силлогизм — (от греч. sillogismos) категорический дедуктивное умозаключение, в котором из двух суждений, имеющих субъектно предикатную форму ( Все S суть Р , Ни одно S не есть Р , Некоторые 5 суть Р , Некоторые 5 не есть Р ), следует новое суждение… … Словарь терминов логики
Силлогизм — умозаключение, в котором на основании нескольких суждений с необходимостью выводится новое суждение, называемое заключением. В отличие от С., как умозаключения посредственного, непосредственным умозаключением называется то, в котором заключение… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… … Философская энциклопедия
Элементарная — 6.4 Элементарная категория является элементарной на данном уровне абстракции, если она не может быть разбита на более мелкие части на этом уровне абстракции. Установление данного уровня абстракции может включать в себя идентификацию того, какие… … Словарь-справочник терминов нормативно-технической документации
логика (средневековья) — Ars vetus , Ars nova , Logica modernorum Лишь несколько десятилетий назад ученые смогли по достоинству оценить средневековую логику. С одной стороны, она представляет собой дидактическую систематизацию античной логики, с другой стороны, в ней … Западная философия от истоков до наших дней
ВЫВОД — в (традиционной) логике рассуждение, в ходе которого из некоторых исходных высказываний (суждений), называемых посылками, с помощью логических правил получают новое высказывание, называемое заключением. Напр., из высказываний «Все полноправные… … Философская энциклопедия
Университет — (от лат. universitas совокупность). В настоящее время с понятием У. соединяют представление о высшем учебном заведении, которое, имея целью свободное преподавание и развитие всех отраслей науки (universitas litterarum), независимо от их… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Фондирование — (Funding) Фондирование это процесс финансирования активных операций банка Ставка и коэффициент фондирования при расчетах матрицы, целевое фондирование и его источники Содержание >>>>>>>>> … Энциклопедия инвестора