論理学
論理学(logic)
論理学(Logic)は,物事に対して正しい認識や判断を得るために,推論の方法を研究する学問
である。
ref: 命題論理.pdf
現在では,数学的性格がより強い記号論理学と,記号論理学でない論理学に分化しているらしい。
形式化
古典論理
命題論理
非古典論理
多類論理(many-sorted logic)
含意
参考
命題論理.pdf
メモ
BAN論理
#形式論理
#数理論理学