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

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

标签: 

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

      命题 非真即假,不可兼($T/F$) 语句 算不算命题 哥德巴赫猜想 算 悖论(我正在说谎) 不算 昨天很冷 不算 原子命题与复合命题 复合命题 = 原子命题 + 联结词 联结词 符号 否定 $\lnot$ 合取 $\land$ 析取 $\lor$ 异或 $\overline{\lor}$ 蕴涵 $
      [See the full post at: 离散数学笔记(1)——命题逻辑]

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