generated at
2/15/2025, 7:17:20 PM
排中律
\lnot P\lor P
のこと
#¬P∨P
#2021-11-29
12:38:16