2 Sintaksa i semantika logike prvog reda

Članci

1 Elementi sintakse i semantike
2 Zapis
3 Slobodne i vezane promenljive
4 Interpretacija formule i domeni
5 Istinitosna vrednost rečenica i valuacija
6 Valjanost, zadovoljivost i ekvivalentnost