.. _logic:

論理
=====

前章では、方程式や不等式、そして「 :math:`x` が :math:`y` を割る」といった基本的な数学的命題を扱いました。
複雑な数学的命題は、これらの単純な命題から、「かつ」「または」「否定」「もし … ならば」「すべての」「ある」といった論理的表現を用いて構成されます。
本章では、このように構成された命題をどのように扱うかを示します。

.. include:: C03_Logic/S01_Implication_and_the_Universal_Quantifier.inc
.. include:: C03_Logic/S02_The_Existential_Quantifier.inc
.. include:: C03_Logic/S03_Negation.inc
.. include:: C03_Logic/S04_Conjunction_and_Iff.inc
.. include:: C03_Logic/S05_Disjunction.inc
.. include:: C03_Logic/S06_Sequences_and_Convergence.inc