次の論法は妥当であることを証明せよ. 1. 対偶 (contraposition): (¬g ⇒ ¬p) ⊢ (p ⇒ g). 2. 背理法(contradiction): [( ...
確定! 回上一頁