Вывода Дерево

- момент эмпирического распределения. ..

логический - формальный вывод в исчислении, содержащем логические правила и имеющем в качестве основных выводимых объектов формулы (интерпретацией к-рых являются суждения;см. Логические исчисления. Логико-математические исчисления). Поскольку обычно такие исчисления снабжаются семантикой, то в некоторых случаях под логическим В. Понимают содержательное рассуждение, позволяющее от сформулированных аксиом и гипотез (допущений) переходить к новым утверждениям, логически вытекающим из исходных...

- способ порождения объектов, называемых заключением В. П., по множеству объектов, называемых посылками правила. Формулирование В. П. Играет решающую роль при описании исчислений (часто данное В. П. Имеет смысл лишь в контексте данного исчисления). Для исчислений, снабженных семантикой (в частности, большинства логико-математических исчислений), В. П. Сохраняет истинность, т. Е. По истинным посылкам позволяет породить лишь истинное заключение. Наиболее знаменитый пример такого В. П.- правило..

- метаматематическая теорема (см. Метатеорема), позволяющая по конечному числу выводов из гипотез утверждать выводимость формулы из гипотез Г. Выводы наз. Вспомогательными выводами В. П., заключение наз. Результирующим выводом. В. П. Является частным случаем допустимого правила. Важнейшие примеры В. П. Доставляются дедукции теоремой, правилом приведения к абсурду и другими правилами введения и удаления логических символов, такими, как правила введения дизъюнкции. и (для этих В. П. Чис..