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

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

証明

https://kakeru.app/34937d8ca436953a90fc0f5047fcdf22 https://i.kakeru.app/34937d8ca436953a90fc0f5047fcdf22.svg

#2021-11-29 16:48:35