Question $7$

$0\mathrm{.}25pts$

What is an appropriate translation of the following sentence in logic, assuming obvious semantics for predicates and variables.

AAx,$y,$I SpeaksLanguage $(x,I{)}^{{?}^{?}}$ SpeaksLanguage $(y,I)=>$ Understands $(x,y{)}^{{?}^{?}}$ Understands $(y,x)$

People who understand each other if and only if they speak same language

People who speak same language understand each other

No matter what, people do not understand each other

People who understand each other speaks same language