LOGICA PROPOSICIONAL

Proposiciones

INFERENCIA Una proposición matemática es un

LOGICA enunciado, frase o expresión que tiene
un significado determinado y que
• REGLAS DE mediante un criterio definido puede
INFERENCIA SON: ser clasificado inequívocamente como
verdadero o falso.

lModus tollendo Modus tollendo

Modus ponendo
tollens (TT) a ponens (TP) Valor de las
ponens (PP
proposiciones.
Doble negación Regla de
(DN) simplificación (S) Negación de una
proposición

Proposiciones simples y
compuestas

Conectivos
Lógicos
Conjunción Condicional
Disyunción
Disyunción Exclusiva
Inclusiva
Condicional

Bicondicional
Tabla de verdad de
Tabla de verdad de
la disyunción
la conjunción.
inclusiva.
 Teoría de Conjuntos

ALGEBRA DE
BOOLE Teoría axiomática de
Teoría intuitiva de conjuntos
conjuntos
• CIRCUITOS
DIGITALES
FUNDAMENTALES Y Álgebra de
ALGEBRA DE BOOLE Conjuntos

Axioma de Axiomas del Par, de

son circuitos Relaciones y la Unión y de las
Reemplazamiento
lógicos, y se Funciones Partes
pueden OPERACIONES Axiomas de
distinguir dos Extensional dad y
LOGICAS de Separación
tipos de lógica: FUNDAMENTALES.
Lógica positiva
Lógica negativa
PROPIEDADES
DEL ÁLGEBRA Suma lógica. Producto lógico
DE BOOLE Complementación

Ley de Propiedad
involución conmutativa

Propiedad
asociativa Propiedad
distributiva