NotEquals
=========

.. currentmodule:: proveit.logic

.. autoclass:: NotEquals
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~NotEquals.affirm_via_contradiction
      ~NotEquals.conclude
      ~NotEquals.conclude_as_folded
      ~NotEquals.conclude_via_double_negation
      ~NotEquals.deduce_in_bool
      ~NotEquals.definition
      ~NotEquals.deny_via_contradiction
      ~NotEquals.derive_contradiction
      ~NotEquals.derive_reversed
      ~NotEquals.derive_via_double_negation
      ~NotEquals.evaluation
      ~NotEquals.reversed
      ~NotEquals.side_effects
      ~NotEquals.unfold

   .. rubric:: Methods Documentation

   .. automethod:: affirm_via_contradiction
   .. automethod:: conclude
   .. automethod:: conclude_as_folded
   .. automethod:: conclude_via_double_negation
   .. automethod:: deduce_in_bool
   .. automethod:: definition
   .. automethod:: deny_via_contradiction
   .. automethod:: derive_contradiction
   .. automethod:: derive_reversed
   .. automethod:: derive_via_double_negation
   .. automethod:: evaluation
   .. automethod:: reversed
   .. automethod:: side_effects
   .. automethod:: unfold