змінних у формулах засновків трапляється змінна В (3 рази).
В – припущення.
1.з пункту в) маємо висновок ––А;
2.з пункту а) та (1)маємо висновок В;
3. з пункту г) маємо висновок --––С
відносно Д і Е категоричного висновку зробити не можна.
9. Чи правильне доведення „Версію можна вважати доведеною на підставі аргументів”:
а)
б)
в)
г)
Відповідь.
Проведемо перетворення кожного засновку до форми елементарної диз’юнкції.
а)
б)
в)
г)
застосовуючи закон виявлення до б) та в
отримуємо
1.
2. (закон виявлення б) і в), поглинає г))
Застосовуючи закон виявлення до 1 та 2 маємо
Отже ми отримали неоднозначний висновок. Тому версію не можна вважати доведеною за таких аргументів.
10. Побудуйте спростування версії А, користуючись аргументами:
а)
б)
в)
г)
Відповідь.
Припускаємо істинність версії А.
Усунення імплікації в б) дає
1. або В, С.
Усунення кон’юнкції в г) дає
2.
Усунення імплікації в в) дає
3.
З врахуванням 2. отримуємо - це суперечить 1. так як одночасно отримуємо висновок С і . Приходимо до суперечності наслідків.
Література
Анушат Э. Искусство раскрытия преступлений и законы логики К . 1997
Брюшинкин В.Н. Практический курс логики для гуманитариев М . 1996.
Гвоздик О.И. Логика. К., 1994.
Гвоздік О.І. Логічні числення: принципи побудови та застосування в юриспруденції. - К., 2003.
Жеребкін В.Є. Логіка. - Х.-К., 1998.
Жоль К.К, Логика. - М. 2004.
Івін О.А. Логіка. - К., 1996.
Карамишева Н.В. Логіка. Підручник для студентів -правників Львів. 2000
Кириллов В.И., Старченко А.А. Логика. М., 2004
Конверський А.Є. Логіка. - К., 2001.
Малахов В.П. Логика для юристов - М., 2002
Тофтул М.Г Логіка. - К . 2003.
Хоменко І.3. Логіка для юристів. - К.. 2001.