¬(P∨Q)⇒¬P∧¬Q - くたくたじゅうよん

¬(P∨Q)⇒¬P∧¬Q

from ¬(P∨Q)⇔¬P∧¬Q

証明

https://kakeru.app/5c359ac6714341724f4848230fb814d7 https://i.kakeru.app/5c359ac6714341724f4848230fb814d7.svg

#2021-11-18 18:01:56