Licenca
To delo je na voljo pod pogoji slovenske licence Creative Commons 2.5:

priznanje avtorstva - nekomercialno - deljenje pod enakimi pogoji.

Celotna licenca je na voljo na spletu na naslovu http://creativecommons.org/licenses/by-nc-sa/2.5/si/. V skladu s to licenco je dovoljeno vsakemu uporabniku delo razmnoževati, distribuirati, javno priobčevati, dajati v najem in tudi predelovati, vendar samo v nekomercialne namene in ob pogoju, da navede avtorja oziroma avtorje in izdajatelja tega dela. Če uporabnik delo predela, kar pomeni, da ga spremeni, preoblikuje, prevede ali uporabi to delo v svojem delu, lahko predelavo dela ponudi na voljo le pod pogoji, ki so enaki pogojem iz te licence oziroma pod enako licenco.

De Morganova zakona

Z dopolnjevanjem pravilnostne tabele utemelji, zakaj sta naslednji sestavljeni izjavi enakovredni. $$\neg (A \land B)=(\neg A) \lor (\neg B)$$


$A$ $B$
$A \land B$
$\neg A$
$\neg B$
$\neg (A \land B)$
$(\neg A) \lor (\neg B)$
p
 p
p
n
n
n
n
p
n
n
n
p
p
p
n
p
n
p
n
p
p
n
n
n
p
p
p
p

Pravkar smo utemeljili, da je negacija konjunkcije enakovredna disjunkciji negacij.$$ \neg (A \land B)=(\neg A) \lor (\neg B)$$ Velja tudi, da je negacija disjunkcije enakovredna konjunkciji negacij. $$ \neg (A \lor B)=(\neg A) \land (\neg B)$$ Enakovrednost teh parov izjav imenujemo De Morganova zakona.

Ta zakona bomo s pridom uporabili pri teoriji množic.

Zgled

Zanikaj izjavo: Jan je matematik ali fizik.

   enakovredno    

Zgled

Izjavo poveži z njeno negacijo.

$(a=1) \lor (a=2)$
$(a \ne 1) \land (a \ne 2)$
$(a \le 1) \land (a \ne 0)$ 
$(a > 1) \lor (a=0)$
$(a \ne 0) \lor (b\ne 0)$
$(a=0) \land (b=0)$
Število napačnih: 0
<NAZAJ
>NAPREJ40/661