Predikatski racun Flashcards
1
Q
Predikat
A
.
2
Q
predikatski racun I reda, predikatska formula
A
.
3
Q
Vezano pojavljivanje promjenljive, nije vezano
A
.
4
Q
vezana pormjenljiva, slobodna prom.
A
.
5
Q
zatvorene formule
A
.
6
Q
Interpretacija jezika prvog reda
A
.
7
Q
Valuacija pri interpretaciji
A
.
8
Q
Vrednost izraza
A
.
9
Q
Istinitosna vrednost elementarne predikatske formule
A
.
10
Q
formula tacna u interpretaciji
A
.
11
Q
valjana formula
A
.
12
Q
ekvivalentnte formule
A
.
