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

証明

https://kakeru.app/cf0226edac7eec380f7e079b0da52196 https://i.kakeru.app/cf0226edac7eec380f7e079b0da52196.svg