名词解释

【参考答案】

指推理所使用的知识和推出的结论都是可以精确表示的,其真值要么为真、要么为假。