Inverse (logic)
From Wikipedia, the free encyclopedia
In logic, the inverse is a statement formed by reversing the expression. In traditional logic, the inverse can take two possible forms. The inverse of a statement "All P are Q" could be "All not P are Q" or "All not P are not Q". The denial of a statement does not imply the truth of the inverse.