Примеры (предоставлены в учебных целях)
Учебные материалы: используйте как образец для написания работ самостоятельно
Библиотека

Контрольная точка 3. Логика высказываний (Вариант 18)

Дата: 2017-04-08 05:55:40 
Размер: 141.0 Кб 
Скачано: 0  раз

Контрольная работа по дисциплине «Логика»
Тема: Контрольная точка 3. Логика высказываний (Вариант 18)
Оригинальность - 87% (по системе antiplagiat.ru)
Объем - 9 страниц
Год защиты - 2016

1. Переведите на символический язык сложное суждение:

-Если слова на А занимают два тома Большой Советской Энциклопедии, то слова на С  четыре
-Политэкономия отражает реальные отношения людей и выражает интересы определенных слоев населения.
-Если президент рассчитывает на поддержку профсоюзов, то он подпишет данный закон. Если президент рассчитывает на поддержку бизнесменов, то он наложит на данный закон вето
-Когда другой ругает тебя часто, думай с состраданием, что этот человек невежа. Если думать о нем, что он лает, как старая собака, не расстроится душа.
- Если его можно назвать преступником, то неправда, будто над ним не состоялся суд и он не был на нем изобличен

2. Постройте таблицу истинности формулы:
¬(а ∨ в) → ¬ (с ∨¬ в);
(а ∧ в → а)

3. Установите, является ли выражение логическим законом?
((а ↔ в) ∧ (в ↔ с)) → (а ↔ с)

4. Равносильны ли между собой (и почему) следующие пары формул сложных суждений:
(а → (b → с)) и ((b ∨ с) → а)
¬ а ⊻ (а ∧ в) и а ↔ (а ∧ в)

5. К каким равносильным суждениям можно свести следующее сложное суждение? Обоснуйте ответ:
Если теория Дарвина является научной, то она может быть подтверждена опытными данными
 
Работает на: Amiro CMS