否定導入
古典論理
における
否定
の
導入規則
直観主義論理における否定の定義式
と同等
#2022-02-06
08:34:10