2020-10-28から1日間の記事一覧
●練習問題3.45の2つ目の恒真式\[\varphi\rightarrow\psi\leftrightarrow\neg\varphi\vee\psi\]において、\(\varphi\)として\(P\wedge\neg Q\)を、\(\psi\)として\(R\)を選ぶと、練習問題3.42の2つの論理式を\(\leftrightarrow\)で繋いだものに一致します。一…
●練習問題3.45の2つ目の恒真式\[\varphi\rightarrow\psi\leftrightarrow\neg\varphi\vee\psi\]において、\(\varphi\)として\(P\wedge\neg Q\)を、\(\psi\)として\(R\)を選ぶと、練習問題3.42の2つの論理式を\(\leftrightarrow\)で繋いだものに一致します。一…