hgr@lj занимается логикой:

интеллигентская логика

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

нуждается в дополнении формулой для интеллигентской логики.

идея такая (а формулу я давать не берусь):

если предикат А означает плохое (любое А плохо; логическое ударение на кванторе "любой"), то я ("мы", "интеллигенция") не обладаем А.

То есть для любого x [x принадлежит к множеству интеллигенции X] истинно, что ( для любого A, [ A дурно ] ==> ¬А(x) )

На самом деле это вообще выражение мировоззрения любой снобской компании. Интеллигент же обязательно ненавидит "быдло", причём не какое-нибудь, а именно "русское быдло" и приписывает ему все те пороки, которыми он сам якобы не обладает. "Быдло" - это как бы чёрный двойник, зеркало интеллигенции, носитель того зла, от которого она, интеллигенция, свободна.

Поэтому:

для любого x [x принадлежит к множеству интеллигенции X] для любого y [y принадлежит к множеству быдла Y] истинно, что
( для любого A, [ A дурно ] ==> A(y) & ¬А(x) )

) извините, что без кванторов: они не всегда отображаются (