olemus
formaalloogiline süsteem, mis sisaldab predikaate ja
kus muutujad võivad olla kvantormuutujad
= a formal system that uses variables and quantifiers to formulate propositions

ülevaateid
http://web.sfc.keio.ac.jp/~hagino/logic15/07-ppt.pdf

http://www.sfu.ca/~jeffpell/Ling324/fjpSlides6.pdf

https://www.cs.ox.ac.uk/people/paul.goldberg/FCS/slides5.pdf

https://en.wikipedia.org/wiki/First-order_logic

http://infolab.stanford.edu/~ullman/focs/ch14.pdf

https://www.logicinaction.org/docs/ch4.pdf

http://tellerprimer.ucdavis.edu/pdf

vt ka
- esimest järku predikaatloogika
- lausearvutus
- matemaatiline loogika