Sistema da lóxica matemática que estende a lóxica proposicional empregando variables, predicados e cuantificadores de variables, e que, á súa vez é estendida pola lóxica de segunda orde.
Categoría Gramatical:
locución substantiva feminina (axencia de seguros)
Sinónimos:
lóxica predicativa; cálculo de predicados de primeira orde
Abreviatura:
LPO
Ver tamén:
lóxica descritiva
