generated at
2/16/2025, 6:24:10 AM
¬¬((P⇒Q)∨(Q⇒P))
証明
#2021-11-29
16:48:35
