4. (20 pontos) Seja M(x) o predicado “x é mineiro(a)”, A(x) o predicado “x é aluno(a) da UFMG”, e C(x, y) o predicado “x conhece y”, onde o univers...

(a) A afirmação "Existe um mineiro que conhece ninguém que é aluno da UFMG" pode ser expressa utilizando quantificadores da seguinte forma: ∃x (M(x) ∧ ¬∃y (A(y) ∧ C(x, y))) Isso significa que existe pelo menos uma pessoa x que é mineira (M(x)) e não conhece ninguém y que seja aluno da UFMG (¬∃y (A(y) ∧ C(x, y))). (b) A afirmação "Maria conhece uma pessoa que não é mineira mas estuda na UFMG" pode ser expressa utilizando quantificadores da seguinte forma: ∃y (¬M(y) ∧ A(y) ∧ C("Maria", y)) Isso significa que existe pelo menos uma pessoa y que não é mineira (¬M(y)), é aluno da UFMG (A(y)) e Maria (representada por "Maria") conhece essa pessoa (C("Maria", y)).