假设命题函数P(x)的论域为{1,2,3},使用析取、合取、否定而不用量词表达下列语句句:∀x((x≠1)→P(x))∃x¬P(x)

对于论域中的任意元素x，如果x不等于1，则P(x)成立，或者存在一个元素x，使得P(x)不成立。

析取：(P(1)或P(2)或P(3))或(¬P(1)且¬P(2)且¬P(3))
合取：(P(1)且(¬P(2)→P(2))且(¬P(3)→P(3)))或(¬P(1)且¬P(2)且¬P(3))
否定：不是对于论域中的任意元素x，如果x不等于1，则P(x)成立，且不存在一个元素x，使得P(x)不成立。