606Cálculo de predicadosTT2014-09-15 19:33:47UF607Lógica del cálculo de predicadosNDUF608Cuantificación de predicadosNDUF609Predicados, Cálculo deNDRT10325Predicado (Lógica)PTRT28922Lógica matemáticaPT