ISKAZNA LOGIKA

Atomarni iskaz(jednostavni)
Marko je pravedan,Elizabeta hrabra, a Ivan razborit.

-iskazne simbole tj. Velika latinina slova oznaavaju jednostavne(atomarne)

iskaze. Jednostvan iskaz kao i njegovo znaenje pridruujemo neku istinitosnu
vrijednost(,) tj. Ima istinitosnu funkciju(,)
Sastavljeni iskaz
a) NIJEK
Antun je hrabar.
A
A


istinitosna vrijednost nijeka non A,uvijek je oprijena istinitosnoj
vrijednosti zanijekanoj pod iskaza A
b) KONJUGACIJA
Zagreb je glavni grad Hrvatske i Moskva je glavni grad Litve.
ZM
ZM

konjugacija ZM je akko su oba podiskaza Z i M

c) DIJUNKCIJA
Ivan ili Stjepan putuju u Dubrovnik.
IS
IVS

disjunkcija IVS je akko je barem jedan od njezinih podiskaza I i S

d) IMPLIKACIJA
Ako je Jankova truba nainjena od mjedi,onda u mojoj ima bakra.(ako je 1 onda je
2)
MB
MB

Pogodba MB je akko je bio M bio B

e) EKVIVALENCIJA
U snijegu su ostali tragovi aako je Marko tuda proao.
TM
TM

Dvopogodba TM je akko T i M imaju istu istinitosnu vrijednost.

Zadovoljivost
Iskaz koji je istinit barem za jedno istinito vrednovanje je zadovoljiv iskaz
Iskaz koji ni za jedno istinitno vednovanje nije istinit je nezadovoljiv.
Valjanost
Iskaz koji je istinit za svako istinitno vrednovanje je valjan(tautologija)
Neprotuslovlje i iskljuenje srednjeg
(PP) neprotuslovlje
PVP iskljuenje srednjeg
Nije sluaj da Pavao ostaje u Poreu. P
Anica nije otputovala u panjolsku nego u Portugal. P
Nije tako da i Matija i Andrija ele u Varadin. (MA)
Semantika iskazne logike
Pravila vrednovanja:
1.Non P je istinito akko j P neistinito
2.PQ je istinito akko su i P i Q istiniti
3.PVQ je istinito akko je bilo P bilo Q istiniti
4.PQ je istinito akko bilo P neistinito bilo Q istinito
5.PQ je istinito akko su P i Q bilo oba istiniti bilo oba neistiniti
Istovrijednosti()
Iskaz koji za svako istinitosno vrednovanje imaju meusobno jednake istinitosne
vrijednosti jesu istovrijedni.
PP

Reductio ao apsurdum

((IVS)I)S

Metodom svoenja na nemogue provjeravamo valjanost zakljuka

Zanima nas ima li protu primjer,ako ima nije valjan.