Inverse (logic)
id:
inverse-logic-317-7683339
title:
Inverse (logic)
text:
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 , the inverse refers to the sentence ¬ P → ¬ Q . Since an inverse is the contrapositive of the converse, inverse and converse are logically equivalent to each other. For example, substituting propositions in natural language for logical variables, the inverse of the following conditional proposition would
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Inverse_(logic)
date created:
date modified:
2024-04-15T00:56:28Z
main entity:
{"identifier":"Q4385666","url":"https://www.wikidata.org/entity/Q4385666"}
image:
fields total:
13
integrity:
13