1) action of proof
证明活动
1.
The author was pointing out, the judgment reasoning has logicality, realistic sense, and it is an action of proof, it s subject is an judge.
判决推理的主体限于法官,它是法官围绕判决活动而进行的逻辑思维活动,是一种实践推理,是一种寻求判决理由正当性与合理性的证明活动。
2) automated reasoning
自动证明
1.
Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.
子句集的可满足性判定是自动证明领域的热点之一。
2.
This paper presented an automated reasoning algorithm for natural deduction system(NR)of relevance propositio-nal logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
3) inventive activity
发明活动
补充资料：纳税人与外县从事生产、经营活动申请填开税收征管证明的权利
纳税人与外县从事生产、经营活动申请填开税收征管证明的权利 ：从事生产、经营的纳税人到外县（市）临时从事生产、经营活动的，应当持税务登记证副本和所在地税务机关填开的外出经营活动税收管理证明，向营业地税务机关报验登记，接受税务管理。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条