Lògica de primer ordre: diferència entre les revisions

La '''lògica de primer ordre''', també anomenada '''lògica de predicats''' o '''càlcul de predicats''', és un [[sistema formal]] dissenyat per estudiar la [[inferència]] en els llenguatges de primer ordre.<ref>{{ref-llibre |capítol=first-order logic|títol=The Oxford Dictionary of Philosophy |url=http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t98.e1263|editor=Simon Blackburn|editorial=[[Oxford University Press ]]|consulta=10 setembre 2009}}</ref> Els llenguatges de primer ordre són, al seu torn, llenguatges amb [[quantificador (lògica)|quantificador ]] que arriben només a variables d'individu, i amb [[Funció matemàtica|funcions]] els [[argument]]s de les quals són només constants o variables d'individu.<ref>{{ref-llibre |capítol=first-order language|títol=The Oxford Dictionary of Philosophy|editor=Simon Blackburn|editorial=Oxford University Press|consulta=10 setembre 2009}}</ref>