如果只剩下命題符號與命題符號的否定,我們便說這棵樹已經完全展開. 7. Page 8. 完全展開後,如果你發現最後產生矛盾的地方,我們就會把branch關起來,如果所. 有都關起來 ...
確定! 回上一頁