Философия

Как сделать Вывод..?Правильный...)))

опираясь на жизненный опыт и мудрость
Нина Швайцер
Нина Швайцер
79 352
Лучший ответ
кто пишет новый Божий Закон, все выводы Они уже знают в Книге всё будет понятно!! !
Душа дана телу на время воспитания и определения Души через телесную жизнь!! !
тело делает из Души личность!!!
Cergey Кashayev
Cergey Кashayev
44 838
Сама очевидность: правильные выводы делаются по правилам.
Например.
"В качестве правил вывода принимаются следующие два правила: 1) Правило подстановки: если формула А получается из формулы А путем замены некоторой переменной повсюду, где она встречается в Л, на некоторую формулу С, то из A следует А&. 2) Правило отделения: из формул вида (А->В) и A следует формула В. Теперь можно определить понятие вывода. Последовательность формул A1, ..Ат называется выводом формулы A из посылок Г1 ...Гт, если каждая формула этой последовательности есть либо одна из аксиом системы, либо одна из посылок Г1, ..Гт, либо получена из каких-то предыдущих формул последовательности по одному из правил вывода данной системы, а формула А есть последняя формула данной последовательности. Формулу A, для которой существует вывод из посылок Г1, ..Гт называют выводимой из Г1, ..Гт. Утверждение о выводимости формулы A из посылок Г1, ..Гт записывается так: Г1, ..Гт |-A и читается: "Формула A выводима из посылок Г1, ..Гт". Безотносительно к специфике формальной системы отношению логической выводимости (|-) присущи следующие свойства: 1) Г |- Е,. если Е входит в список посылок Г. 2) Если Г |- Е, то Г, ? |- Е для любого перечня формул Д. 3) Если Г |- Е, то ? |- Е, когда? получено из Г путем перестановки формул Г или опускания таких формул, которые тождественны остающимся формулам. 4) Если Г |- Е, то ? |- Е, когда? получено из Г за счет опускания любых формул Г, которые доказуемы или выводимы из остающихся формул Г. "
http://mirslovarei.com/content_fil/vyvod-logicheskij-552.html

Так правильно?

Прим.
4-я строка содержит опечатку: "формул вида (А->В) и A следует формула В. " следует читать: формул вида (А->В) из A следует формула В.
Ирина Као
Ирина Као
12 786
Кинь монетку....
трудно!...
сделаешь ак тебе кажется или хочется, это будет правильным!

правды и лжи в сушности не сущеструет

Похожие вопросы