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

Thomas a Kempis

... to several passages, viz., the merit of good works and transubstantiation (iv. 2), purgatory (iv. 9), and the worship of saints (i. 13, ii. 9, iii. 6, 59). In ...