Приглашаем посетить сайт
ВЫВОД
ВЫВОД - в (традиционной) логике - рассуждение, в ходе которого из некоторых исходных высказываний (суждений), называемых посылками, с помощью логических правил получают новое высказывание, называемое заключением. Напр., из высказываний «Все полноправные граждане Афин были греками» и «Фемистокл был полноправным гражданином Афин» с помощью правил категорического силлогизма можно вывести высказывание: «Фемистокл был греком». В. иногда также называют процесс выведения нового высказывания из посылок или само это высказывание.
В символической логике В. определяется более строго - как последовательность высказываний или формул, состоящая из аксиом, посылок и ранее доказанных формул (теорем). Последняя формула данной последовательности, выведенная как непосредственное следствие предшествующих формул по одному из правил В., принятых в рассматриваемой аксиоматической теории, представляет собой выводимую формулу. Поскольку каждая формальная система имеет свои собственные аксиомы и правила В., постольку понятие В. приобретает относительный характер и должно определяться особо для каждой конкретной системы.