If I would like to translate the English sentence below into a predicate logic formula
"The parents of a green dragon are green"
Using predicates dragon, childOf and green, how would I go about this?
I understand that it may help to work the sentence into something that looks like logic, but I am getting stuck at how to represent "parents" as it is not a predicate.
Do either of these translations help me? Are they correct interpretations of the original sentence?
If a dragon is the child of green parents then it is green. All dragons who are children of green parents are green.
∀(X) . dragon(X) ∧ childOf(X) ...?
please help. thank you in advance