FalseLiteral
============

.. currentmodule:: proveit.logic

.. autoclass:: FalseLiteral
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~FalseLiteral.conclude_negation
      ~FalseLiteral.deduce_in_bool
      ~FalseLiteral.deny_assumption
      ~FalseLiteral.eval_equality
      ~FalseLiteral.not_equal

   .. rubric:: Methods Documentation

   .. automethod:: conclude_negation
   .. automethod:: deduce_in_bool
   .. automethod:: deny_assumption
   .. automethod:: eval_equality
   .. automethod:: not_equal