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

{{Polisèmia|Lògica (desambiguació)}}

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>{{cita llibre|títol = first-order logic|enciclopèdia = 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|fechaacceso = 10 setembre 2009}}</ref> Els llenguatges de primer ordre són, al seu torn, llenguatges amb [[quantificador (lògica)]] és que arriben només a variables d'individu, i amb [[Funció matemàtica|funcions]] els arguments són només constants o variables d'individu.<ref>{{cita llibre|títol = first-order language|enciclopèdia = The Oxford Dictionary of Philosophy|url = http://www.oxfordreference.com/views/ENTRY.html? SubViewer = Main & entry = t98.e1262|editor = Simon Blackburn|editorial = Oxford University Press|fechaacceso = 10 setembre 2009}}</ref>