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
Witam Dla mnie jednym z największych paradoksów współczesnego świata jest fakt,że p...
pawlo0 • 2017-08-16 17:57:59
WIEM,ŻE MISJE POKOJOWE ŚĄ BARDZO NIEBEZPIECZNE.Podziwiam ludzi,którzy są na misji,ż...
tereska1 • 2017-08-15 08:19:23
Dobre zestawienie. Polecam także ten artykuł http://edueduonline.pl/blog/e-mail-angielsk...
Sara • 2017-08-09 10:30:02
Umiem w matme wiem ile to jest pienc pluz czy
Kujon • 2017-08-08 17:08:22
ale ktoś trafił jak kulą w płot z Jarosławem Mądrym
b • 2017-08-11 12:35:03
Autor:
Drukuj
Drukuj
Rozmiar
AAA

Prawa de Morgana

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ż:

  • Dowód

    Dowód jestem elementarnym pojęciem w matematyce. Porządna teoria matematyczna składa się z definicji, twierdzeń i dowodów. Więcej »

  • Operatory logiczne

    Operatory logiczne są operacjami (działaniami), które można wykonywać na zdaniach logicznych. Więcej »

  • Wartości logiczne zdań

    Wartości logiczne służą do określania prawdziwości zdań. Zdanie prawdziwe ma wartość logiczną 1, natomiast zdanie fałszywe ma wartość logiczną 0. Więcej »

  • Kwantyfikatory

    Kwantyfikatorami nazywamy symbole oznaczające zwroty „dla każdego” oraz „istnieje”. Więcej »

Komentarze (0)
4 + 3 =