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