La lògica de predicats de primer ordre, també coneguda com a lògica de primer ordre (FOL), és un sistema formal utilitzat en matemàtiques, filosofia, lingüística i informàtica. Amplia la lògica proposicional incorporant quantificadors i predicats, la qual cosa permet un llenguatge més expressiu capaç de representar una gamma més àmplia d'enunciats sobre el món. Aquest sistema lògic és fonamental en diversos