Пусть логическое высказывание А(x) означает, что студент х в некоторой группе – юноша, В(х) – он отличник. Записать в виде формулы следующее высказывание: « В группе имеются ровно 2 отличника».
∃ x,y: (x≠y) ∧ (A(x)∧B(x)) ∧ (A(y)∧B(y)) ∧ (∀z: (z≠x)∧(z≠y)∧A(z) ⇒ ¬B(z))
т.е. найдутся два (различных; не помню, надо ли это уточнять) студента-отличника, и любой другой студент - не отличник