Контрольная точка зачтена при 8 баллах и выше.
8-12 баллов – «3»
13-16 баллов – «4»
17-20 баллов – «5»
Контрольная точка 3
Логика высказываний
Вариант 14
1. Переведите на символический язык сложное суждение (6 баллов):
-Так как вода жидкость, она передает давление во все стороны равномерно.
-Любопытство - не порок, но большое свинство.
-Лекция была краткой, и интерес к ней не угасал на всем ее протяжении
-Иль чума меня подцепит, иль мороз окостенит, иль мне в лоб шлагбаум влепит непроворный инвалид. (А.С.Пушкин).
-Будешь спокоен, если собственные поводья обмотаны вокруг своей головы. (Э.Х.Галшиев. Зерцало мудрости).
- Побеждающий людей – обладает силой. Побеждающий себя – становится сильным. (Лао Цзы. Дао-дэ цзин).
2. Постройте таблицу истинности формулы (2 балла):
а v ┐в ↔ ┐(в→а)
3. Установите, является ли выражение логическим законом (2 балла)?
а ∨ (в ∧ с) ↔ (а ∧ в) ∧ (а ∧ с);
4. Равносильны ли между собой (и почему) следующие пары формул сложных суждений (4 балла):
((в v ┐c) → ┐а) и (┐а→(┐в /\ ┐c))
(а Λ ┐в) v (┐а Λ в) и (а → в) → (в → а)
5. К каким равносильным сужденям можно свести следующее сложное суждение? Обоснуйте ответ (6 баллов):
Путь кометы есть эллипс, или парабола, или гипербола.
Контрольная точка зачтена при 8 баллах и выше.
8-12 баллов – «3»
13-16 баллов – «4»
17-20 баллов – «5»
Контрольная точка 3
Логика высказываний
Вариант 15
1. Переведите на символический язык сложное суждение (6 баллов):
-Всегда, когда хочу тебя навестить, тебя нет дома.
-Если сейчас день, то сейчас светло или холодно.
- Доказательство будет признано правильным тогда и только тогда, когда будут четко представлены тезис, аргументы и закономерная связь между ними.
-Если возгордишься мало-мальски научившись считать, станешь предметом насмешек мудрецов.
-Если гром не грянет, мужик не перекрестится.
-Ромб есть квадрат тогда и только тогда, когда его углы прямые.
2. Постройте таблицу истинности формулы (2 балла):
((a → b) /\ a→b);
3. Установите, является ли выражение логическим законом (2 балла)?
(a ∨ в) ↔ (в ∨ a);
4. Равносильны ли между собой (и почему) следующие пары формул сложных суждений (4 балла):
(a → (в → c)) и ((b v c) → a)
(а → в) → (в → а) и (а ↔ ┐в)
5. К каким равносильным сужденям можно свести следующее сложное суждение? Обоснуйте ответ (6 баллов):
Обычно такие действия разрешены или запрещены
Контрольная точка зачтена при 8 баллах и выше.
8-12 баллов – «3»
13-16 баллов – «4»
17-20 баллов – «5»
Контрольная точка 3
Логика высказываний
Вариант 16
1. Переведите на символический язык сложное суждение (6 баллов):
-Щелкни кобылу в нос, она махнет хвостом.
-Если сейчас светло и холодно, то сейчас день.
-Все судьи справедливы, но прокуроры не являются судьями, следовательно, прокуроры не являются справедливыми.
-Матерью можно стать тогда и только тогда, когда родишь или усыновишь ребенка.
-Если ты мудр, не старайся казаться мудрым всегда. Будет стыдно, коль не ответишь беспрепятственно на любой вопрос.
- Если и только если этот четырехугольник имеет равные стороны и прямые углы, то он квадрат.
2. Постройте таблицу истинности формулы(2 балла):
(а → а /\ в)
3. Установите, является ли выражение логическим законом (2 балла)?
(a /\ в) ↔ ┐(a → ┐b);
4. Равносильны ли между собой (и почему) следующие пары формул сложных суждений (4 балла):
((в v c) → a) и ((┐в /\ c) → ┐a)
┐(а Λ ┐в) и (┐а v в)
5. К каким равносильным сужденям можно свести следующее сложное суждение? Обоснуйте ответ (6 баллов):
Если воду кипятить, то она быстро испарится.
Контрольная точка зачтена при 8 баллах и выше.
8-12 баллов – «3»
13-16 баллов – «4»
17-20 баллов – «5»
Контрольная точка 3
Логика высказываний
Вариант 17
1. Переведите на символический язык сложное суждение (6 баллов):
-Если я буду молчать, я никогда не начну.
-Всякая философия есть или объективный идеализм, или субъективный идеализм, или материализм, или дуализм
-Если неверно, что сейчас светло, то неверно, что сейчас день.
-Неправда, что наше предприятие получает доход тогда и только тогда, когда не платит налоги или не вносит платежи
-Легко найдешь человека, который окажет тебе услугу, если будешь ценить тех, кто уже оказал ее. (Публилиус Сир, 42 г. до н.э.).
- Шли дожди, и проселочные дороги стали непроходимыми.
2. Постройте таблицу истинности формулы (2 балла):
(а → а ∨ в)
3. Установите, является ли выражение логическим законом (2 балла)?
(а → с) → ((а→в) ∧ (в→с));
4. Равносильны ли между собой (и почему) следующие пары формул сложных суждений(4 балла):
(a→ (b v c)) и (a→(b→ c))
(┐а v в) и ┐а v (а Λ в)
5. К каким равносильным суждениям можно свести следующее сложное суждение? Обоснуйте ответ (6 баллов):
Он и она пришли на свидание