真值樹系統：想法是說前面兩個系統有點讓人擔憂，各位高中都做過數學證明，有一種 ... 反例寫法是找到任意open branch，如果在這個open branch中出現的是proposition.
確定！ 回上一頁
