Irdoue
Si on aime un homme on est pd 
Or les femmes aiment les hommes
Donc les femmes sont des pd.
Ainsi les femmes sont des pd (acceptant le modus ponnens comme règle d'inférence et l’extensionnalité comme schéma d'axiome bien sûr
)
Or les femmes aiment les hommes
Donc les femmes sont des pd.
Ainsi les femmes sont des pd (acceptant le modus ponnens comme règle d'inférence et l’extensionnalité comme schéma d'axiome bien sûr
)