На множестве людей задан предикат<br />D(x,y),<br />что означает «x дружит с y - ком».<br />Какая из приведенных формул исчисления предикатов означает: «У Петра есть друг»? D(Петр, Иван), ∀x ∃y D(x,y), ∃x ∀y D(x,y), ∃y D(Петр,y)