Introducción

La principal debilidad de la lógica proposicional  es su limitada habilidad para expresar  conocimiento. Existen varias sentencias  complejas que pierden mucho de su significado  cuando se las representa en lógica  proposicional. Por esto, se desarrolló una forma  lógica más general, capaz de representar todos  los detalles expresados en las sentencias, ésta  es la Lógica de Predicados.