olemus
predikaatloogika, milles kvantifitseeritakse lisaks subjektmuutujatele ka predikaatmuutujaid
= the extension of first-order logic obtained by introducing quantification of predicate and function variables

näiteid
teist järku loogika lause:
"sellest, et iga omaduse P korral kehtib P(x) parajasti siis,
kui kehtib P(y), järeldub, et x = y "
= the statement: "From the fact that for every property P,
P(x) holds exactly when P(y) holds, it follows that x = y "

ülevaateid
https://en.wikipedia.org/wiki/Second-order_logic

https://plato.stanford.edu/entries/logic-higher-order/

https://www.rtrueman.com/uploads/7/0/3/2/70324387/second-order_logic_primer.pdf

http://phil.elte.hu/mekis/sol.pdf

http://www.math.uchicago.edu/~may/VIGRE/VIGRE2009/REUPapers/Jerzak.pdf

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