Математическая логика и теория алгоритмов
 

Некоторые ответы неверны, мне на 4 хватило)

здесь нет ошибок, всё на 5

большое спосибо

кто дошел до "КОНТРОЛЬНОЕ ЗАДАНИЕ" ? что там?
есть решения?

Помогите с заданиями!
1.Формализовать следующее высказывание:
чтобы треугольники были подобны, необходимо и достаточно, чтобы их углы были равны.



2.Проверить корректность рассуждений:
Я пойду или в кино, на новую кинокомедию, или на занятия по логике. Если я пойду в кино, то я от всей души посмеюсь. Если я пойду на занятия по логике, то испытаю большое удовольствие от следования по путям логических рассуждений. Следовательно, или я от всей души посмеюсь, или испытаю большое удовольствие от следования по путям логических рассуждений.

Спасибо!

Народ подскажите что там в контрольном задание?

Совокупность вопросов из 3х модулей, так же как и в Итоговом тестировании

не могли бы вы мне помочь сделать это задание??Доказать, что для любой формулы существует эквивалентная ей формула с тесными отрицаниями, т.е. формула, в которой нет символа → и отрицания относятся только к пропозициональным переменным.