Словари
Deport.ru  » Словари  
 

Значение слова Вывод Логический орфографическое, лексическое прямое и переносное значения и толкования (понятие) слова из словаря Словарь логики

Вывод Логический -  — рассуждение, в ходе которого из к.-л. исходных суждений — посылок — с помощью логических правил получают заключение — новое суждение. Напр., из суждений «Все люди смертны» и «Кай — человек» мы можем вывести с помощью правил простого категорического силлогизма новое суждение: «Кай смертен». В символической логике вывод определяется более строго — как последовательность высказываний или формул, состоящая из аксиом, посылок и ранее доказанных формул (теорем). Последняя формула данной последовательности, выведенная как непосред­ственное следствие предшествующих формул по одному из пра­вил вывода, принятых в рассматриваемой аксиоматической тео­рии, представляет собой выводимую формулу. Поскольку каждая формальная система имеет свои собственные аксиомы и правила вывода, постольку во всякой системе понятие вывода носит спе­цифический характер. В качестве примера приведем определение понятия вывода для следующей формальной системы. Алфавит системы включает в себя бесконечный набор символов: р, q, r, s, ...; p1 q1, r1, s1, ...; p2q2, r2, s2, ... , которые называются пропозициональными переменными. К ним до­бавляются следующие четыре символа: (,),->, ~ левая и правая скобки, знак импликации и знак отрицания. Прави­ла построения формул: 1) всякая пропозициональная переменная есть формула; 2) если А и В суть формулы, то (А—>В) есть формула; 3) если A есть формула, то ~ A есть формула. В качестве аксиом можно принять следующие три формулы: а) s-> (p->s); б) (s->(p->q))->((s->p)->(s->q)); в) (~p->~q)->(q->p). В качестве правил вывода принимаются следующие два правила: 1) Правило подстановки: если формула А получается из формулы А путем замены некоторой переменной повсюду, где она встречается в Л, на некоторую формулу С, то из A следует А'. 2) Правило отделения: из формул вида (А->В) и A следует формула В. Теперь можно определить понятие вывода. Последовательность формул A1, ..., Ат называется выводом формулы A из посылок Г1 ..., Гт, если каждая формула этой последовательности есть либо одна из аксиом системы, либо одна из посылок Г1, ..., Гт, либо получена из каких-то предыдущих формул последовательности по одному из правил вывода данной системы, а формула А есть пос­ледняя формула данной последовательности. Формулу A, для которой существует вывод из посылок Г1, ..., Гт называют выводимой из Г1, ..., Гт. Утверждение о выводимости формулы A из посылок Г1, ..., Гт записывается так: Г1, ..., Гт |-A и читается: «Формула A выводима из посылок Г1, ..., Гт». Безот­носительно к специфике формальной системы отношению логи­ческой выводимости (|-) присущи следующие свойства: 1) Г |- Е,.если Е входит в список посылок Г. 2) Если Г |- Е, то Г, ∆ |- Е для любого перечня формул Д. 3) Если Г |- Е, то ∆ |- Е, когда ∆ получено из Г путем перестанов­ки формул Г или опускания таких формул, которые тождественны остающимся формулам. 4) Если Г |- Е, то ∆ |- Е, когда ∆ получено из Г за счет опуска­ния любых формул Г, которые доказуемы или выводимы из остающихся формул Г.


Словарь — надежный помощник в любой ситуации. Каждый человек очень часто сталкивается с ситуацией, когда ему непонятно значение какого либо слова или выражения. Как правило, это случается в специфических отраслях деятельности, малоизвестных общему кругу людей. Мы даем вам возможность ознакомиться с более чем двадцатью русскими словарями, включая такие известные, как: толковый словарь Даля, толковый словарь Ожегова и другие.

Наш мир многогранен, имеет массу различных направлений и мнений, множество специфических и профессиональных терминов. Для того, чтобы люди могли понимать друг друга, могли обшаться, делиться информацией и не испытывать при этом каких либо затруднений, для всего этого мы публикуем на нашем сайте русские толковые словари. Каждый русский словарь имеет свою уникальную историю, несет в себе отголоски своего создателя, его труд и усилия. Каждый русский толковый словарь является результатом неимоверно кропотливой работы и исследований. Словари, в прямом смысле слова, собирались по крупицам многие годы. Каждый словарь требовал от своего создателя массу энергии, путешествий по стране, много общения с представителями разных народов и профессий. Например, толковый словарь Даля потребовал от своего создателя — Владимира Даля, талантливого русского лексикографа, 20 лет усилий. Владимир Даль объездил всю Россию, от Сибирских морозов до Камчатки, чтобы его толковый словарь имел на сегодняшний день репутацию одного из самых качественных и употребляемых словарей современности.



Популярные слова: Словарь логики
Аргумент Омонимия
Доказательство От Противного Определение Классическое
Доказуемость Подмена Тезиса
Идемпотентности Закон Полемика
Индукция Математическая, Полная Математическая Индукция Приведение К Абсурду
Концепт Противоречие
Круг В Определении Равенство
Многозначность Содержание Понятия
Множеств Теория Экзистенциальное Высказывание
Нормальное Множество Эллиптическое Высказывание
© 2004-2014 Deport.ru. По всем вопросам пишите на support@deport.ru.