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.

Konjunkcija in disjunkcija

Pred pravilnimi konjunkcijami in disjunkcijami napiši črko p, pred nepravilnimi pa črko n. Pri razmišljanju si pomagaj s pomenom veznikov IN oziroma ALI.
n $(3 \vert 4) \land (2 \vert 4)$     p $(3 \vert 4) \lor (2 \vert 4)$     p $(1 \vert 5) \land (2 \vert 4)$

p $(-2 \le 3) \land (3 \le 5)$                n $(-2 \le -4) \lor (5 \le 3)$

p $\left(\frac{1}{2}=1, \, 2 \right) \lor \left(\frac{2}{3}=\frac{4}{6}\right)$        n $\left(\frac{3}{8}=\frac{1}{2}\right) \land \left(\frac{2}{5}=\frac{1}{3}\right)$ 

Konjunkcija je pravilna le v primeru, ko sta obe izjavi pravilni. Disjunkcija je nepravilna le, ko sta obe izjavi nepravilni. 
$A$
$B$
$A \land B$
$A \lor B$ 
p
 p
p
 p
p
n
n
p
n
p
n
p
n
n
n
n

Zgled

Preberi izjave $A$, $B$ in $C$ in ugotovi njihovo logično vrednost.
$A$: $\mathbb{N} \subset \mathbb{Z}$    $B$: $\mathbb{Z} \subset \mathbb{Q}$    $C$: $\mathbb{R} \subset \mathbb{Q}$

Kakšna je v tem primeru logična vrednost sestavljene izjave
$(A \lor (\neg A \land B)) \land (\neg C \land (A \lor \neg B))$?

Zgled

Naj bo $A$ nepravilna izjava. Kakšna mora biti logična vrednost izjave $B$, da bo izjava $(\neg A \lor A) \land (\lnot B \lor A)$ pravilna?

2. način reševanja

Izjava $A$ je nepravilna, zato sta $\neg A$ in $(\neg A \lor A)$ pravilni izjavi. $$\large{\underbrace{\underbrace{(\neg A \lor A)}_{\rm{(p)}} \land \underbrace{(\neg B \lor A)}_{\rm{(?)}}}_{\rm{(p)}}}$$ Ker je konjunkcija pravilna le, če sta obe izjavi pravilni, mora biti $(\neg B \lor A)$ pravilna izjava. $$\large{\underbrace{(\neg B \lor A)}_{\rm{(p)}}}$$ Ker je disjunkcija pravilna, če je vsaj ena od izjav pravilna, mora biti izjava $\neg B$ pravilna. Rešitev naloge je torej: $B$ je nepravilna izjava.

<NAZAJ
>NAPREJ38/661