olemus
formaalloogika haru, mis kasutab predikaate ning
eksistentsi- ja üldsuskvantoritega seotud muutujaid;
predikaate ei saa siduda kvantoritega
= symbolized reasoning in which each sentence, or statement, is broken down into a subject and a predicate

ülevaateid
https://www.cs.utexas.edu/~mooney/cs343/slide-handouts/fopc.4.pdf

https://cgi.csc.liv.ac.uk/~frank/teaching/comp118/lecture4.pdf

http://www.sci.brooklyn.cuny.edu/~chipp/cis32/lectures/Lecture15.pdf

https://www.youtube.com/watch?v=VjTdFqxyiRM

http://mathworld.wolfram.com/First-OrderLogic.html

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

https://eng.libretexts.org/Bookshelves/Computer_Science/Programming_and_Computation_Fundamentals/Book%3A_An_Introduction_to_Ontology_Engineering_(Keet)/03%3A_First_Order_Logic_and_Automated_Reasoning_in_a_Nutshell/3.01%3A_First_Order_Logic_Syntax_and_Semantics

http://fmv.jku.at/logic/FO1.pdf

https://link.springer.com/article/10.1007/s10992-017-9429-y

rakendusi
https://kcir.pwr.edu.pl/~witold/ai/aie_logic_s.pdf

http://www.ijcotjournal.org/2018/volume-8-issue-2/IJCOT-V8I2P307.pdf

https://study.com/academy/lesson/first-order-logic-in-ai-identification-uses-calculations.html

vt ka
- predikaatloogika
- teist järku loogika