Éstudio formal de proposiciones, predicados, "First Order Logic".