古典論理学

アリストテレスが確立した論理学は、古典論理学の基礎となっている。

コンピュータサイエンスの分野では、古典論理学が広く応用されている。

彼女は古典論理学の厳密な推論に魅力を感じている。