2020-11-28から1日間の記事一覧
●練習問題3.103(4)の、よりシンプルな別解としては\[\varphi\leftrightarrow(\varphi\rightarrow\psi)\]があります。確認してみてください。 ●練習問題3.103(5)についてコメントしたことをもっと簡潔に再掲しておきます。\(\varphi,\psi\)を\(\rightarrow\)…
●練習問題3.103(4)の、よりシンプルな別解としては\[\varphi\leftrightarrow(\varphi\rightarrow\psi)\]があります。確認してみてください。 ●練習問題3.103(5)についてコメントしたことをもっと簡潔に再掲しておきます。\(\varphi,\psi\)を\(\rightarrow\)…