トートロジー
恒真命題
$ P\lor \lnot P
2024-01-07
10:15