IZJAVNA LOGIKA

Izjave

Izjava je vsak povedni stavek.
Primeri izjav:

V logiki izjave označujemo v velikimi tiskanimi črkami z začetka abecede: A, B, C...


Izjava je lahko pravilna ali nepravilna. Pravilnost izjave ugotavljamo tako, da njeno trditev primerjamo z resničnim stanjem.

Pravilne izjave označujemo s p ali 1, nepravilne pa z n ali 0.


Izjave so lahko preproste oz. elementarne - teh ne moremo razstaviti na bolj enostavne. Iz enostavnih izjav z uporabo izjavnih povezav gradimo sestavljene izjave.
"Zunaj je oblačno" je elementarna izjava. Ne moremo je razstaviti.
"Metka gleda film in pije kokakolo" je sestavljena izjava, saj je sestavljena iz dveh elementarnih izjav: "Metka gleda film" in "Metka pije kokakolo".


NASLEDNJA STRAN