\lnot Pのこと

構成主義ではP \implies \botの省略記号として定義される

つまり、論理否定ではなく矛盾がメインの論理演算子として用いられる

そうしたほうが推論規則の対称性がよくなる

はこの解釈で\lnotを使っている

#2022-02-06 08:36:12

#2021-03-29 22:42:41