科数网
数学题库
数学试卷
数学组卷
在线学习
电子教材
科数
试题
试卷
学习
教材
VIP
你好
游客，
登录
注册
在线学习
离散数学
第一章 数理逻辑
等值式
最后
更新:
2025-01-21 20:36
●
参与者
查看:
13
次
纠错
分享
参与项目
词条搜索
等值式
定义2．1 若等价式 $A \leftrightarrow B$ 是重言式，则称 $A$ 与 $B$ 等值，记作 $A \Leftrightarrow B$ ，并称 $A \Leftrightarrow B$ 是等值式 几点说明： - 定义中，$A, B, \Leftrightarrow$ 均为元语言符号 $-A$ 或 $B$ 中可能有哑元出现。 例如 $(p \rightarrow q) \Leftrightarrow((\neg p \vee q) \vee(\neg r \wedge r)) \quad r$ 为左边公式的哑元。 －用真值表可检查两个公式是否等值 请验证： $$ \begin{aligned} & p \rightarrow(q \rightarrow r) \Leftrightarrow(p \wedge q) \rightarrow r \\ & p \rightarrow(q \rightarrow r) \text { 不与 }(p \rightarrow q) \rightarrow r \text { 等值 } \end{aligned} $$  
上一篇：
课堂练习
下一篇：
基本等值式
本文对您是否有用？
有用
(
0
)
无用
(
0
)
初中数学
高中数学
高中物理
高等数学
线性代数
概率论与数理统计
复变函数
离散数学
实变函数
数论
群论
纠错
题库
高考
考研
关于
下载
科数网是专业专业的数学网站。