In logic, an inverse is a type of conditional sentence which is an immediate inference made from another conditional sentence. More specifically, given a conditional sentence of the form P → Q {\displaystyle P\rightarrow Q} , the inverse refers to the sentence ¬ P → ¬ Q {\displaystyle \neg P\rightarrow \neg Q} .
In logic, an inverse is a type of conditional sentence which is an immediate inference made from another conditional sentence. More specifically, given a conditional sentence of the form P → Q {\displaystyle P\rightarrow Q} , the inverse refers to the sentence ¬ P → ¬ Q {\displaystyle \neg P\rightarrow \neg Q} .
Source: Wikipedia "Inverse (logic)" · CC BY-SA 4.0
Share this article: X · Bluesky