Este libro est? pensado para alumnos universitarios, de la rama cient?fica e incluso de Filosof?a. Contiene res?menes de teor?a y problemas resueltos. En concreto: c?mo se utilizan las conectivas y cuantificadores para formalizar enunciados y razonamientos, y c?mo usar los m?todos de deducci?n natural, resoluci?n y tablas de verdad, para validar si un razonamiento es correcto o no. A menudo usamos la palabra "l?gica". En el d?a a d?a, expresamos opiniones...