1樓：
定義謂詞：
a（x，y）：x欽佩y；
變元個體域：
x：運動員；
y：教練；
z：大學生；
1、（任意x）（存在y）a（x，y）；
2、（存在z）（任意x）¬a（z，x）；
3、（（任意y）p（s，y）∧（存在z）q（s，z））∨（任意x）r（x，t）；
離散數學 謂詞邏輯推理 兩道題目求解答
2樓：
1 ∀x(c(x)→┐b(x))
2 c(y)→┐b(y) 1ui
3 ∀x(a(x)→b(x))
4 a(y)→b(y) 3ui
5 ┐b(y)→┐a(y) 4置換
6 c(y)→┐a(y) 25假言三段論7 ∀x(c(x)→┐a(x)) 6ug－－－－－－－－－－
1 ∀xc(x)
2 c(y) 1ui
3 ∀(b(x)→┐c(x)
4 b(y)→┐c(y) 3ui
5 ┐b(y) 24拒取式
6 ∀x(a(x)v b(x))
7 a(y)v b(y) 6ui
8 a(y) 57析取三段論
9 ∀xa(x) 8ug
離散數學謂詞邏輯問題
3樓：匿名使用者
肯定是錯的。
舉個例子:
任何人都是單身漢或者是有情人。(事實呀)
它推不出:
任何人都是單身漢，或者任何人都是有情人。(擺明不對)
幫你看一下離散數學題目！！！判斷是否命題！如果是，判斷真假！並且翻譯成謂詞邏輯表達形式！！
4樓：zzllrr小樂
(c)是命題
p: 教不嚴
q:師之惰p→q
離散數學謂詞邏輯問題：(p->∃xq(x)) -> ∃x(p->q) 請證明該式為重言式
5樓：
證明：∵（p→∃xq(x)）→∃x（p→q）.
= ¬(¬p∨∃xq(x))∨∃x（¬p∨q）.
= （p∧vx¬q(x) ）∨ ¬p ∨ q.
= （(p∨¬p) ∧ (vx¬q(x)∨¬p) ）∨q.
= （1∧ (vx¬q(x)∨¬p) ）∨q.
= (vx¬q(x)∨¬p) ∨q.
= vx( ¬p ∨q ∨ ¬q(x) ) .
= vx( ¬p ∨1 ) .
= 1.
∴該式為重言式。
6樓：匿名使用者
一般用真值表或者是等價變換，，，我看不太懂你寫的什麼，但是方法可以用這個。。
離散數學的謂詞邏輯推理
7樓：匿名使用者
任何一本談謂詞邏輯的書均有量詞轉化法則！
(1)(∃x)(p(x)∧(∀y)(r(x,y)→l(x,y))) p(p規則)
(2) p(a)∧(∀y)(r(a,y)→l(a,y)) t(t規則) (1) es(存在指定規則)
(3)p(a) t(2)
(4) (∀y)(r(a,y)→l(a,y)) t(2)
(5) (∀x)(p(x)→(∀y)(q(y)→┐l(x,y))) p
(6) (p(a)→(∀y)(q(y)→┐l(a,y))) t(5) us(全稱指定規則)
(7) (∀y)(q(y)→┐l(a,y))) t(3)(6)
(8) (r(a,b)→l(a,b)) t(4) us
(9) (q(b)→┐l(a,b))) t(7) us
(10)l(a,b)→┐q(b) t(9)
(11)r(a,b)→┐q(b) t(8) (10)
(12)┐r(a,b)∨┐q(b) t(11)
(13) (∃y)┐(r(y,b)∧q(b)) t(12) eg(存在推廣規則)
(14) (∀x)(∃y) ( ┐(r(y,x)∧q(x))) t(13) ug(全稱推廣規則)
(15) ┐(∃x)(∀y)(r(y,x)∧q(x)) t(14)
離散數學問題，謂詞邏輯問題，求解，謝謝！
8樓：
以a代表全稱量詞，e代表存在量詞，┐為否定聯結詞 。
f(x)：x怕困難，g(x)：x會獲得成功，h(x)：x失敗前提：ax(f(x)→┐g(x))，ax(g(x)∨h(x))，ex(┐h(x))
結論：ex(┐f(x))
證明：1 ex(┐h(x))
2 ┐h(c) 1ei
3 ax(g(x)∨h(x))
4 g(c)∨h(c) 3ui
5 g(c) 24析取三段論
6 ax(f(x)→┐g(x))
7 f(c)→┐g(c) 6ui
8 ┐f(c) 57拒取式
9 ex(┐f(x)) 8eg
離散數學謂詞邏輯？ 20
9樓：匿名使用者
(∀x)(l(x)→(∃y)(j(y)∧a(x, y)));
第1個網上搜答案是錯的
具體我也說不清楚，都是這個格式
離散數學問題，離散數學難題
a b a b a b a c a c a c a b b a c a b b a b c 分配律 a b a b b c 交換律 排序 a b a b b c 結合律 a b c c a b c c a a b c 補項 a b c a b c a b c c a a b c 分配律2 a b c...
離散數學的問題，離散數學的小問題？
證明 將這n個人作為n個結點，如果某兩個人認識，則這兩個人對應的結點之間存在一條邊，這樣就得到一個具有n個結點的無向圖，此時需證明的是，當n 3時該圖存在一個哈密頓路，n 4時，該圖存在一個哈密頓迴路，即該圖是哈密頓圖，下面給出證明。首先證明當n 3時該圖存在一個哈密頓路。設u,v是任意兩個結點，由...
離散數學等值式,離散數學等值式講解
利用等bai值式進行等值演算,很明顯主要du是用分配律zhi。這沒有什麼難dao處,就是寫起來專挺繁瑣的。6個小括號屬 內看作一個整體,分別記作abcdef。先用分配律,得到8個合取式組成的析取式,再判斷每一個式子的真值 a c e的真值是0,因為p1與p2不能同時為真。其餘的類似判斷。只有b c ...