Интересная задачка по логике

[the_0ne]

Привет всем!
Какой замечательный форум я нашел на ночь глядя) Видимо я тут останусь.
И первая моя тема будет о попытке моего преподавателя по логике высказываний приколоться надо мной.
Он задал мне задачку. Ему надо чтобы я составил логическое высказывание, вывод из которого состоит в том что он (препод) должен поставить мне зачет.
Предпочитает клаузу с доказательством. И если с формализацией и доказательством я еще хоть как-то справлюсь, то с фантазией у меня совсем туго.
Не люблю логику, но раз в программе есть - надо делать.
быть может местная общественность будет столь любезна и поможет мне в выполнении этого задания?
Для тех кто живет в Уфе, Челябинске, Екатеринбурге, в Москве или Новосибирске - с меня тортик за помощь))) ну или эквивалент в жидкой валюте по желанию)

[Леонид]

Почему бы не что-нибудь простенькое, вроде: Если 2х2=4, то он должен поставить зачет.

[Harry]

Почему бы не что-нибудь простенькое, вроде: Если 2х2=4, то он должен поставить зачет.

Если он честный человек, то должен поставить зачет

[CD_Eater]

1) Если человек смог выиграть спор с преподавателем, то он заслуживает зачёта
2) Поспорьте с преподом о том, что вы зачёт не получите.