Unidad N° 1.

Cálculo proposicional e inferencia

lógica

Proposiciones Reglas de
lógica, enunciados inferencia y Leyes de Morgan
y conectivos demostraciones

Reglas de Modus Ponendo

inferencias Ponens

Otras reglas de Modus Tollendo

inferencia Tollens

Regla de doble
Tablas de verdad
negación

Ley de adjunción y
Tautologias
simplificación

Ley de adicción,
silogismo
hipotetico

Silogismo
disyuntivo, leyes
conmutativas
 Unidad N° 2

Teoria de Conjuntos y Algebra

de Boole

Teoria de Algebra de
Conjuntos Boole

Contexto Representacion Relación con la Contexto

Caracteristicas Operaciones es graficas
Propiedades
logica clasica
Caracteristicas Operacioes
histórico historico