Правило вывода – это предписание, или разрешение позволяющее из суждения 1-ой логической структуры, как посылок, вывести суждения некоторой логической структуры, как заключения.
Особенности правил заключения в том, что признаки истинности заключения производятся на основе не содержания, а их структуры. Правила вывода записываются в виде схемы, которая состоит из 2-ух частей (сверху и снизу), разделённых вертикальной линией. Над чертой в столбец записываются логические схемы посылок, под чертой логические схемы заключения.
Все правила выводов логики высказываний делятся на 2-е группы:
Основные и Производные.
- Основные – это простые и очевидные правила, не нуждающееся в доказательстве. Основные делятся на прямые и косвенные.
- Прямые – это такие правила, которые указывают на непосредственно выводимость одних суждений из других.
- Косвенные – лишь дают возможность умозаключить о правомерности вывода одних суждений из других.
- Производные - сокращённый процесс вывода, выводятся из основных.
Непосредственно формулы Вы найдете в документе формата word, который Вы можете скачать. Мы вынуждены пойти на это, поскольку HTML-документ не поддерживает необходимые для формул символы. Приносим свои извинения
Поможем написать любую работу на аналогичную тему