10325Predicado (Lógica)TT2014-09-15 19:49:50RT606Cálculo de predicadosPTRT16473Lenguaje y lógicaPT