Or
==

.. currentmodule:: proveit.logic

.. autoclass:: Or
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~Or.trivial_disjunctions

   .. rubric:: Methods Summary

   .. autosummary::

      ~Or.affirm_via_contradiction
      ~Or.associate
      ~Or.associated
      ~Or.association
      ~Or.auto_reduction
      ~Or.commutation
      ~Or.commute
      ~Or.commuted
      ~Or.conclude
      ~Or.conclude_negation
      ~Or.conclude_via_both
      ~Or.conclude_via_demorgans
      ~Or.conclude_via_example
      ~Or.conclude_via_left
      ~Or.conclude_via_only_left
      ~Or.conclude_via_only_right
      ~Or.conclude_via_permutation
      ~Or.conclude_via_some
      ~Or.deduce_in_bool
      ~Or.deduce_left_in_bool
      ~Or.deduce_not_left_if_neither
      ~Or.deduce_not_right_if_neither
      ~Or.deduce_part_in_bool
      ~Or.deduce_parts_in_bool
      ~Or.deduce_right_in_bool
      ~Or.deny_via_contradiction
      ~Or.derive_common_conclusion
      ~Or.derive_contradiction
      ~Or.derive_in_bool
      ~Or.derive_left_if_not_right
      ~Or.derive_right_if_not_left
      ~Or.derive_via_dilemma
      ~Or.derive_via_multi_dilemma
      ~Or.derive_via_singular_dilemma
      ~Or.disassociate
      ~Or.disassociated
      ~Or.disassociation
      ~Or.evaluation
      ~Or.group_commutation
      ~Or.group_commute
      ~Or.group_commuted
      ~Or.in_bool_side_effects
      ~Or.negation_side_effects
      ~Or.side_effects
      ~Or.unary_reduction

   .. rubric:: Attributes Documentation

   .. autoattribute:: trivial_disjunctions

   .. rubric:: Methods Documentation

   .. automethod:: affirm_via_contradiction
   .. automethod:: associate
   .. automethod:: associated
   .. automethod:: association
   .. automethod:: auto_reduction
   .. automethod:: commutation
   .. automethod:: commute
   .. automethod:: commuted
   .. automethod:: conclude
   .. automethod:: conclude_negation
   .. automethod:: conclude_via_both
   .. automethod:: conclude_via_demorgans
   .. automethod:: conclude_via_example
   .. automethod:: conclude_via_left
   .. automethod:: conclude_via_only_left
   .. automethod:: conclude_via_only_right
   .. automethod:: conclude_via_permutation
   .. automethod:: conclude_via_some
   .. automethod:: deduce_in_bool
   .. automethod:: deduce_left_in_bool
   .. automethod:: deduce_not_left_if_neither
   .. automethod:: deduce_not_right_if_neither
   .. automethod:: deduce_part_in_bool
   .. automethod:: deduce_parts_in_bool
   .. automethod:: deduce_right_in_bool
   .. automethod:: deny_via_contradiction
   .. automethod:: derive_common_conclusion
   .. automethod:: derive_contradiction
   .. automethod:: derive_in_bool
   .. automethod:: derive_left_if_not_right
   .. automethod:: derive_right_if_not_left
   .. automethod:: derive_via_dilemma
   .. automethod:: derive_via_multi_dilemma
   .. automethod:: derive_via_singular_dilemma
   .. automethod:: disassociate
   .. automethod:: disassociated
   .. automethod:: disassociation
   .. automethod:: evaluation
   .. automethod:: group_commutation
   .. automethod:: group_commute
   .. automethod:: group_commuted
   .. automethod:: in_bool_side_effects
   .. automethod:: negation_side_effects
   .. automethod:: side_effects
   .. automethod:: unary_reduction