Просмотр содержимого документа
«Самостоятельная работа по теме: "Логика высказываний".»
Самостоятельная работа 1 вариант
1. Алгебра логика – это
Наука о формах и способах мышления;
Наука об устройстве компьютера;
Наука об операциях над высказываниями.
2. Основателем математической логики был …
Аристотель 2) Лейбниц 3)Дж. Буль
3. Заполните таблицу
| Название | Обозначение | Союз | ТИ |
Конъюнкция | | | | |
Эквиваленция | | | | |
Инверсия | | | | |
4. Даны высказывания:
А={купить конфет} и C={купить яблок}.
Составьте выражения для следующих высказываний:
1. Купить конфет и яблок
2. Если купите конфеты, то яблок покупать не надо.
3. Купить яблок или не покупать конфет.
4. Яблоки купите тогда и только тогда, когда не купите конфет.
5. Найдите значение выражений:
a) (1 V 0) V (¬1 & 1)
б) ( 0 V 1&0 V (¬0&1) ) & 1
Самостоятельная работа 2 вариант
1. Логика – это
Наука о формах и способах мышления;
Наука об устройстве компьютера;
Наука об операциях над высказываниями.
2. Основателем алгебры логики (алгебры высказываний) был …
1) Аристотель 2) Лейбниц 3)Дж. Буль
3. Заполните таблицу
| Название | Обозначение | Союз | ТИ |
Дизъюнкция | | | | |
Импликация | | | | |
Инверсия | | | | |
4. Даны высказывания:
А={Сделал Вася} и C={Сделал Миша}.
Составьте выражения для следующих высказываний:
1. Это делал Вася или Миша
2. Если этого не делал Миша, то это сделал Вася.
3. Это сделал Вася или не делал Миша.
4. Миша это сделал тогда и только тогда, когда не делал Вася.
5. Найдите значение выражений:
(1 & 1) & (¬1 V 0)
((1 & 0) & (¬0 & 1)) V (1 & 0 V 0)