Transform the following sentences into predicate formulas with using the same ontology.
1) Only two students took both French and Greek in spring 2016.
2) All Germans speak at least two languages.
1. Only two students took French and Greek in Spring 2001
Answer:
∃x student(x) ᴧ take( x, F, G, spring 2001) ᴧ ∀y y # x ⇒ ¬take(y,F,G,spring2001)
Details:
Take domain as people property to differentiate people, ie, student(x).
∃ represents universal quantifier
ᴧ represents conjunction and
take(x, F, G, spring2001) represents student x take French, Greek in spring 2001
2. All Germans speak at least two languages.
Answer:
∀x, y, l German(x) ᴧ Germany(y) ᴧ speaks( x, l) ⇒ speaks (y , l)
Details:
∀x, y German(x) , German (y) represents for all German (x) and German(y) . ∀ is universal quantifier. ᴧ represents conjunction and . ⇒ represents connectives.
Get Answers For Free
Most questions answered within 1 hours.