.. _logic:

Logika
======

Pada bab sebelumnya, kita membahas persamaan, pertidaksamaan,
dan pernyataan matematika dasar seperti
":math:`x` membagi :math:`y`."
Pernyataan matematika yang kompleks dibangun dari
pernyataan-pernyataan sederhana semacam ini
dengan menggunakan istilah logis seperti "dan", "atau", "tidak",
"jika ... maka", "setiap", dan "ada".
Dalam bab ini, kami menunjukkan cara bekerja dengan pernyataan
yang dibangun dengan cara tersebut.

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