Everything2
Near Matches
Ignore Exact
Full Text
Everything2

DeMorgan's Rule

created by Tem42

(idea) by Tem42 (1.8 hr) (print)   ?   I like it! Sat Nov 13 1999 at 14:55:37

DeM for short. Yet another rule uv inference in propositional logic. It's a rather complicated one.

~(P*Q) = (~P^~Q)
And
~(P^Q) = (~P*~Q)

"It is not the case that I have an apple and an orange" is the same as "I don't have an apple, or I don't have an orange"

And...

"It is not the case that I have an apple or and orange" is the same as "I don't have an apple, and I don't have an orange".

(These also work the other way around.)

See Everything Logic Symbols if you can't understand all this.

See also: DeMorgan's rule, Modus Ponens, commutativity


(idea) by Betsumei (1 y) (print)   ?   I like it! Fri Sep 19 2003 at 2:08:43

A handy way of remembering this rule is thus: "Break the line, change the sign"

You'll have to use your imagination on this. If I have ¬(AB), imagine that that is AB with a line over it. That is equivalent to ¬A¬B, which would be A with an overline and B with a separate overline. When the line is broken, the sign is switched. So if you had ¬(¬C∨D), the two overlines attached to C would counteract each other, breaking the line, and the result would be C∧¬D.


References: my Digital Systems teacher


printable version
chaos

Everything logic symbols Modus Ponens DeMorgan's Laws Double Negation
Commutativity CMOS Melinda Gates There will be nobody there to shed a tear
Boolean algebra ++ and Material Implication
Horn clause mnemonic inverter Breaking up
conjunctive normal form or Rule not
overline logic
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.
  Epicenter
Login
Password

password reminder
register

Everything2 Help

Cool Staff Picks
Little presents from the Node Fairy:
Real war: Civilization threatened!
down
Napoleon Bonaparte
Amendment XIV
Operation Praying Mantis
A Review of 'E2 Community Developments Newsletter, Summer 2007'
dichotic gender paradigm
Marijuana Party of Canada
Norse Mythology
Cathedral of St. John the Divine
You feel lonely
Iran-Contra Scandal
Gollum vs. Regis Philbin
New Writeups
aneurin
Hilary Armstrong(person)
giantcactus
The Power of Electricity(personal)
TheLady
Eggs and tomatoes(recipe)
TheLady
Don't get me wrong - I'm a feminist(essay)
Scaevola
Scissors murder(person)
Yakushin
Green Chile Pecan, Red Chile Apple Pies(recipe)
TenMinJoe
BookMooch(idea)
Yakushin
Merlin(review)
Apatrix
Editor Log: May 2008(log)
Apatrix
Eggs and tomatoes(recipe)
locke baron
Sverdlov class cruiser(thing)
arcanamundi
IN THE GRIM FUTURE OF HELLO KITTY, THERE IS ONLY WAR.(fiction)
Glowing Fish
Northern Effect(idea)
Jet-Poop
Why I love Everything2(essay)
Rancid_Pickle
Old Scrotch Xmas(fiction)
E2 is a by-product of the existence of The Everything Development Company