摘要
命题逻辑是数理逻辑的重要组成部分,它的应用很广泛.文章通过案件审理、人事和电路设计等方面的实例分析了怎样利用命题逻辑的演绎推理来解决日常生活中的一些问题.
Prepositional logic is an important constituent in mathematical logic. It has been applied widely. This paper shows how to resolve some problems in everyday life by deductive inference of prepositional logic with examples regarding case trials, matters concerning personnel and circuit designs.
出处
《襄樊学院学报》
2007年第11期13-16,共4页
Journal of Xiangfan University
关键词
命题逻辑
演绎推理
案件审理
电路设计
Prepositional logic
Deductive inference
Case trials
Circuit designs