The Łukasiewicz Conditional (→_Łuk)

• Add contraposition to →_cmi
  • (φ →_Łuk ψ) =_df ((φ →_cmi ψ) ∧ (¬ψ →_cmi ¬φ))
  • A combination of the implications from Ł3 and RM3