olemus
formaalloogiline süsteem,
mis sisaldab predikaate ja kus
muutujad võivad olla kvanditud

ü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

http://www.nitjsr.ac.in/course_assignment/CA3402%20AI%20lecture%2011.pdf

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

http://tellerprimer.ucdavis.edu/pdf

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