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

Припустимо невірність тези Т, тобто .

Тоді з 4) аргументу маємо:

ТvА

--------

А

Тобто А – істинне.

З 3) аргументу маємо:

А --->В

А

---------

В

Тобто В – істинне.

З 2) аргументу маємо:

СvТ

-------

С

Тобто С – істинне.

Тоді з 1) аргументу маємо:

В --->

В

С

-------------

Тут ми отримали протиріччя: якщо В – істинне і 1) аргумент – істинний, то С – хибне.

Якщо С – істинне і 1) аргумент – істинний, то В – хибне.

Тобто одночасно істинними В і С бути не можуть, а це, у свою чергу, протирічить висновкам з аргументів 2), 3) і 4).