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

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

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

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

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

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