1）把整个推导过程看成是一个配对过程，而不是证明或推理过程，配对规则就是9个基本有效形式；每一步...
1、懂形式 logic 逻辑 =有效 l (>无效名称=o=专名< g 虚 ) 实 i 类名 c 有效名称；2、以...
三段论就是一种形式系统。在一个形式系统中，规定了几个推演规则，只要出发点是对的（称为定理），推演...