Логіка криміналістичної версії

Чи брав А участь у вчиненні злочину? Розв'язок подайте у формалізованому вигляді.

Відповідь:

Формалізуємо умови завдання:

1) А ---> ВvС

2) С В

3) В ---> Е

4) В

При цьому у 1) та 3) тезах під В мається на увазі винність В, а у 2) та 4) тезах під В розуміється правдивість свідчень В.

З 3) і 4) маємо:

В ---> Е

-----------

Тобто В не є злочинцем.

З 2) і 4) маємо:

С В

В

-----

Тобто С – не є злочинцем.

З 1) маємо:

А ---> ВvС

----------

Тобто А не є злочинцем.

10. Побудуйте апагогічне доведення тези Т, спираючись на аргументи:

1)В ---> ; 2)СvТ; 3)А --->В; 4)ТvА.

Відповідь:

Апагогічне доведення — непряме доведення, в якому з антитези виводять наслідки, що явно суперечать дійсності або відомим істинним і достовірним положенням.