Inverse (logic)

In logic, particularly in the context of propositional logic, the term "inverse" typically refers to a transformation applied to a conditional statement. Given a conditional statement of the form "If \( P \), then \( Q \)" (symbolically \( P \rightarrow Q \)), the inverse of this statement is formed by negating both the hypothesis and the conclusion.