LOGICA DE PREDICADOS

r

Lenguaje más formal y expresivoSe utiliza los enunciados "Todo" y "Alguno"

LENGUAJE EXPRESIVO

ALFABETO DE L1

EXPRESIONES PARA OBJETOS
PARTICULARES

ALFABETO DE LA LOGICA DE PRIMER ORDEN

REGLAS DE FORMACION

PROPIEDADES Y RELACIONES

SATURANDO PREDICADOS

CUANTIFICACION

r

La cuantificación consiste en utilizar ciertas partículas lógicas para referirse a cantidades de individuos de un cierto grupo.