You are on page 1of 1

CURSO TALLER DE LGICA

Dirigido a profesores de la Especialidad de Matemtica y afines Se desarrollar


1. NOCIONES BSICAS A. La lgica formal B. Qu es una inferencia? C. Inferencias inductivas D. Inferencias deductivas E. Proposiciones F. Funciones bsicas del lenguaje G. Taller de problemas resueltos LGICA PROPOSICIONAL A. Definicin B. Proposicin C. Clases de proposiciones D. Taller de problemas resueltos FORMALIZACIN EN LA LGICA PROPOSICIONAL A. Variables B. Operadores lgicos C. Signos de agrupacin D. Formulas E. Formulas bien formadas (fbf) F. Jerarquizacin de las formulas G. Uso de los puntos auxiliares H. Taller de problemas resueltos FUNCIONES VERITATIVAS TABLAS DE VERDAD A. Funciones veritativas I. Negacin II. Conjuncin III. Disyuncin inclusiva o dbil IV. Disyuncin exclusiva o fuerte V. Condicional VI. Bicondicional B. Tablas de verdad y esquemas lgicos C. Funciones veritativas D. Taller de problemas resueltos PRINCIPIOS LGICOS LEYES LOGICAS I (Equivalencias Notables) A. Principio lgico B. Principios lgicos clsicos I. Principio de identidad II. Principio de no contradiccin III. Principio del tercio excluido C. Equivalencias notables D. Taller de 60 problemas resueltos LGICA INFORMTICA A. Relacin entre la lgica y la Informtica B. Circuitos elctricos I. Circuito en Serie II. Circuito en Paralelo C. Taller de problemas resueltos 7. LEYES LGICAS II (Equivalencias Notables) A. Modus Ponendo Ponens (MPP) B. Modus Tollendo Tollens (MTT) C. Silogismo Disyuntivo (SD) D. Silogismo Hipottico Puro (SHP) E. Conjuncin F. Simplificacin G. Derivacin o deduccin natural H. Taller de problemas resueltos LGICA PREDICATIVA : PROPOSICIONES CATEGORICAS A. Concepto B. Caractersticas C. Las formas tpicas y su relacin D. Calidad y Cantidad E. Taller de problemas resueltos INFERENCIAS INMEDIATAS CUADRO DE BOECIO A. Cuadro de Boecio B. Contradictorias C. Contrarias D. Subcontrarias E. Subalternas F. Subalternantes G. Taller de problemas resueltos

2.

8.

3.

9.

4.

10. SILOGISMO CATEGORICO A. Generalidades B. Definicin de silogismo categrico C. Estructura del Silogismo Categrico D. Figuras del Silogismo E. Modos del Silogismo F. Taller de 60 problemas resueltos 11. REGLAS DEL SILOGISMO A. Cuatro reglas sobre las proposiciones que integran el Silogismo B. Cuatro reglas sobre la deduccin que se hace de las premisas C. Taller de problemas resueltos 12. DIAGRAMAS DE VENN EN EL SILOGISMO CATEGRICO A. Pasos a seguir en los diagramas de Venn B. Taller de problemas resueltos
COSTO: LUGAR: SAN VICENTE CAETE Cada Taller tendr una duracin de 5 horas INICIO: EL CURSO ESTARA DICTADO POR EL PROFESOR: BORIS MENDOZA PORTOLATINO

5.

6.