11问答网
所有问题
当前搜索:
离散数学逻辑等价公式
离散数学
(谓词
逻辑
)
答:
设 G 是任意一个
公式
,若 G 中无自由出现的个体变元,则称 G 为封闭的合式公式,简称闭式。在命题
逻辑
里,每一公式都有与之等值的范式,范式是一种统一的表达形式,当研究一个公式的特点 (如永真、永假) 时,范式起着重要作用。对谓词逻辑的公式来说,也有范式,其中前束范式与原公式是等值的...
离散数学
2:有哪些内容?
答:
离散数学
2:基本概念
公式
层次:单个的命题变项A是0层公式。如果A是n层公式,B是m层公式,那么_A是n+1层公式;C=A∧B,C=A∨B,C=A→B,C=A↔B的层次是:max(n,m)+1。比如(_(p→_q)∧((r∨s)↔_q)的层次计算就是:01001 211 32 4 4层公式 设p1,p2,p3?pn是...
离散数学
将(p→( q∨┐p))∧q∧r化成等值的且仅含{┐,∧}的
公式
_百 ...
答:
(p→(q∨¬p))∧q∧r ⇔(p→(¬p∨q))∧q∧r 交换律 排序 ⇔(¬p∨(¬p∨q))∧q∧r 变成 合取析取 ⇔(¬p∨¬p∨q)∧q∧r 结合律 ⇔(¬p∨q)∧q∧r 等幂律 ⇔¬(p∧¬q)∧q∧r 德摩根...
离散数学
求
公式
真值
答:
x=a时,q(x)=q(a)=0 由p(c)=0,得知∃xp(x) = 0 此时∃xp(x) → q(a)是真。x=b时,q(x)=q(b)=1 此时显然∃xp(x) → q(b)是真。x=c时,q(x)=q(c)=0 由p(c)=0,得知∃xp(x) = 0 此时∃xp(x) → q(c)是真。综上所述,...
高手帮我指点一下,
离散数学
,
等价公式
中吸收律的含义是什么?
答:
用真值表可以证明 同时你可以参考一下图片 方便理解
21世纪高等院校通用教材·
离散数学
及应用目录
答:
21世纪高等院校通用教材·
离散数学
及应用目录概览第一篇 数理
逻辑
第1章探讨命题演算,包括命题及联结词、命题
公式
、
等价
关系、蕴含关系和对偶关系,以及析取范式和合取范式的概念。1.6节介绍了推理技术,如真值表、直接推演和间接推演。第2章转向谓词演算,涉及基本概念如谓词、个体、量词和公式,以及自由变...
离散数学
问题 排斥或与相容或命题
公式
的表示
答:
因为两件事是不可能同时发生的 所以第一题只用pVq就可以表示了 当然你用(┐p Vq)V(pV┐q)表示也不算错(只不过没必要) 因为这两件事是不可能同时发生的 要么发生一个要么发生另一个 也就是说p正确的时候q一定是错误的 也就是q和┐p是
等价
的 所以这时候不需要你表达出“只发生一个”...
符号
逻辑
的书中,命题的证明可以用已经在
离散数学
中学过的推理规则和命题...
答:
应该可以,但是要注意文字叙述的定理,一般都暗藏了一些隐性条件,写蕴含式时,要特别注意,严谨一点。
离散数学
证明题题:p→(p∨q∨r)判断命题
公式
的类型 解题过程
答:
永真式 p→(p∨q∨r)《=》┐p∨(p∨q∨r)《=》(┐p∨p)∨(q∨r)《=》1∨(q∨r)《=》1
离散数学
证明题题:p→(p∨q∨r)判断命题
公式
的类型
答:
永真式 p→(p∨q∨r)《=》┐p∨(p∨q∨r)《=》(┐p∨p)∨(q∨r)《=》1∨(q∨r)《=》1
棣栭〉
<涓婁竴椤
3
4
5
6
8
7
9
10
11
12
涓嬩竴椤
灏鹃〉
其他人还搜