离散数学命题逻辑1.6省公开课一等奖全国示范课微课金奖PPT课件

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

1.6 命题逻辑推理理论
推理形式结构判断推理是否正确方法推理定律与推理规则结构证实法
推理形式结构—问题引入
推理举例:  (1) 正项级数收敛当且仅当部分和有上界.  (2) 若ACBD，则AB且CD.推理: 从前提出发推出结论思维过程上面(1)是正确推理，而(2)是错误推理. 证实: 描述推理正确过程.
推理形式结构
定义 若对于每组赋值，或者A1A2… Ak 均为假，或者当A1A2…Ak为真时, B也为真, 则称由A1,A2, …, Ak推B推理正确, 不然推理不正确（错误）.“A1, A2, …, Ak 推B” 推理正确        当且仅当  A1A2…AkB为重言式.推理形式结构: A1A2…AkB  或   前提： A1, A2, … , Ak   结论： B 若推理正确，则记作：A1A2…AkB.

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：ppt课件 离散数学 一等奖 公开课 ppt

相关内容：离散数学课件ppt