离散数学笔记（1）——命题逻辑

[wzf2000]

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

[作者]

帖子