.. _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