cálculo proposicional e inferencia lógica

Meer zoals dit

FUNCIONES MATEMATICAS

door Daniela Robles

constitucion de 1824

door Arturo emanuel Ayala cacho

ARTICULO 75. Actos de comercio

door EDWIN HILARIO CRUZ

Ciencia y tecnología en Venezuela

door Landreina Suarez

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