Hi
Question 1:
For exercise 3.1 in document Logic Descriptive how we infer GrandParentChoyé : {a, d, e, f, g},for expression :
GrandParentChoyé ≡ ∀aEnfant.(∃aEnfant.⊤)
can we say (∃aEnfant.⊤) ≡ {a, b, c} because before we use it for:
Parent ≡ ∃aEnfant.⊤?
Question 2:
Base on this article we have: Seul le concept universel est permis avec le quantificateur existentiel
Par exemple, on ne peut pas définir la classe des individus qui ont au moins une fille, qui exigerait un énoncée de la forme suivante :∃aEnfant.Femme
but as remember in class we reach to:
Carnivore ≡ humman ⊓ ∃Mange.Viande
Is it correct?
Thanks