Получил семестровые по мат. логике. 2 курс физмат.
Задания звучат так:
Цитата:
1. Раздел «Логика высказываний»
Задание
1. Установить, является ли данная формула тожде-ственно-истинной.
2. Данное высказывание записать в виде формулы логики высказываний. Построить отрицание дан-ного высказывания в виде формулы, не содержа-щей внешних знаков отрицания. Перевести на ес-тественный язык.
3. Установить, является ли данное рассуждение правильным, (проверить, следует ли заключение из конъюнкции посылок).
|
И сами задачи на картинке(Вариант 13).
P.S. Если можете с объяснением. Буду очень признателен. Просто в мат. логике дуб дубом одним словом.