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