peter krey's web site

scholarship, sermons, songs, poems, weblog writing on

The Dual and the De Morgen Law for Logic

leave a comment »

The DUAL of

(P • ~Q) v (~P • Q), that is,

(P and not Q) or (not P and Q) ,


(P v ~Q) • ( ~P v Q), that is,

(P or not Q) and (not P or Q).

De Morgen’s laws are essentially duality principles.

1.      (P • ~Q) v (~P • Q)

2. ~ [(P • ~Q) v (~P • Q)]

3.      (~P v Q) • (P v ~Q)

See my post on the duality of the “XOR” and “IFF”, that is, the exclusive “or” and the “if and only if”, where  I derive the two definitions of the strong “or” from one anther.


Written by peterkrey

October 16, 2009 at 5:00 pm

Posted in Logic

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: