Контрольная работа по предмету Логика на тему: Контрольная по логике

Логика высказываний
Вариант 24
1. Переведите на символический язык исчисления высказываний сложное суждение (6 баллов)
1) Гражданину РФ начисляется пенсия по возрасту, если он достиг пенсионного возраста и имеет необходимый стаж работы.

2) Признание обвиняемым своей вины может быть положено в основу обвинения лишь при подтверждении признания совокупностью имеющихся в деле доказательств (ст. 14 УПК РФ).
3) Дверь потерпевшей была заперта изнутри на ключ и на цепочку.
4) Д. совершил преступление или один или с соучастником.
5) Каждый обязан охранять природу и окружающую среду, бережно относится к природным богатствам.

6) Если по городу машина проехала еще более или менее прилично, и нам лишь приходилось со стыдом отворачиваться от испуганных взглядов прохожих, то на серпантине проселочной дороги она показала все свои таланты. Грузовик трясло так, словно неведомая центробежная сила рвала его на мелкие части. На поворотах его заносило сильно вбок, и вся наша ватага отскакивала теннисным мячиком от одного борта кузова к другому. (Н. Абгарян).
7) 2.Формализуйте высказывание языком логики предикатов, обозначив каждый член высказывания определенным символом (1 балл).
8) Новый уголовный кодекс (S) смягчает наказания (P).
9) 3. Постройте таблицу истинности формулы (2 балла):
10) (a&b)˅(¬a&b)→(¬a&¬b)
11) 4. Установите, является ли выражение логическим законом (2 балла):
12) (((a→b)&(a→c))&a)→(b˅c)
13) 5. Равносильны ли между собой (и почему) формулы сложных суждений (4 балла) :
14) (b&c) и ¬(b→¬c)
15) 6. К какому равносильному суждению можно свести следующее сложное суждение? Обоснуйте ответ (5 баллов):
16) Шли дожди (p), и проселочные дороги стали непроходимыми (q).

Список литературы

1. Кириллов В.И. Логика: учебник для юридических вузов / В.И. Кирилов, А.А. Старченко. – М.: Проспект, 2012.
2. Ивлев Ю. В. Логика для юристов. – М., 2008.