Not
===

.. currentmodule:: proveit.logic

.. autoclass:: Not
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Not.affirm_via_contradiction
      ~Not.conclude
      ~Not.conclude_negation
      ~Not.conclude_via_double_negation
      ~Not.conclude_via_falsified_negation
      ~Not.deduce_double_negation_equiv
      ~Not.deduce_in_bool
      ~Not.deduce_operand_in_bool
      ~Not.deny_via_contradiction
      ~Not.derive_contradiction
      ~Not.derive_in_bool
      ~Not.derive_untrue
      ~Not.derive_via_double_negation
      ~Not.double_negation_equivalence
      ~Not.equate_negated_to_false
      ~Not.evaluation
      ~Not.in_bool_side_effects
      ~Not.latex
      ~Not.side_effects
      ~Not.substitute_falsehood
      ~Not.substitute_in_false

   .. rubric:: Methods Documentation

   .. automethod:: affirm_via_contradiction
   .. automethod:: conclude
   .. automethod:: conclude_negation
   .. automethod:: conclude_via_double_negation
   .. automethod:: conclude_via_falsified_negation
   .. automethod:: deduce_double_negation_equiv
   .. automethod:: deduce_in_bool
   .. automethod:: deduce_operand_in_bool
   .. automethod:: deny_via_contradiction
   .. automethod:: derive_contradiction
   .. automethod:: derive_in_bool
   .. automethod:: derive_untrue
   .. automethod:: derive_via_double_negation
   .. automethod:: double_negation_equivalence
   .. automethod:: equate_negated_to_false
   .. automethod:: evaluation
   .. automethod:: in_bool_side_effects
   .. automethod:: latex
   .. automethod:: side_effects
   .. automethod:: substitute_falsehood
   .. automethod:: substitute_in_false