Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 781 vistas

    Taller de Logica

    Cargado por

    Boris Mendoza Portolatino
    Este documento describe un curso taller de lógica dirigido a profesores de matemática. El curso cubre nociones básicas de lógica, lógica proposicional, formalización en lógica proposicional, funciones veritativas y tablas de verdad, principios lógicos, lógica informática, silogismos categóricos, inferencias inmediatas, silogismos categóricos y reglas del silogismo. El curso se llevará a cabo en San Vicente - Cañete y

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd

    Taller de Logica

    Cargado por

    Boris Mendoza Portolatino
    781 vistas1 página
    Este documento describe un curso taller de lógica dirigido a profesores de matemática. El curso cubre nociones básicas de lógica, lógica proposicional, formalización en lógica proposicional, funciones veritativas y tablas de verdad, principios lógicos, lógica informática, silogismos categóricos, inferencias inmediatas, silogismos categóricos y reglas del silogismo. El curso se llevará a cabo en San Vicente - Cañete y

    Derechos de autor

    © Attribution Non-Commercial (BY-NC)

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento describe un curso taller de lógica dirigido a profesores de matemática. El curso cubre nociones básicas de lógica, lógica proposicional, formalización en lógica proposicional, funciones veritativas y tablas de verdad, principios lógicos, lógica informática, silogismos categóricos, inferencias inmediatas, silogismos categóricos y reglas del silogismo. El curso se llevará a cabo en San Vicente - Cañete y

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    781 vistas1 página

    Taller de Logica

    Cargado por

    Boris Mendoza Portolatino
    Este documento describe un curso taller de lógica dirigido a profesores de matemática. El curso cubre nociones básicas de lógica, lógica proposicional, formalización en lógica proposicional, funciones veritativas y tablas de verdad, principios lógicos, lógica informática, silogismos categóricos, inferencias inmediatas, silogismos categóricos y reglas del silogismo. El curso se llevará a cabo en San Vicente - Cañete y

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 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.

    También podría gustarte