Задачи по логике

Задание 1.

 

1. Отрицание импликации

Если состав преступления отсутствует, то уголовное дело не может  быть заведено.

Логическая форма: p    q

p	q	p    q
и	и	и

Таблица истинности:

 

Вывод: импликация истинна, поскольку консеквент (q) является следствием антецедента (p).   

Не строгая дизъюнкция

Холодное оружие может  быть колющим или режущим.

Логическая форма: р v q

p	q	p v q
и	и	и

Таблица истинности:

 

Вывод: связка «или» в данном случае разделяет, поскольку отдельно существуют такие виды оружия, и соединяет, ибо есть оружие, одновременно и колющее, и режущее.

 

2. Эквивалентность

Возбуждается уголовное  дело, если и только если имеет место  состав преступления.

Логическая форма: p       q

p	q	p      q
и	и	и

Таблица истинности:

 

 

Вывод: если возбуждается уголовное  дело, то имеет место состав преступления, и если имеет место состав преступления, то возбуждают уголовное дело.

     

        Отрицание конъюкции

Вина обвиняемого не доказана и гражданин освобожден.

Логическая форма: p /\ q

p	q	p /\ q
и	и	и

Таблица истинности:

 

 

Вывод: поскольку вина не доказана гражданин освобождается от ответственности, следовательно, высказывание истинно.

 

3. Простые высказывания

Все граждане не являются представителями закона.

Некоторые граждане знают  уголовный кодекс.

Ни один судья не трудится добросовестно.

Вывод: 1 и 2 высказывание истинно, 3 ложно.

 

Задание 2.

 

Вида А: Все милиционеры являются представителями закона.

Вида О: Некоторые обвиняемые не являются виновными.

 

1. Превращение

Вида А: Ни один милиционер не является не представителем закона.

Вида О: Некоторые обвиняемые являются невиновными.

 

2. Обращение

Вида А: Некоторые представители  закона являются милиционерами.

Вида О: Частноотрицательные  суждения не обращаются.

 

3. Противопоставление предикату

Вида А: Ни один не представитель  закона не является милиционером.

Вида О: Некоторые невиновные являются обвиняемыми.

 

4. Умозаключение по логическому квадрату

Вида А: если истинно общеутвердительное суждение все милиционеры являются представителями закона, что тем более истинно частноутвердительное суждение некоторые милиционеры являются представителями закона, что ложно общеотрицательное суждение ни один милиционер не является представителем закона, что ложно частноотрицательное суждение некоторые милиционеры не являются представителями закона.

Вида О: если истинно частноотрицательное суждение некоторые обвиняемые не являются виновными, что тем более истинно некоторые обвиняемые являются виновными, что ложно  общеотрицательное суждение ни один обвиняемый не является виновным, что ложно общеутвердительное суждение все обвиняемые являются виновными.

 

Задание 3.

 

Эпихейрема:

Состояние аффекта (А) является смягчающим обстоятельством (С), поскольку  обвиняемый считается невменяемым (В).

Кратковременная психическая  неуравновешенность (D) это состояние аффекта (А), поскольку вызвано травмирующими переживаниями (Е).

Кратковременная психическая  неуравновешенность (D) является смягчающим обстоятельством (С), обвиняемый считается невменяемым (В).

 

Обоснование правильности:

Кратковременная психическая  неуравновешенность (D) вызвана травмирующими переживаниями (Е).

Невменяемость обвиняемого  (В) является смягчающим обстоятельством (С).

Состояние аффекта (А) кратковременная  психическая неуравновешенность (D).

Состояние аффекта (А) вызвано травмирующими переживаниями (Е).

Состояние аффекта (А) является смягчающим обстоятельством (С).

В состоянии аффекта (А) обвиняемый считается невменяемым (В).