ЗАДАНИЯ ДЛЯ ДОМАШНЕЙ КОНТРОЛЬНОЙ РАБОТЫ. Вариант 7
Предмет
Математическая логика
Тип работы
контрольная работа
Объем работы
2
Дата поступления
12.12.2012
1300 ₽
Содержание
1. Построить таблицу истинности для формулы логики высказываний.
2. Следующие суждение преобразовать и представить в виде формулы
логики высказываний:
Если Иван не придёт, а Марья придёт, то Дарья придёт. Но Иван не пришёл, и Дарья не пришла. Следовательно, Марья тоже не пришла