607Lógica del cálculo de predicadosTT2014-09-15 19:33:47