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