直観主義論理における否定の定義式
直観主義論理では論理否定を含意と矛盾の組み合わせで定義する
$ \lnot A:\iff (A\implies\bot)
#2022-02-06 08:35:07