Implies
=======

.. currentmodule:: proveit.logic

.. autoclass:: Implies
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~Implies.known_left_sides
      ~Implies.known_right_sides

   .. rubric:: Methods Summary

   .. autosummary::

      ~Implies.StrongRelationClass
      ~Implies.WeakRelationClass
      ~Implies.apply_transitivity
      ~Implies.conclude
      ~Implies.conclude_negation
      ~Implies.conclude_self_implication
      ~Implies.conclude_via_double_negation
      ~Implies.contrapose
      ~Implies.deduce_in_bool
      ~Implies.deduce_negated_left_impl
      ~Implies.deduce_negated_reflex
      ~Implies.deduce_negated_right_impl
      ~Implies.deny_antecedent
      ~Implies.derive_consequent
      ~Implies.derive_iff
      ~Implies.derive_via_contradiction
      ~Implies.evaluation
      ~Implies.generalize
      ~Implies.negation_side_effects
      ~Implies.side_effects

   .. rubric:: Attributes Documentation

   .. autoattribute:: known_left_sides
   .. autoattribute:: known_right_sides

   .. rubric:: Methods Documentation

   .. automethod:: StrongRelationClass
   .. automethod:: WeakRelationClass
   .. automethod:: apply_transitivity
   .. automethod:: conclude
   .. automethod:: conclude_negation
   .. automethod:: conclude_self_implication
   .. automethod:: conclude_via_double_negation
   .. automethod:: contrapose
   .. automethod:: deduce_in_bool
   .. automethod:: deduce_negated_left_impl
   .. automethod:: deduce_negated_reflex
   .. automethod:: deduce_negated_right_impl
   .. automethod:: deny_antecedent
   .. automethod:: derive_consequent
   .. automethod:: derive_iff
   .. automethod:: derive_via_contradiction
   .. automethod:: evaluation
   .. automethod:: generalize
   .. automethod:: negation_side_effects
   .. automethod:: side_effects