排中律
$ \lnot P\lor P
のこと
#¬P∨P
#2021-11-29
12:38:16