Lógica y lenguaje. Definición, ámbito de estudio e importancia. Argumentos. Funcines y niveles del lenguaje. Falacias. Logica proporcional. La proposición. El lenguaje de la lógica proporcional. Formalización de inferencias. Las tablas de verdad como método decisorio. Los diagramas semánticos como método decisorio. Leyes lógicas. Deducción natural. Lógica cuantificacional. Importancia y presentación de la lógica cuantificacional. Las proposiciones categóricas típicas. Principales propiedades lógicas de los cuantificadores. Método decisorio.