→ Ricestone: (2) ~p|p就是T 然後分配律乘進去，~q|q一樣是T 10/26 20:43
→ Ricestone: (4)你的算式有錯，而且你就算寫出兩個不同的樣子，這跟 10/26 20:48
→ Ricestone: 它們邏輯等不等價又沒關係，False就是要舉反例 10/26 20:49
→ abcd012345: 我對這題的瞭解是要把左邊的式子換到右邊，如果能換 10/26 21:01
→ abcd012345: 成功，那就代表等價。如果換不成功還得在舉一個反例 10/26 21:01
→ abcd012345: 說明為什麼為false嗎？ 10/26 21:01
→ Ricestone: 沒換成功只代表你沒想到要怎麼換，這怎麼能說是證明？ 10/26 21:03
→ abcd012345: 那像第五小題舉反例的意思我看不懂，是類似真值表的 10/26 21:17
→ abcd012345: 概念嗎？ 10/26 21:17
→ Ricestone: 就真值兩邊結果不同啊 10/26 21:27