cálculo proposicional e inferencia lógica

proposiciones

expresión con sentido completo

Inferencia Lógica

Regla de transformación

Formula O Expresión (EBF)

EBF Como teoria del mismo sistema

Reglas y leyes

Regla de doble Negación

Ley de Adjunción

Ley de Simplificación

Ley de Adición

Ley de Silogismo Hipotético

Ley de Silogismo Disyuntivo

Ley de Simplificación Disyuntiva

Leyes Conmutativas

Leyes de Proposiciones Bicondicionales

Generalidades Lógicas Matemáticas

Teoría de Conjunto

Colección de elementos con características similares considerada en sí misma como un objeto

Forma de determinar un Conjunto

Por extención

Por Comprención

Representación Gráfica

∈

Indica que Pertenece al grupo

∉

Indica que No Pertenece al grupo

Relaciones entre Conjunto

Las cuales son

Conjunto Potencia

Partición

Subconjuntos propios

Conjuntos Disjuntos

Subconjunto

Igualdad

Operaciones de Conjuntos

Unión

Divergencia

Intersección

Producto Cartesiano

Complemento

Clases de Conjunto

Finito

Infinito

Especiales

Unitario

Vacio

Universal

Álgebra de BOOLE

Desarrolla

Símbolos matemáticos

Reglas

Aplicadas a problemas

Lógica deductiva

Lógica binaria

Demostró

Aplicación

Álgebra

Simplificación

Circuitos Electronicos

Circuito de Comunicación

Compuertas

Función

Afirmar

Negar

Algo verdadero o Falso

Tipos

Conjunción

Disyunción

El Condicional

El Bicondicional

Simples o Autómicas

Compuestas o Moleculares

Reciproco

Contra Reciproco o Inversa

Tabla de Verdad de Proposiciones Compuestas