那我就举个例子吧,$表示任意
证明推理"所有的自然数均是实数,3是自然数,因此,3是实数".正确.
解:设N(x):x是自然数,R(x):x是实数,
则  $x(N(x)→R(x),N(3)=>R(3)
⑴$x(N(x)→R(x)
⑶⑵N(3)→R(3)
⑶N(3)
⑷R(3)
我解释一下好了:
第一步和第三步你应该知道,是前提引入
第二步是用了UI规则了,你要问为什么要用这个,那你可以这样来想想,对所有的自然数都符合,那么3不就更可以了,是不是呀
第四步用了假言推理了
总的说:你首先要明确公式的条件
然后你要会运用它,你看我那个例子,是个很简单的,但它能说明很多问题
你想,这个问题是有任意到存在,
那么肯定要消去规则了,我这样来说,也好帮你记住公式

谢谢你，
基本上理解了，问题在于和为加标变元，为何加标变元不能用全称量词引入规则？

本人数学知识不好，在学习数理逻辑中都使用自然人语言作例子，有时很烦。