The achievement of simulation of actual state of affair was constrained by the pragmatic factors. Negation was not the opposite inference of the propositional contents within the negation scope.
实现对否定句的实际状态模拟是受到语用条件的限制的，否定并不是对否定辖域命题内容的反向推理。
2
Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization.
详细说明：命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。
3
Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization.