最小論理
古典論理
から
論理否定
の規則を抜いた
論理体系
論理積
・
論理和
・
含意
のみで構成される
直観主義論理
から
矛盾
の存在保証を除いた論理体系ともいえる
References
/emoji/pdf.icon
論理学入門
#2021-11-29
13:02:55
#2021-11-18
18:49:09