【問題】¬(P→Q)とP∧¬Qが論理的に同値であることを示せ(含意の否定)-数理論理学 更新日:2021年6月9日 公開日:2021年5月23日 数理論理学 【問題】$\lnot(P \to Q)$と$P \land \lnot Q$が論理的に同値であることを示せ 命題変数$P$、$Q$に対して$\lnot(P \to Q)$と$P \land \lnot Q$が論理的に同値 […] 続きを読む