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