Проблемы с математической логикой.

[Neonn1k]

Проблемы с математической логикой.

Получил семестровые по мат. логике. 2 курс физмат.
Задания звучат так:

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

И сами задачи на картинке(Вариант 13).

P.S. Если можете с объяснением. Буду очень признателен. Просто в мат. логике дуб дубом одним словом.

 

[Neonn1k]

Никто не откликнется?

 

[Weles]

Я посмотрел свои задания, но у меня не такие, и делала мне их одна знакомая Если интересует могу скинуть методички, по логике и дискретной математике там много подобного написано и описано как делать

 

[Neonn1k]

Дык давай, Хоть что-то.Буду непременно благодарен)

 

[Weles]

Скачать ML_dlja_studenta.rar с OpenFile.ruДержи, если что они в формате презентаций паверпойнта(2007)

 

[Neonn1k]

Спасибо, посмотрю... Может, с помощью ктулху и сам сделаю.