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

Логика высказываний
Вариант 9
1. Переведите на символический язык исчисления высказываний сложное суждение (6 баллов)
1) Чем дальше в лес, тем больше дров.
2) Каждый из нас знает книгу или хотя бы имя Альфреда Брема.
3) Я не трус, но я боюсь
4) Живое существо является человеком тогда и только тогда, когда оно обладает сознанием.
5) Если научился знаниям в полной мере, не скрывай их от жаждущих научиться. Иначе знания потухнут без пользы, подобно горению светильника, заключенного в кувшин.
6) Если поставить ртутно-амальгамовую пломбу, то токсические материалы будут поступать в организм, а через некоторое время будут проблемы с почками.
2.Формализуйте высказывание языком логики предикатов, обозначив каждый член высказывания определенным символом (1 балл).
Только (∀) профессиональный судья (S) не действует по шаблону (P).

3. Постройте таблицу истинности формулы (2 балла):
(a→b)&(¬b→¬a)
4. Установите, является ли выражение логическим законом (2 балла):
¬(a˅b)↔(a&b)˅(¬a&¬b)
5. Равносильны ли между собой (и почему) формулы сложных суждений (4 балла):
((a˅b)→¬a)→b и ((a˅b)→¬b)→a
6. К каким равносильным суждениям можно свести следующее сложное суждение? Обоснуйте ответ (5 баллов):
Путь кометы есть эллипсис, или парабола.

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

1. Гетманова А.Д. Логика: учебник для вузов / А. Д. Гетманова. – 16-е изд., стер. – М.: Омега-Л, 2011. – 415 с.
2. Демидов И.В. Логика: учебник / И. В. Демидов. – 5-е изд., испр. – М.: Дашков и К, 2009. – 347 с.
3. Ивин А.А. Логика и теория аргументации: Элементарный курс: учебное пособие для вузов / А. А. Ивин. – М.: Гардарики, 2007.