Given a conditional p → q, its inverse is ¬p → ¬q. A conditional and its inverse are NOT in general logically equivalent; assuming the inverse is the 'denying the antecedent' fallacy. The inverse is however equivalent to the converse.
Given a conditional p → q, its inverse is ¬p → ¬q. A conditional and its inverse are NOT in general logically equivalent; assuming the inverse is the 'denying the antecedent' fallacy. The inverse is however equivalent to the converse.