Вывод Логический - это...

- рассуждение, в ходе которого из к.-л. исходных суждений - посылок - с помощью логических правил получают заключение - новоесуждение. Напр., из суждений "Все люди смертны" и "Кай - человек" мы можем вывести с помощью правил простого категорического силлогизма новое суждение: "Кай смертен". В символической логике вывод определяется более строго - как последовательность высказываний или формул, состоящая из аксиом, посылок и ранее доказанных формул (теорем). Последняя формула данной последовательности, выведенная как непосредственноеследствие предшествующих формул по одному из правил вывода, принятых в рассматриваемой аксиоматической теории, представляет собой выводимую формулу. Поскольку каждая формальная система имеет свои собственные аксиомы и правила вывода, постольку во всякой системе понятие вывода носит специфическийхарактер. В качестве примера приведем определение понятия вывода для следующей формальной системы. Алфавит системы включает в себя бесконечный набор символов: р, q, r, s, ...; p1 q1, r1, s1, ...; p2q2, r2, s2, ... , которые называются пропозициональными переменными. К ним добавляются следующие четыре символа: (,),->,