2020-12-03から1日間の記事一覧
●練習問題3.103(5)について:もとの問題は\(\varphi,\psi\)を用いていますが、説明の都合で命題記号\(P,Q\)に置き換えます。\(P,Q,\rightarrow\)のみから構成されるいかなる論理式\(\chi\)も\(P\wedge Q\)と同値にならない、つまり\(\chi\)と\(P\wedge Q\)の…
●練習問題3.103(5)について:もとの問題は\(\varphi,\psi\)を用いていますが、説明の都合で命題記号\(P,Q\)に置き換えます。\(P,Q,\rightarrow\)のみから構成されるいかなる論理式\(\chi\)も\(P\wedge Q\)と同値にならない、つまり\(\chi\)と\(P\wedge Q\)の…