Catégories : Tous - proposiciones - álgebra - conjuntos - lógica

par Victor Macea Il y a 4 années

873

cálculo proposicional e inferencia lógica

El texto aborda diversos conceptos fundamentales de la lógica y las matemáticas, centrándose en el cálculo proposicional y la inferencia lógica. Expone las reglas de transformación y las leyes que rigen las proposiciones, incluyendo leyes como la de simplificación, el silogismo hipotético y la doble negación.

cálculo proposicional e inferencia lógica

Algo verdadero o Falso

Tipos

Tabla de Verdad de Proposiciones Compuestas
Contra Reciproco o Inversa
Reciproco
Compuestas o Moleculares
Simples o Autómicas
El Bicondicional
El Condicional
Disyunción
Conjunción

Función

Negar

Afirmar

cálculo proposicional e inferencia lógica

Generalidades Lógicas Matemáticas

Álgebra de BOOLE
Demostró

Aplicación

Álgebra

Simplificación

Circuitos Electronicos

Compuertas

Circuito de Comunicación

Desarrolla

Símbolos matemáticos

Reglas

Aplicadas a problemas

Lógica deductiva

Lógica binaria

Teoría de Conjunto
Clases de Conjunto

Especiales

Universal

Vacio

Unitario

Infinito

Finito

Operaciones de Conjuntos

Complemento

Producto Cartesiano

Intersección

Divergencia

Unión

Relaciones entre Conjunto

Las cuales son

Igualdad

Subconjunto

Conjuntos Disjuntos

Subconjuntos propios

Partición

Conjunto Potencia

Representación Gráfica

Indica que No Pertenece al grupo

Indica que Pertenece al grupo

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

Forma de determinar un Conjunto

Por Comprención

Por extención

Inferencia Lógica

Regla de transformación
Formula O Expresión (EBF)

EBF Como teoria del mismo sistema

Reglas y leyes

Leyes de Proposiciones Bicondicionales

Leyes Conmutativas

Ley de Simplificación Disyuntiva

Ley de Silogismo Disyuntivo

Ley de Silogismo Hipotético

Ley de Adición

Ley de Simplificación

Ley de Adjunción

Regla de doble Negación

proposiciones

expresión con sentido completo