ВЫВОД ЛОГИЧЕСКИЙ

рассуждение, в ходе которого из каких-л. исходных суждений — посылок — с помощью логических правил получают заключение — новое суждение.