Theorem trnsp-P1.15d 83

Description: Transposition Variant D.

Assertion

Ref	Expression
trnsp-P1.15d	⊢ ((¬ 𝜑 → ¬ 𝜓) → (𝜓 → 𝜑))

Proof of Theorem trnsp-P1.15d

Step	Hyp	Ref	Expression
1		ax-L3 13	1 ⊢ ((¬ 𝜑 → ¬ 𝜓) → (𝜓 → 𝜑))

Syntax hints:  ¬ wff-neg 9   → wff-imp 10

This theorem was proved from axioms:  ax-L3 13

This theorem is referenced by:  trnsp-P1.15d.AC.SH  84  trnsp-P1.15d.2AC.SH  85