Контрольная работа по теме «Логика»
|
| Контрольная работа по теме «Логика» Вариант 1. 1. Даны выражения: А={5>3}, B={3=3}, C={3<2}. Определите истинность составных высказываний: а) A => C&B, б) AvCvB Ø(A&B), в) CvB&A. 2. Составьте ложные высказывания, применив импликацию к высказываниям «В городе прекрасная погода» и «Самолеты будут летать». 3. С помощью простых суждений: А: «Я занимаюсь музыкой»; В: «Я люблю балет»; С: «Я буду танцором» составьте высказывания на естественном языке, соответствующие следующим формулам: а) С→(А & В); б) В→ (A v С); в) (А &В) →С ; г) (В→А) & (В→С) 4. Составьте логическое выражение по следующей схеме:    X    Y v & vZ Ø5. Составьте таблицу истинности для выражения:  6. Упростите выражение:  ABCvABCvABCvABCКонтрольная работа по теме «Логика» Вариант 2. 1. Даны выражения: А={7<3}, B={4=5}, C={2<3}. Определите истинность составных высказываний: а) A => C&B, б) AvCvB Ø(A&B), в) CvB&A. 2. Составьте истинные высказывания, применив эквиваленцию к высказываниям «В городе прекрасная погода» и «Самолеты будут летать». 3. С помощью простых суждений: А: «Я ловлю рыбу»; В: «Я радуюсь солнцу»; С: «У мня хорошее настроение» составьте высказывания на естественном языке, соответствующие следующим формулам: а) С→(А & В); б) В→ (A v С); в) (А &В) →С ; г) (В→А) & (В→С) 4. Составьте логическое выражение по следующей схеме: X Y & V &Z Ø5. Составьте таблицу истинности для выражения:  6. Упростите выражение: ABCvABCvABCvABC |
