Типовые с решениями / Типовой расчёт 2

МОСКОВСКИЙ ЭНЕРГЕТИЧЕСКИЙ ИНСТИТУТ

(ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ)

Дискретная математика.

Типовой расчёт № 2.

Задача Б5.

Выполнил:

студент группы А-13-08

кафедры ПМ

Захаров Антон

Преподаватель:

Вагин Вадим Николаевич

Москва, 2010 г.

Все первокурсники встречаются со всеми второкурсниками. Ни один первокурсник не встречается ни с одним студентом предпоследнего курса. Существуют первокурсники. Следовательно, ни один второкурсник не является студентом предпоследнего курса.

Доказательство.

аксиома 12 + теорема дедукции

аксиома 12 + теорема дедукции

MP (1, 3)

MP (2, 3)

аксиома 12

MP (4, 6)

переименование

аксиома 12

MP (5, 9)

переименование

аксиома 9

MP (11, 12)

аксиома 10

силлогизм (13, 14)

силлогизм (8, 15)

переименование

Gen’