INTRODUCCIÓN A LA LOGICA FORMAL -3.LA LOGICA DE PREDICADOS DE PRIMER ORDEN