Axiom Dependencies

proveit.logic.booleans.implication.affirmation_via_contradiction

import proveit
# Automation is not needed when querying dependencies:
proveit.defaults.automation = False # This will speed things up.
proveit.defaults.inline_pngs = False # Makes files smaller.
from proveit.logic.booleans.implication import affirmation_via_contradiction

%dependencies affirmation_via_contradiction

Theorems/conjectures that depend directly on affirmation_via_contradiction

proveit.logic.booleans.disjunction.left_if_not_right

proveit.logic.booleans.disjunction.right_if_not_left

proveit.logic.booleans.disjunction.singular_constructive_dilemma_lemma

proveit.logic.booleans.from_not_false

proveit.logic.booleans.implication.false_antecedent_implication

proveit.logic.booleans.implication.falsified_antecedent_implication

proveit.logic.booleans.implication.modus_tollens_affirmation

proveit.logic.booleans.implication.untrue_antecedent_implication

proveit.logic.booleans.quantification.existence.skolem_elim_lemma