.. _logic:

Logic
=====

In the last chapter, we dealt with equations, inequalities,
and basic mathematical statements like
":math:`x` divides :math:`y`."
Complex mathematical statements are built up from
simple ones like these
using logical terms like "and," "or," "not," and
"if ... then," "every," and "some."
In this chapter, we show you how to work with statements
that are built up in this way.

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