UFM kolokvij 1 odgovori na pitanja

(1)Definirajte abecedu jezika rauna sudova.

Abeceda jezika rauna sudova:
{

{
{

} skup logikih veznika redom ne, i, ili, povlai i ekvivalentno

} lijeva i desna zagrada

(2)Definirajte pravila gradnje sudova.

Klasu

svih sudova jezika

dobivamo prema narednoj definiciji. Pritom koristimo slova

F,G,H... kao metavaraijable za sudove:

(1)Svaki atomarni sud je sud
(2)Ako je F sud, onda je to i
(3)Ako su F I G sudovi, onda su to i
(4)Rije u abecedi

jezika

.
je sud akko je dobivena primjenom nekih (moda i svih) od

pravila (1) do (3) konano mnogo puta.

(3)Objasnite na primjeru Hilbertovu aksiomatizaciju rauna sudova.
?????????????
(4)Objasnite metateorem dedukcije.
Neka je

bilo koja dva suda. Ako je ispunjeno

ispunjeno i

{ }

, onda je takoer

(5)Definirajte pojam interpretacije suda.

Neka je sud F sainjen od atoma
{

. Interpretacija i suda F je preslikavanje

}. Vrijednosti 0 i 1 su vrijednosti istinitosti la i istina. S atomarnih sudova

interpretacija se na polazni sud proiruje posredstvom semantikih tablica. Ako je ( )

onda je sud

laan u interpretaciji i. Ako je ( )

, onda je sud

istinit u interpretaciji i.

(6)Definirajte jednoznano odreivanje istinitosne vrijednosti suda.

(7)Kakvi sve sudovi mogu biti s obzirom na sve mogude interpretacije?

a) Sud F, istinit u svakoj svojoj interpretaciji, zovemo identiki istinitim sudom ili
tautologijom
b) Sud F, istinit bar u jednoj svojoj interpretaciji, zovemo ispunjivim ili nekontradiktornim
sudom
c) Sud F, laan u svakoj svojoj interpretaciji, zovemo identiki lanim sudom ili
antitautologijom

(8)to su tablice istinitosti (semantike tablice) i to prikazuju redovi u njima?

Tablicama istinitosti definiramo smisao odgovarajudeg logikog veznika.
(a)

(b)

(c)

(d)

(e)

(9)Dokaite sljededu tvrdnju: Neka su sudovi F i FG tautologije. Tada je i sud G tautologija.

(10)Napiite dokaz za metateorem adekvatnosti rauna sudova.

(11)Definirajte dokaz za metateorme potpunosti rauna sudova.

(12)Definirajte pojam logike posljedice za raun sudova.

Logika posljedica G je logika posljedica od
interpretacijama u kojima su istiniti svi sudovi

akko je sud G istinit u svim svojim

.

(13)Napiite dokaz sljededeg metateorema o karakterizaciji pojma logike posljedice: sud G je

logika posljedica sudova

ako i samo ako je sud

kontradiktoran.

(14)Napiite dokaz sljededeg metateorema o karakterizaciji pojma logike posljedice: sud G je

logika posljedica sudova

ako i samo ako je sud

tautologija.

(15)Kada je sud u negacijsko j normalnoj formi?

Sud je u negacijskoj normalnoj formi ako se u njoj nalaze samo negacije atomarnih sudova i ako
ne sadri dvostruke ili viestruke negacije. Za svaki sud moemo upotrebom i De Morganovih
pravila odredit logiki ekvivalentan sud u negacijskoj normalnoj formi.
(16)Definirajte disjunktivnu normalnu formu (DNF).
Kaemo da je sud F u DNF, ako je F disjunkcija sudova
literala1

Neka su

literali. Tada se sud oblika

konjunkti. Tada kaemo da je sud

ili ... ili

i ... i

, a svaki

je konjunkcija nekih

naziva konjunkt. Neka su

u disjunktivnoj normalnoj formi DNF.

(17)Definirajte konjunktivnu normalnu formu (KNF).

Kaemo da je sud F u KNF, ako je F konjunkcija sudova
literala
Neka su

, a svaki

je disjunkcija nekih

.
literali. Tada se sud oblika

disjunkti. Tada kaemo da je sud

i ... i

i ... i

naziva disjunkt. Neka su

u konjunktivnoj normalnoj formi KNF.

(18)Kako odreujemo DNF pomodu semantikih tablica.

Koraci:
1. Izraunati istinitosnu tablicu za sud
2. Promotriti sve retke koji imaju vrijednost T(1) i vrijednosti atoma u njima:
a. Negirati sve one atome koji imaju vrijednost F(0), a one koji imaju vrijednost T(1)
ostaviti bez negacije
b. Spojiti tako dobivene literale pomodu konjunkcija
3. Tako dobivene konjunkte spojiti disjunkcijama
(19)Kako odreujemo KNF pomodu semantikih tablica.
Koraci:
1. Izraunati istinitosnu tablicu za sud
2. Promotriti sve retke koji imaju vrijednost T(1) i vrijednosti atoma u njima:
a. Negirati sve one atome koji imaju vrijednost T(1), a one koji imaju vrijednost F(0)
ostaviti bez negacije
1

LITERAL za sud F kaemo da je literal ako je

ili

za neki atom

b. Spojiti tako dobivene literale pomodu disjunkcija

3. Tako dobivene disjunkte spojiti konjunkcijama

(20)Formalno opiite proceduru rjeavanja problema logikog izvoda (metoda automatske

dedukcije za RS).
Dokaz da je

logika posljedica od

1)Dokaz da je

logika posljedica od

svodimo na dokaz da je

kontradiktoran.
2)Sud

pretvaramo u KNF, tj {

3)
4)Dokazujemo da je

} je skup reprezentanata suda F.

kontradiktoran skup disjunkta.

5)Dokaz kontradiktornosti skupa disjunkta

posljedica od

}, gdje je

} svodimo na dokaz da je

logika

identiki laan ili kontradiktoran sud antitautologija.