CURSO TALLER DE LÓGICADirigido a profesores de la Especialidad de Matemática y afines

Se desarrollará1. NOCIONES BÁSICAS

A. La lógica formalB. ¿Qué es una inferencia?C. Inferencias inductivasD. Inferencias deductivasE. ProposicionesF. Funciones básicas del lenguajeG. Taller de problemas resueltos

2. LÓGICA PROPOSICIONALA. DefiniciónB. ProposiciónC. Clases de proposicionesD. Taller de problemas resueltos

3. FORMALIZACIÓN EN LA LÓGICA PROPOSICIONAL

A. VariablesB. Operadores lógicosC. Signos de agrupaciónD. FormulasE. Formulas bien formadas (fbf)F. Jerarquización de las formulasG. Uso de los puntos auxiliaresH. Taller de problemas resueltos

4. FUNCIONES VERITATIVAS – TABLAS DE VERDAD

A. Funciones veritativasI. NegaciónII. ConjunciónIII. Disyunción inclusiva o

débil IV. Disyunción exclusiva o

fuerteV. CondicionalVI. Bicondicional

B. Tablas de verdad y esquemas lógicos

C. Funciones veritativas D. Taller de problemas resueltos

5. PRINCIPIOS LÓGICOS – LEYES LOGICAS I (Equivalencias Notables)

A. Principio lógicoB. Principios lógicos clásicos

I. Principio de identidadII. Principio de no

contradicciónIII. Principio del tercio

excluidoC. Equivalencias notablesD. Taller de 60 problemas resueltos

6. LÓGICA INFORMÁTICAA. Relación entre la lógica y la

Informática

B. Circuitos eléctricosI. Circuito en SerieII. Circuito en Paralelo

C. Taller de problemas resueltos7. LEYES LÓGICAS II (Equivalencias

Notables)A. Modus Ponendo Ponens (MPP)B. Modus Tollendo Tollens (MTT)C. Silogismo Disyuntivo (SD)D. Silogismo Hipotético Puro (SHP)E. ConjunciónF. SimplificaciónG. Derivación o deducción naturalH. Taller de problemas resueltos

8. LÓGICA PREDICATIVA : PROPOSICIONES CATEGORICAS

A. ConceptoB. CaracterísticasC. Las formas típicas y su relaciónD. Calidad y CantidadE. Taller de problemas resueltos

9. INFERENCIAS INMEDIATAS – CUADRO DE BOECIO

A. Cuadro de BoecioB. ContradictoriasC. ContrariasD. SubcontrariasE. SubalternasF. SubalternantesG. Taller de problemas resueltos

10. SILOGISMO CATEGORICOA. GeneralidadesB. Definición de silogismo

categóricoC. Estructura del Silogismo

CategóricoD. Figuras del SilogismoE. Modos del SilogismoF. Taller de 60 problemas resueltos

11. REGLAS DEL SILOGISMOA. Cuatro reglas sobre las

proposiciones que integran el Silogismo

B. Cuatro reglas sobre la deducción que se hace de las premisas

C. Taller de problemas resueltos

12. DIAGRAMAS DE VENN EN EL SILOGISMO CATEGÓRICO

A. Pasos a seguir en los diagramas de Venn

B. Taller de problemas resueltos

COSTO:LUGAR: SAN VICENTE – CAÑETECada Taller tendrá una duración de 5 horas

INICIO: EL CURSO ESTARA DICTADO POR EL

PROFESOR:BORIS MENDOZA PORTOLATINO