嗨 各位好

小弟在查重言式時，查到下列一段話：

"一個真值形式，如果不論其中的命題變項取什麼樣的真值，它恆取真值真，
則該真值形式是重言式"

其中 "不論其中的命題變項取什麼樣的真值，它恆取真值真" 這句話我一直想不通，
麻煩各位先進，可以用 (p -> q) V q 這個例子，解釋給小弟聽嗎

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 210.85.124.84

> -------------------------------------------------------------------------- <

作者: staco (staco) 看板: Logic
標題: Re: [問題] 請幫我解釋一下
時間: Tue Oct 28 20:37:57 2003

※ 引述《zero4 (champion)》之銘言：
: 嗨 各位好
: 小弟在查重言式時，查到下列一段話：
: "一個真值形式，如果不論其中的命題變項取什麼樣的真值，它恆取真值真，
: 則該真值形式是重言式"
: 其中 "不論其中的命題變項取什麼樣的真值，它恆取真值真" 這句話我一直想不通，
: 麻煩各位先進，可以用 (p -> q) V q 這個例子，解釋給小弟聽嗎

重言式指的就是套套邏輯(tautology)吧?

如果是的話,那最簡單的例子是: p V ~p

檢查一個formula是否是tautology,最簡單的方法就是畫真值表

p | p V ~p
T T T F
F F T T

在這個formula中,不論p取真(T)或是假(F),他所得出來最終的每一項都是真(T)

我們可以稱這類的formula為tautology

而你所提的例子不是tautology (當p為T,q為F的時候那項是F)

但是如果這邊的重言式是指 rule of equivalence 其中一條的話 p = p V p
p = p ^ p

那我就不知道怎麼解釋了

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.215.190

> -------------------------------------------------------------------------- <

作者: zero4 (champion) 看板: Logic
標題: Re: [問題] 請幫我解釋一下
時間: Thu Oct 30 17:55:45 2003

※ 引述《staco (staco)》之銘言：
: p | p V ~p
: T T T F
: F F T T
: 在這個formula中,不論p取真(T)或是假(F),他所得出來最終的每一項都是真(T)
應該就是您講的這個，謝謝！

另外我做題目又看到一個名詞，"satisfiable"
請問是什麼意思啊

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 210.85.124.84

> -------------------------------------------------------------------------- <

作者: zero4 (champion) 看板: Logic
標題: Re: [問題] 請幫我解釋一下
時間: Thu Oct 30 20:37:46 2003

※ 引述《zero4 (champion)》之銘言：
: 應該就是您講的這個，謝謝！
: 另外我做題目又看到一個名詞，"satisfiable"
: 請問是什麼意思啊
自己回一下

剛查到 satisfiable是說一個論證只要可以有為真的情況，
就是 satisfiable

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 210.85.124.84

> -------------------------------------------------------------------------- <

作者: catawu ( ggg) 看板: Logic
標題: Re: [問題] 請幫我解釋一下
時間: Mon Nov 3 18:02:07 2003

※ 引述《zero4 (champion)》之銘言：
: ※ 引述《zero4 (champion)》之銘言：
: : 應該就是您講的這個，謝謝！
: : 另外我做題目又看到一個名詞，"satisfiable"
: : 請問是什麼意思啊
: 自己回一下
: 剛查到 satisfiable是說一個論證只要可以有為真的情況，
: 就是 satisfiable
應該不是吧
satisfiable是某一個object數於某個特定條件的set

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.143.103

> -------------------------------------------------------------------------- <

作者: ccshan (善終結) 看板: Logic
標題: Re: [問題] 請幫我解釋一下
時間: Tue Nov 4 06:13:33 2003

※ 引述《catawu ( ggg)》之銘言：
: ※ 引述《zero4 (champion)》之銘言：
: : 自己回一下
: : 剛查到 satisfiable是說一個論證只要可以有為真的情況，
: : 就是 satisfiable
: 應該不是吧
: satisfiable是某一個object數於某個特定條件的set

在 tautology 一詞的附近提到 satisfiable 一詞，應該是前者的意思。

--
▼ 單中杰．[email protected]．善終結 ▼

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.247.241.146