Question 1:
Oui, d'après l'interprétation, on peut affirmer ceci:
I(∃aEnfant.⊤) = {a, b, c}
Question 2:
"Seul le concept universel est permis avec le quantificateur existentiel" . Ça, c'est seulement dans la logique simple AL, qu'on n'utilise pratiquement jamais. Il est donc vrai que si on se limite à cette famille, on ne peut pas écrire ceci: ∃aEnfant.Femme
Dans la logique ALE, présentée plus loin dans le texte, cette contrainte n'existe pas. C'est donc dans cette logique qu'il faut comprendre l'exemple de définition de Carnivore que nous avons discuté en classe.