pylogic.proposition package
===========================

Subpackages
-----------

.. toctree::
   :maxdepth: 4

   pylogic.proposition.ordering
   pylogic.proposition.quantified
   pylogic.proposition.relation

Submodules
----------

pylogic.proposition.and\_ module
--------------------------------

.. automodule:: pylogic.proposition.and_
   :members:
   :show-inheritance:
   :undoc-members:

pylogic.proposition.contradiction module
----------------------------------------

.. automodule:: pylogic.proposition.contradiction
   :members:
   :show-inheritance:
   :undoc-members:

pylogic.proposition.exor module
-------------------------------

.. automodule:: pylogic.proposition.exor
   :members:
   :show-inheritance:
   :undoc-members:

pylogic.proposition.iff module
------------------------------

.. automodule:: pylogic.proposition.iff
   :members:
   :show-inheritance:
   :undoc-members:

pylogic.proposition.implies module
----------------------------------

.. automodule:: pylogic.proposition.implies
   :members:
   :show-inheritance:
   :undoc-members:

pylogic.proposition.not\_ module
--------------------------------

.. automodule:: pylogic.proposition.not_
   :members:
   :show-inheritance:
   :undoc-members:

pylogic.proposition.or\_ module
-------------------------------

.. automodule:: pylogic.proposition.or_
   :members:
   :show-inheritance:
   :undoc-members:

pylogic.proposition.proof\_search module
----------------------------------------

.. automodule:: pylogic.proposition.proof_search
   :members:
   :show-inheritance:
   :undoc-members:

pylogic.proposition.proposition module
--------------------------------------

.. automodule:: pylogic.proposition.proposition
   :members:
   :show-inheritance:
   :undoc-members:

Module contents
---------------

.. automodule:: pylogic.proposition
   :members:
   :show-inheritance:
   :undoc-members: