Izjava v logiki je smiselna poved, za katero lahko z gotovostjo trdimo, da je bodisi pravilna bodisi nepravilna. Pravimo, da določimo logično vrednost izjave.
Izjave označujemo z velikimi tiskanimi črkami A,B, C… logično vrednost pa s p (pravilna) oziroma z n (nepravilna).
NEGACIJA
Negacija je logična operacija, ki izjavi spremeni njeno resničnostno vrednost, tako da pravilno izjavo spremeni v nepravilno in nepravilno v pravilno.
KONJUNKCIJA
Konjunkcija je logična operacija, ki poveže dve izjavi z besedo IN, celotna sestavljena izjava pa je pravilna le takrat, ko sta pravilni obe posamezni izjavi hkrati.
DISJUNKCIJA
Disjunkcija je logična operacija, ki poveže dve izjavi z besedo ALI, celotna sestavljena izjava pa je pravilna vedno, razen takrat, ko sta obe posamezni izjavi hkrati nepravilni.
IMPLIKACIJA
Implikacija je logična operacija, ki poveže dve izjavi z besedo ČE… POTEM, celotna izjava pa je nepravilna le v primeru, ko je prva izjava pravilna, druga pa nepravilna.
EKVIVALENCA
Ekvivalenca je logična operacija, ki poveže dve izjavi z besedama ČE IN SAMO ČE, celotna izjava pa je pravilna le takrat, ko imata obe posamezni izjavi enako logično vrednost.
Tabele za dve oziroma tri izjave moraš znati na pamet.
Najdeš jih (skupaj z 10 rešenimi primeri) v zapiskih spodaj.
Prenesi dodatne vaje
Več rešenih nalog najdeš v knjigi za 1. letnik
