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