IZJAVE

IZJAVE

http://www.mp.feri.uni-mb.si/osebne/petek/folije/mat1/izjave.pdf

in, ali, ne

IZJAVA:

Izjava je množica vseh smiselnih pripovednih povedi, ki imajo isti pomen. Izjave torej niso isto kot povedi, saj lahko isto vsebino v izjavi povemo z različnimi povedmi. Lahko bi rekli, da je izjava množica vseh povedi, ki povedo isto.

Izjave je moč med seboj povezovati v "nove" sestavljene izjave, katerih pravilnost je odvisna od

a) pravilnosti posameznih izjav, iz katerih je nova izjava sestavljena in

b) načina povezave med izjavami.

Osnovne logične operacije, s katerimi povezujemo izjave so:

Operacija	Znak	Ime operacije
NE	* ali	NEGACIJA
IN	*	KONJUNKCIJA
ALI	*	DISJUNKCIJA
SLEDI oz. "če - potem"	*	IMPLIKACIJA
NATANKO TEDAJ oz. "če in samo če"	*	EKVIVALENCA

Izjavi, ki ni sestavljena, pravimo elementarna izjava.

Logika raziskuje pravilnost oziroma nepravilnost sestavljenih izjav v odvisnosti od pravilnosti elementarnih izjav.