Na stronie używamy cookies. Korzystanie z witryny oznacza zgodę na ich wykorzystywanie. Szczegóły znajdziesz w Regulaminie.
ZAMKNIJ X

Prawa de Morgana

Ostatnio komentowane
Tekst zapewne zredagowany przez historyka. Tak naprawdę nic na temat rewolucyjnych osiąg...
furiat • 2019-08-15 11:10:28
Szkoda że nie ma zdań a tak poza tym to fajna strona
Nie kumata862 • 2019-08-06 19:59:23
Świetne, że można nauczyć się pisać dobry felieton. Przydaje się ta wiedza także p...
Szymon Owedyk • 2019-08-01 04:28:01
Super wskazówki, jak pisać reportaż. Swoje rady o tym, jak reportaż i felieton piszę,...
Szymon Owedyk • 2019-07-31 20:10:19
Sorry, ale to nie jest o tańcu śmierci, tylko o "Rozmowie..." w ogóle.
Andr • 2019-07-30 10:51:02
Autor:
Drukuj
Drukuj
Rozmiar
AAA

Dwa szczególnie istotne prawa rachunku zdań to prawa de Morgana.

Umożliwiają one przekształcanie koniunkcji na alternatywę oraz alternatywy na koniunkcję.

 

I prawo de Morgana

 \neg (p \wedge q)  \Leftrightarrow ( \neg p \vee  \neg q) - prawo zaprzeczenia koniunkcji.

Prawo to mówi o tym, że negacja koniunkcji jest równoważna alternatywie negacji.

 

Tabelka wartości logicznych dla I prawa de Morgana

 

 

II prawo de Morgana

 \neg (p  \vee  q)  \Leftrightarrow ( \neg p  \wedge   \neg q) - prawo zaprzeczenia alternatywy.

Prawo mówi o tym, że negacja alternatywy jest równoważna koniunkcji negacji.

 

Prawa można też, równoważnie, zapisać w języku rachunku kwantyfikatorów, i wówczas mają one następującą postać:\neg (\forall_{x}  \phi (x))  \Leftrightarrow  ( \exists_{x}  \neg  \phi (x))

\neg (\exists_{x}   \phi (x))  \Leftrightarrow  ( \forall_{x} \neg  \phi (x))

 

 

Zadanie:

Sprawdzić (za pomocą tabelki) prawdziwość drugiego prawa de Morgana).

Polecamy również:

Komentarze (0)
1 + 5 =
echo $this->Html->script('core.min'); echo $this->Html->script('blockadblock.js'); echo $this->Html->script('fancybox/jquery.fancybox-1.3.4.min'); echo $this->Html->css('/js/fancybox/jquery.fancybox-1.3.4.min'); echo $this->Html->script('jnice/jquery.jNice', array('async' => 'async')); echo $this->Html->css('/js/jnice/jNice.min');