Le professeur démontre les lois de Morgan appliquée à la logique. Soit deux ensembles A et B,
A = (x  E, P(x)) et B = = (x  E, Q(x)). Pour tout X appartenant à E P(x) ou Q(x)) équivaut à A union B égal E donc A union B (barre) égal à l’ensemble vide. La négation de cette dernière égalité est A union B (barre) sera différent de l’ensemble vide.