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

Johann Karl Friedrich Rosenkranz

... and in all his numerous publications he remained, in spite of occasional deviations on particular points, loyal to the Hegelian tradition as a whole. In the great ...