将自然语言翻译成逻辑表达式 在n与2n之间存在素数( Tschebyscheff定理 口Vn(N(n)→>彐x(N(x)∧(x>n)入(x≤2m)∧ vy(y|x→(y=vy=x) 定义:N(x)x是正整数; y|x:y整除x 练习:“不存在最大的素数。将自然语言翻译成逻辑表达式  n(N(n) → x(N(x)(xn)  (x2n)  y(y|x →(y=1y=x)))) 定义: N(x): x 是正整数； y|x: y 整除 x 练习: “不存在最大的素数。” 在 n 与 2n 之间存在素数 (Tschebyscheff定理):