作者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