ThreshHolden

分类

C/C++(9) visual studio(1) 离散数学(12) 题解(2)

/ 注册

全部文章（共1篇）

离散数学--Chap1 命题逻辑的基本概念

Chap1 命题逻辑的基本概念核心概念 1.命题：真值唯一的陈述句 2.命题分类：简单命题（原子命题，不可再分）和复合命题 3.赋值（解释）：给所有命题变项各指定一个真值 4.合式公式（简称公式），类型：重言式（永真式）、矛盾式（永假式）、可满足式（至少存在一个成真赋值）其他否定式+否定联结词...

离散数学命题

2022-03-02

1 394