----------------------- Page 1----------------------Sintakticka valjanost

Nesuvislost i suvislost
Sintakticka istovrijednost, odnos prema semantickim svojstvima
Kanonski dokaz

Logicka svojstva u iskaznoj dedukciji

Uz Uvod u elementarnu logiku, 3.2-3 (str.
6476)
Kolegij Logika 1
Filozofski fakultet Sveucilista J. J. Strossmayera u Osijeku, Srec
ko Kovac
ljetni semestar 2010/11.
Kolegij Logika 1

Logicka svojstva u isk

aznoj dedukciji Uz
----------------------- Page 2----------------------Sintakticka valjanost
Nesuvislost i suvislost
Sintakticka istovrijednost, odnos prema semantickim svojstvima
Kanonski dokaz

Pomocu deduktivnoga sustava mozemo provjeravati logicka

svojstva iskaza i skupova iskaza.

De nicija (sintakticka valjanost zakljucka)

Zakljucak je sintakticki valjan ako i samo ako je njegov zaglavak

dokazljiv iz skupa koji se sastoji od premisa toga zakljucka.

De nicija (poucak)

Iskaz p jest poucak ako i samo ako je p dokazljiv iz praznoga

skupa iskaza.
Kolegij Logika 1

Logicka svojstva u i

skaznoj dedukciji Uz
----------------------- Page 3----------------------Sintakticka valjanost
Nesuvislost i suvislost
Sintakticka istovrijednost, odnos prema semantickim svojstvima
Kanonski dokaz

De nicija (Nesuvisao (nekonsistentan) skup)

Skup je iskaza nesuvisao ako i samo ako je iz njega dokazljivo p

i p. (Inace je suvisao.)
Stavak

Ako skup nesuvisao, iz je dokazljiv bilo koji iskaz p. Dokaz:

skripta str. 68 (stavak 3.3).
Stavak
Ako je skup nesuvisao, nesuvisao je i svaki njegov nadskup.
Dokaz: skripta str. 69 (stavak 3.4).
Stavak
p ako i samo ako je {p}nesuvislo. Dokaz: skripta str. 69
(stavak 3.5).
Kolegij Logika 1

Logicka svojstva u iskaz

noj dedukciji Uz
----------------------- Page 4----------------------Sintakticka valjanost
Nesuvislost i suvislost
Sintakticka istovrijednost, odnos prema semantickim svojstvima
Kanonski dokaz

De nicija (Sintakticka istovrijednost, )

Iskazi p i q jesu sintakticki istovrijedni (krace p q) ako i samo

ako je

q dokazljivo iz {p}, a p dokazljivo iz {q}.

Sintakticka svojstva odgovaraju semantickima na sljedeci nacin:

sintakticka valjanost
:
semanticka valjanost

poucak
:
valjan iskaz
(ne)suvislost
:
(ne)zadovoljinost

sintakticka istovrijednost
:
semanticka istovrijednost
Dokaz dajemo u kolegiju Logika 2.
Kolegij Logika 1
kaznoj dedukciji Uz
----------------------- Page 5----------------------Sintakticka valjanost

Logicka svojstva u is

Nesuvislost i suvislost
Sintakticka istovrijednost, odnos prema semantickim svojstvima
Kanonski dokaz

Kanonski je dokaz dokaz nesuvislosti. Valjanost zakljucka se stoga

kanonski provjerava tako da se provjerava je li skup sto ga cine

premise i nijek zaglavka nesuvisao. Ako jest, zakljucak je valjan.

Najprije sve pretpostavke kanonskoga dokaza preoblikujemo u

disjunktivni normalni oblik. Zatim pravilima iskljucenja i disjunkcije i

iskljucenja konjunkcije rasclnjujem sve iskaze na slovne iskaze, te
ako pod svim disjunktima dobijemo protuslovlje, zadani je skup
nesuvisao.
Kolegij Logika 1
skaznoj dedukciji Uz

Logicka svojstva u i