Temario Logica Matematica

Contenido

Unidad 1 Teoría de conjuntos y principios de Lógica.

Capitulo 1 Teoría de conjuntos

 Representación gráfica

 Formas para determinar un conjunto

 Conjuntos Finitos

 Conjuntos especiales

 Relaciones entre conjuntos

 Operaciones entre conjuntos

 Álgebra de conjuntos

Capitulo 2 Principios de Lógica

 Historia y clasificación

 Clasificación de la lógica

 Conceptualización

 Lógica y lingüística

 Simbolización

 Proposiciones

 Conectivos Lógicos

 Proposiciones simples

 Proposiciones Compuestas

 Tablas de verdad

 Leyes de la lógica

 Leyes del álgebra de proposiciones

 Cuantificadores

Capitulo 3 Preliminares sobre las proposiciones

 Proposiciones categóricas

· Proposición categórica universal afirmativa

· Proposición Categórica Universal negativa

· Proposición categórica afirmativa particular

· Proposición Categórica Negativa particular

 Cualidad y cantidad de las proposiciones categóricas

 Proposiciones contrarias, de contingencia y subcontrarias

 Símbolo y diagramas para proposiciones categóricas

3

Capitulo 4 Deducción

 El método científico

 Silogismos categóricos

 Forma Estándar de un silogismo categórico

 Argumento deductivo

 Argumento Válido

· Prueba formal de validez

· Prueba de invalidez

· Argumento Invalido

 Inferencias lógicas

· 9 Reglas de inferencia

 La demostración

· Demostración directa

· Demostración indirecta

· Demostración por recursión

· Demostración por refutación

· Refutación por contradicción

· Refutación por contraejemplo

Capitulo 5 Inducción

 El problema de la inducción:

 Argumento inductivo por analogía

 Evaluación de los argumentos analógicos

 La fuerza de las conclusiones con respecto a sus premisas.

 Refutación por medio de una analogía lógica

Unidad 2 Un Álgebra Booleana

Capitulo 1 Axiomas del Álgebra Booleana

 propiedades o axiomas

 Álgebra booleana en sistemas numéricos

 Álgebra booleana de los conjuntos

 Álgebra booleana de la lógica

Capitulo 2 Expresiones Booleanas

 Forma normal disyuntiva

 Forma normal conjuntiva

__________________________________________________________________________

Universidad Nacional Abierta y a Distancia – UNAD. comentarios en: georffrey@gmail.com

4

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

MODULO DE LOGICA MATEMÁTICA

Capitulo 3 Simplificación de Expresiones Booleanas

 Simplificación de expresiones booleanas mediante mapas de

Karnaugh

Capitulo 4 Definición y representación de los circuitos lógicos

 Circuito de disyunción

 Circuito de negación

 Adición o suma lógica.

 Multiplicación o producto lógico

 Complementación o inversión lógica

 Otras compuertas lógicas

Capitulo 5 Aplicación de los circuitos lógicos

...