Lògica de primer ordre
From Wikipedia, the free encyclopedia
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.[1] Els llenguatges de primer ordre són, al seu torn, llenguatges amb quantificador que arriben només a variables d'individu, i amb funcions els arguments de les quals són només constants o variables d'individu.[2]
La lògica de primer ordre té el poder expressiu suficient per a definir pràcticament totes les matemàtiques.
Com el desenvolupament històric i les aplicacions de la lògica de primer ordre estan molt lligats a la matemàtica, en el que segueix es farà una introducció que contempli i il·lustre aquesta relació, prenent exemples tant de la matemàtica com del llenguatge natural. Primer s'introdueixen cada un dels conceptes bàsics del sistema, i després es mostra com utilitzar-los per analitzar arguments.