[離散]第10章 命題邏輯

當遇到結論為命題條件的型式A®E時

Q.是不是只要寫到第8步驟就可以了，還是連步驟9都要?

麻煩助教解答一下謝謝!!