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

[ilinmihalich]

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



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

Спасибо!