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