Если [P==>Q], [Q приятно], то Р.
http://www.livejournal.com/users/hgr/755685.html
нуждается в дополнении формулой для интеллигентской логики.
идея такая (а формулу я давать не берусь):
если предикат А означает плохое (любое А плохо; логическое ударение на кванторе "любой"), то я ("мы", "интеллигенция") не обладаем А.
