論理否定
$ \lnot P
のこと
構成主義
では
$ P \implies \bot
の省略記号として定義される
つまり、
論理否定
ではなく
矛盾
がメインの論理演算子として用いられる
そうしたほうが
推論規則の対称性
がよくなる
takker.icon
はこの解釈で
$ \lnot
を使っている
#2022-02-06
08:36:12
#2021-03-29
22:42:41