离散数学笔记(2)——命题逻辑

Front Page 论坛 学术论坛 离散数学笔记(2)——命题逻辑

标签: 

正在查看 0 条回复
  • 作者
    帖子
    • #1447
      wzf2000wzf2000
      管理员
      积分: 294,510 点
      上三品·一品·陆地神仙

      重言蕴涵式 重要的重言蕴涵式 $P \land Q \Rightarrow P,P \land Q \Rightarrow Q$ $P,Q \Rightarrow P \land Q$ $\lnot P \land (P \lor Q) \Rightarrow Q$ $P \land (P \rig
      [See the full post at: 离散数学笔记(2)——命题逻辑]

正在查看 0 条回复
  • 哎呀,回复话题必需登录。