Kategorier: Alla - proposiciones - programación - conectivos - lógica

av Diana Victoria Gomez för 6 årar sedan

609

calculo proposicional

La lógica proposicional y la programación lógica son disciplinas esenciales en la computación. La lógica proposicional se centra en los conectivos lógicos, las proposiciones y las tablas de verdad.

calculo proposicional

Cálculo proposicional e inferencial lógica

Programación lógica

Recursión
Ciclo entrada-cálculo-salida
El factorial
Entrada, cálculo y salida
Raíz cuadrada
Area de un rectángulo
Motor de inferencia
Unificación
Secciones, hechos y reglas
Comentarios
Sección goal-objetivo
Sección clauses-hechos
Sección predicatos

Cálculo de predicados

Equivalencia entre cuantificadores
Cuantificador existencial
Cuantificador universal
Cuantificador universal negativo
Cuantificados universal afirmativo
Sintaxis de la lógica de predicados LPRED
l
Argumentos variables y fórmulas atómicas
Predicados
Representación de predicados - forma 2
Representación de predicados - forma 1

Argumentos y reglas de inferencia

Reglas de inferencia
Regla condicional contrarrecíproca (C.C.)
Regla de simplificación disyuntiva (S.D)
Regla de dilema (D)
Regla bicondicional (B)
Regla conmutativa (C)
Regla transitiva (T)
Regla II simplificación (II.S)
Regla de Tollendo Ponenes (T.P)
Regla I simplificación (I.S)
Regla del adjunción (A)
Regla del Tollendo Tollens (T.T)
Regla doble negación (D.N)
Regla de modus ponenes (M.P)

Cálculo proposicional

Tableros semánticos
Algoritmo de resolución
Regla de resolución
Literales, claúsulas y forma clausal
Fórnulas: alpha y beta
Árbol de formación
Método de los tableros semánticos
Literales y fórmulas complementatias
Insatisfacibilidad o contradicción
No validez
Validez o tautología
Satisfacibilidad o contingencia
Equivalencia lógica
Equivalencias clásicas
Equivalencias lógica y bicondicional
Fórmulas lógicamente equivalentes
Interpretaciones Booleanas
Interpretaciones
Fórmula proposicional

Lógica proposicional

Notación prefija
Arbol de formación
Trasformación a prefijo
Precedencia de los conectivos lógicos
Lenguaje de la lógica proposicional
Semantica de la lógica proposicional
Sintaxis de la lógica proposicional
Alfabeto de la lógica proposicional
Tablas de verdad
Tabla de verdad del bicondicional
Tabla de verdad del condicional
Tabla de verdad de la disyunción exclusiva
Tabla de verdad de la disyunción inclusiva
Tabla de verdadde la conjunción
Conectivos lógicos
Bicondicional
Condicional
Disyunción exclusiva
Disyunción inclusiva
Conjuncion
Proposiciones simples y compuestas
Negación de una proposición
Valor de las proposiciones
Proposiciones