下面我们学习本章最终一个知识点:
1、命题符号化 2、合式公式3、永真公式4、范式5、推理理论
5、推理理论
2.5 推理理论
一、推理含义
在一阶逻辑中,从前提 A1, A2, …, An 出发推结论 B 推理形式结构,依然采取以下蕴含式形式:
若上式为永真式,则称推理正确;不然称推理不正确。
二、推理定律
在一阶逻辑中,称永真蕴含式为推理定律。若一个推理形式结构恰好是某条推理定律,则这个推理显然是正确。 有哪些推理定律呢?
|
楼主: 打了个飞的
|
95
0
[课件与资料] 离散数学06省公开课一等奖全国示范课微课金奖PPT课件 |
|
已卖:7439份资源 院士 98%
-
|
| ||
|
|
扫码京ICP备16021002号-2 京B2-20170662号
京公网安备 11010802022788号
论坛法律顾问:王进律师
知识产权保护声明
免责及隐私声明


