問題7.39等について:一般に\(\chi_1\)と\(\chi_2\)の証明が書ければ、両者の後に(CI)を適用することで\(\chi_1\wedge\chi_2\)の証明が得られます。したがって\(\varphi\leftrightarrow\psi\)の証明を書くには\(\varphi\rightarrow\psi\)および\(\psi\righta…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。