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

Submodules
----------

pylogic.proposition.quantified.exists module
--------------------------------------------

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

pylogic.proposition.quantified.forall module
--------------------------------------------

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

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

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

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

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