Logic
============

TxGraffiti's logic system allows you to build symbolic expressions over tabular data using rich arithmetic and boolean operations. These expressions form the foundation for hypotheses, inequalities, and full conjectures.

.. toctree::
   :maxdepth: 1

   properties
   predicates
   inequalities
   conjectures
   tables