【問題】P∨¬Pが恒真式(トートロジー)であることを確認せよ(排中律)-数理論理学 更新日:2021年7月1日 公開日:2021年5月21日 数理論理学 【問題】$P \lor \lnot P$が恒真式(トートロジー)であることを確認せよ 命題変数$P$に対して論理式$P \lor \lnot P$が恒真式(トートロジー)であることを確認せよ。 回答 $P \lor \l […] 続きを読む