Encyclopedia > Inverse (logic)

Article Content

Inverse (logic)

In logic, if S is a statement of the form

P implies Q

then the inverse of S is the statement of the form

(not P) implies (not Q).

S and its inverse are logical equivalents.

Featured Article

Jordanes

... Gothic kings in Italy. At the time of Justinian, he was a Christian and possibly bishop of Croton. In approximately 580, he wrote "De origine actibusque Getarum[?]" (The ...