Transcript
1.
1.
2.
2.
F
Navešćemo teoreme iskaznog računa koje se koriste u dokazu kompletnosti:
4.
delu teoreme
prethodnom 3.
delu teoreme 4
delu teoreme
deo teoreme
delu teoreme 4
delu teoreme 4
5.
5
7.
4 pod7
4
8.
7.
već dokazanim tvrđenjima imamo da
4.7
dokazanom