※ 引述《catawu ( ggg)》之銘言：
: ※ 引述《zero4 (champion)》之銘言：
: : 自己回一下
: : 剛查到 satisfiable是說一個論證只要可以有為真的情況，
: : 就是 satisfiable
: 應該不是吧
: satisfiable是某一個object數於某個特定條件的set
在 tautology 一詞的附近提到 satisfiable 一詞，應該是前者的意思。
--
▼ 單中杰．ken@digitas.harvard.edu．善終結 ▼
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.247.241.146