屁眼儿 大佬有话说 :
有没有逻辑Logic大佬，如何用Predicate表示"Has exactly two" ?感谢
遇到一道题，查了一晚上没有答案，实在是没辙了，求大佬帮忙解答：
Suppose E is an equation and e(x) is the predicate "x is a solution to E".
Express entirely in symbols the statement "E has exactly two integer solutions."
要把上面的语句转换成类似这样的形式：
∃x∃y((x≠y∧P(x)∧P(y))∧∀z(P(z)→(z=x∨z=y)))