1. Tous les grecs sont des a. menteurs, b. marins, c. parlent grec,
.....
2. Socrate est grec
3. donc Socrate est un a, b, c, ....

Cette invention d'Aristote est facile à programmer en orienté objet:


Tous les grecs désigne un ensemble ou CLASSE avec une propriété
d'appartenance:
Pour faire partie de cet ensemble, il faut être grec.
a. menteurs, b. marins, c. parlent grec, ..... sont d'autres
propriétés de tous les éléments de cette classe. Ces propriétés
sont soit VRAI soit FAUX


Au point 2 je décrit un OBJET dont je vérifie qu'il appartient bien
à l'ensemble.
Socrate est grec, il fait bien partie de l'ensemble ou classe des
grecs.


Au point trois il HERITE des propriétés de la classe
FAUX implique FAUX
VRAI implique VRAI