Г. И. Рузавин логика и аргументация



страница22/54
Дата10.05.2018
Размер3.9 Mb.
1   ...   18   19   20   21   22   23   24   25   ...   54
Правило конъюнкции (). Допустим, что на одной строке таблицы мы имеем список формул: Г, А В, Δ, где Г – последовательность формул, предшествующих конъюнкции, а д – последовательность формул, следующая за ней. Поскольку из истинности конъюнкции можно сделать вывод об истинности каждого ее члена, то всюду, где она встречается, вместо истинной конъюнкции можно переходить к ее членам. В результате можно перейти от некоторой строки п к строке п + 1, оставляя при этом остальные списки неизменными:
Г, А  В, Δ

Г, А, В, Δ



Правило дизъюнкции () разрешает перейти от строки, в которой встречается она, к другой, где вместо дизъюнкции встречаются два списка, в одном из которых находится один дизъюнктивный член, во втором – другой:

Г, АВ, Δ

Г, А Δ | Г,B

Это правило основывается на том, что дизъюнкция является истинной, если по крайней мере один из ее членов истинен, а поэтому при переходе от одной строки к другой мы получаем два списка, отделенных вертикальной чертой, в одном из которых встречается один член, во втором – другой.

Правило импликации (→) разрешает переходить от строки, где она встречается, к другой, в которой встречаются два списка формул, в одной из них содержится отрицание антецедента, в другой – консеквент импликации:

Г, А → В, Δ

Г, ¬ А, Δ | Г, В, Δ

Действительно, импликация будет истинна, если ложен ее антецедент или истинен консеквент, что и представлено в заключении вывода.




Каталог: sites -> default -> files
files -> Валявский Андрей Как понять ребенка
files -> Народная художественная культура. Профиль Теория и история народной художественной культуры
files -> Отчет о научно-исследовательской работе за 2014 год ростов-на-Дону 2014
files -> Учебно-методический комплекс дисциплины философия для образовательной программы по направлениям юридического факультета: Курс 1
files -> Цветков Андрей Владимирович, кандидат психологических наук, доцент кафедры клинической психологии программа
files -> Программа итогового (государственного) комплексного междисциплинарного экзамена по направлению 521000 (030300. 62) «Психология»


Поделитесь с Вашими друзьями:
1   ...   18   19   20   21   22   23   24   25   ...   54


База данных защищена авторским правом ©znate.ru 2019
обратиться к администрации

    Главная страница