Сторінка
5
-----------
Тобто В не є злочинцем.
З 2) і 4) маємо:
С В
В
-----
Тобто С – не є злочинцем.
З 1) маємо:
А ---> ВvС
----------
Тобто А не є злочинцем.
10. Побудуйте апагогічне доведення тези Т, спираючись на аргументи:
1)В ---> ; 2)СvТ; 3)А --->В; 4)ТvА.
Відповідь:
Апагогічне доведення — непряме доведення, в якому з антитези виводять наслідки, що явно суперечать дійсності або відомим істинним і достовірним положенням.
Припустимо невірність тези Т, тобто .
Тоді з 4) аргументу маємо:
ТvА
--------
А
Тобто А – істинне.
З 3) аргументу маємо:
А --->В
А
---------
В
Тобто В – істинне.
З 2) аргументу маємо:
СvТ
-------
С
Тобто С – істинне.
Тоді з 1) аргументу маємо:
В --->
В
С
-------------
Тут ми отримали протиріччя: якщо В – істинне і 1) аргумент – істинний, то С – хибне.
Якщо С – істинне і 1) аргумент – істинний, то В – хибне.
Тобто одночасно істинними В і С бути не можуть, а це, у свою чергу, протирічить висновкам з аргументів 2), 3) і 4).
Значить, наше припущення про невірність тези Т є невірним і теза Т є істинною.
Список використаної літератури
1. Жеребкін В.Є. Логіка. – Харків-Київ, 1999.
2. Кириллов В.Й., Старченко А.А. Логика. М., 1995.
3. Конверський А.Є. Логіка. К., 1998.
4. Солодухин С.А. Логика для юристов. М., 1998.
5. Тофтул М.Г. Логіка. – К., 1999.
6. Хоменко І.В. Логіка-юристам. К., 1997.