【問題】(P∨P)⇔Pが成り立つことを確認せよ(反射律)-数理論理学 更新日:2021年6月10日 公開日:2021年6月5日 数理論理学 【問題】$(P \lor P) \leftrightarrow P$を確認せよ 命題変数$P$に対して$(P \lor P) \leftrightarrow P$を確認せよ。 回答 命題変数$P$に対して$P \lor […] 続きを読む
【問題】(P∧P)⇔Pが成り立つことを確認せよ(反射律)-数理論理学 更新日:2021年6月7日 公開日:2021年6月5日 数理論理学 【問題】$(P \land P) \leftrightarrow P$を確認せよ 命題変数$P$に対して$(P \land P) \leftrightarrow P$を確認せよ。 回答 命題変数$P$に対して$P \la […] 続きを読む
【問題】(P∨Q)と(Q∨P)が論理的に同値であることを示せ(対象律)-数理論理学 更新日:2021年6月10日 公開日:2021年6月5日 数理論理学 【問題】$(P \lor Q) \leftrightarrow (Q \lor P)$が論理的に同値であることを示せ 命題変数$P$、$Q$に対して$(P \lor Q) \leftrightarrow (Q \lor […] 続きを読む
【問題】(P∧Q)⇔(Q∧P)が成り立つことを確認せよ(対象律)-数理論理学 更新日:2021年6月7日 公開日:2021年6月5日 数理論理学 【問題】$(P \land Q) \leftrightarrow (Q \land P)$を確認せよ 命題変数$P$、$Q$に対して$(P \land Q) \leftrightarrow (Q \land P)$を確認 […] 続きを読む