Legile lui De Morgan in propozitii logice
De Morgan a descoperit initial legile care ii poarta numele in propozitii
logice, pe care mai apoi le-a transpus in limbaj logic simbolic in jurul
termenilor « si » si « sau ».
Ele arata astfel :
1 Not (P sau Q) = (not P ) și (not Q) (not inseamna nu in engleza)
2 Not (P și Q) = (notP) sau (not Q)
Aici, P și Q sunt două declarații, de exemplu, lui P ii corespunde mențiunea
"Plouă", și lui Qii corespunde declarația "Bate vantul".
Dacă te uiți la regula
nr. 1, termenul “not (P sau Q)” este echivalent cu a spune "Nici nu ploua nici
nu bate vantul ", care oferă același înțeles ca și termenul (not P) și
(not Q) corespunzător la "nu ploua, iar vântul nu sufla."
În mod similar, în cea de a doua regulă, unde “not (P și Q)” înseamnă
"Nu este si ploaie și vant," (in acelasi timp.) și dă același sens ca
(not P) sau (not Q), care înseamnă "ori nu ploua, ori vantul nu bate ".
