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.

Povzetek

IZJAVA je smiselna poved, ki ji lahko določimo logično vrednost (ali je pravilna ali nepravilna). Izjave označujemo z $A$, $B$ ..., logično vrednost pa s p (pravilna) oziroma n (nepravilna).

Izjave povezujemo v SESTAVLJENE izjave.


Znaki za logične operatorje NE, IN, ALI so po vrsti $\neg$, $\land$, $\lor$.
Izjava, ki ni sestavljena, se imenuje ELEMENTARNA.

Negacija je pravilna, če je izjava nepravilna (in obratno).

Konjunkcija je pravilna le, ko sta obe izjavi pravilni.

Disjunkcija je nepravilna le, ko sta obe izjavi nepravilni.

Poljubno določi logično vrednost elementarnih izjav in opazuj soodvisnost logičnih vrednosti iz njih sestavljenih izjav.


Izjavi sta ENAKOVREDNI ($A=B$) natanko tedaj, ko imata pri vsakem naboru logičnih vrednosti izjav enako logično vrednost.

Lastnosti operatorjev

$\neg (\neg A)=A$
negacija negacije
$A \land B=B \land A$ komutativnost konjunkcije
$A \lor B=B \lor A$ komutativnost disjunkcije
$(A \land B) \land C=A \land (B \land C)$ asociativnost konjunkcije 
$(A \lor B) \lor C=A \lor (B \lor C)$ asociativnost disjunkcije
$A \land (B \lor C)=(A \land B) \lor (A \land C)$ distributivnost
$A \lor (B \land C)=(A \lor B) \land (A \lor C)$ distributivnost
$ \neg (A \land B)=(\neg A) \lor (\neg B)$ De Morganov zakon
$ \neg (A \lor B)=(\neg A) \land (\neg B)$ De Morganov zakon

<NAZAJ
>NAPREJ41/661