Контрольная работа по теме «Логика»
| Вид материала | Контрольная работа |
- Контрольная работа по дисциплине «Макроэкономика 2» выполняется студентом на основе, 303.53kb.
- Контрольная работа является результатом самостоятельного труда студента по выбранной, 770.92kb.
- Контрольная работа по информатике для студентов 1 курса Контрольная работа включает, 145.11kb.
- Пьянкова Андрея Николаевича по теме: «Выездные налоговые проверки» Уважаемые члены, 39.77kb.
- Контрольная работа была проведена в 10-м классе по теме «Русь во второй половине, 42.58kb.
- Контрольная работа №6 по курсу «Логика», тема: типы умозаключений, правильность умозаключений, 22.14kb.
- Контрольная работа №1 по теме «Числовые функции», 195.87kb.
- Контрольная работа по предмету «Логика», 57.32kb.
- Тема зачёта, 26.51kb.
- Программа курса и темы практических занятий; Логика в таблицах и схемах. Логика как, 1722.34kb.
Контрольная работа по теме «Логика»
Вариант 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