科数网
数学题库
数学试卷
数学组卷
在线学习
电子教材
科数
试题
试卷
学习
教材
VIP
你好
游客，
登录
注册
在线学习
离散数学
第一章 数理逻辑
公式的类型
最后
更新:
2025-01-21 20:32
●
参与者
查看:
29
次
纠错
分享
参与项目
词条搜索
公式的类型
定义1．10 （1）若 $A$ 在它的任何赋值下均为真，则称 $A$ 为重言式或永真式； （2）若 $A$ 在它的任何赋值下均为假，则称 $A$ 为矛盾式或永假式； （3）若 $A$ 不是矛盾式，则称 $A$ 是可满足式。 由例1可知，$(p \vee q) \rightarrow \neg r,(q \rightarrow p) \wedge q \rightarrow p, \neg(\neg p \vee q) \wedge q$ 分别为非重言式的可满足式，重言式，矛盾式。 注意：重言式是可满足式，但反之不真。 真值表的用途： 求出公式的全部成真赋值与成假赋值，判断公式的类型
上一篇：
真值表
下一篇：
课堂练习
本文对您是否有用？
有用
(
0
)
无用
(
0
)
初中数学
高中数学
高中物理
高等数学
线性代数
概率论与数理统计
复变函数
离散数学
实变函数
数论
群论
纠错
题库
高考
考研
关于
下载
科数网是专业专业的数学网站。