Este documento describe los cuatro tipos de predicados en cálculo de predicados: nombre común, relación, propiedad y verbo. Explica que las expresiones moleculares y atómicas incluyen variables como x, y, z. Proporciona ejemplos de cada tipo de predicado y explica que para los cálculos predicados se debe dar una definición y sentencia final.