Je m'attendais à la fin

C'est vrai que c'est un peu ça la logique des prédicats, sauf la fin. La chute est est basée sur une erreur d'utilisation de la logique des prédicats.
Si je me trompe pas, on a cette suite d'implications :
((Niche => Enfants) => Femme) => hétéro
Ceux qui sont étudiants en sciences (MISMSI) on la possibilité d'avoir une introduction à la logique des prédicats en L1, ils me corrigeront :
On apprend, dans cette UE, que si Niche est faux alors on ne peut pas savoir si Enfants est vrai ou pas. Donc la suite de l'équation est indécise. On ne peut pas conclure.
Cette équation dit seulement que si Niche est vrai, alors la personne est hétéro. Elle ne dit pas ce qu'il en est quand Niche est faux.
Mais c'est un peu loin tout ça, surtout que j'étais pas très fort dans cette matière. D'autres me corrigeront sans doute.