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

(1) якщо до злочину причетний А, то його співучасником міг бути В або С (або вони обидва);

(2) версія про участь підозрюваного С та справедливість свідчень В несумісні (хоча можуть виявитися одночасно хибними);

(3) якщо В - злочинець, то свідок Е дав, правдиві свідчення;

(4) доведено правдивість свідчень В та хибність свідчень Е.

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

Відповідь:

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

1) А ---> ВvС

2) С В

3) В ---> Е

4) В

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

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

В ---> Е

-----------

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

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

С В

В

-----

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

З 1) маємо:

А ---> ВvС