Complete the following exercises about logical sentences: 1. Translate into *good, natural* English (no xs or ys!): ∀x,y,lSpeaksLanguage(x,l)∧SpeaksLanguage(y,l)⟹Understands(x,y)∧Understands(y,x)....

Complete the following exercises about logical sentences:
1. Translate into *good, natural* English (no xs or ys!):

∀x,y,lSpeaksLanguage(x,l)∧SpeaksLanguage(y,l)⟹Understands(x,y)∧Understands(y,x).

1. Explain why this sentence is entailed by the sentence

∀x,y,lSpeaksLanguage(x,l)∧SpeaksLanguage(y,l)⟹Understands(x,y).

1. Translate into first-order logic the following sentences:
   1. Understanding leads to friendship.
   2. Friendship is transitive.
   Remember to define all predicates, functions, and constants you use