yandex rtb 1
ГоловнаЗворотній зв'язок
yande share

Дискретная математика

3.6 Аргументы

 

Под аргументом будем понимать утверждение того, что  некоторое высказывание (заключение) следует из других высказываний (посылок).

Одной из задач логики является проверка  правильности  аргументов.

Аргумент называется правильным, если конъюнкция посылок связана с заключением отношением "следует".

A /\ B /\ C ... "следует" D ,

где A, B, C -  посылки (составные высказывания);

D -  заключение (составное высказывание).

Практически проверка правильности аргумента выполняется следующим образом: построить таблицы истинности для каждой посылки и заключения; для правильного аргумента  каждой  строке  истинности посылок(строка, в которой  каждая  посылка  имеет  значение  "1") должна соответствовать истинность заключения.

Примечание: если набор посылок таков, что нет ни одной строки, в которой все посылки истинны, то аргумент с  любым  заключением будет неправильным.

 

 

 

18