Cálculo proposicional e inferencial lógica

Proposiciones

Valor de las proposiciones

Negación de una proposición

Proposiciones simples y compuestas

Conectivos lógicos

Conjuncion

Disyunción inclusiva

Disyunción exclusiva

Condicional

Bicondicional

Tablas de verdad

Tabla de verdadde la conjunción

Tabla de verdad de la disyunción inclusiva

Tabla de verdad de la disyunción exclusiva

Tabla de verdad del condicional

Tabla de verdad del bicondicional

Lenguaje de la lógica proposicional

Alfabeto de la lógica proposicional

Sintaxis de la lógica proposicional

Semantica de la lógica proposicional

Precedencia de los conectivos lógicos

Notación prefija

Trasformación a prefijo

Arbol de formación

Interpretaciones Booleanas

Fórmula proposicional

Interpretaciones

Equivalencia lógica

Fórmulas lógicamente equivalentes

Equivalencias lógica y bicondicional

Equivalencias clásicas

Satisfacibilidad o contingencia

Validez o tautología

No validez

Insatisfacibilidad o contradicción

Tableros semánticos

Literales y fórmulas complementatias

Método de los tableros semánticos

Árbol de formación

Fórnulas: alpha y beta

Literales, claúsulas y forma clausal

Regla de resolución

Algoritmo de resolución

Reglas de inferencia

Regla de modus ponenes (M.P)

Regla doble negación (D.N)

Regla del Tollendo Tollens (T.T)

Regla del adjunción (A)

Regla I simplificación (I.S)

Regla de Tollendo Ponenes (T.P)

Regla II simplificación (II.S)

Regla transitiva (T)

Regla conmutativa (C)

Regla bicondicional (B)

Regla de dilema (D)

Regla de simplificación disyuntiva (S.D)

Regla condicional contrarrecíproca (C.C.)

Predicados

Representación de predicados - forma 1

Representación de predicados - forma 2

Argumentos variables y fórmulas atómicas

Sintaxis de la lógica de predicados LPRED

l

Cuantificador universal

Cuantificados universal afirmativo

Cuantificador universal negativo

Cuantificador existencial

Equivalencia entre cuantificadores

Secciones, hechos y reglas

Sección predicatos

Sección clauses-hechos

Sección goal-objetivo

Comentarios

Unificación

Motor de inferencia

Entrada, cálculo y salida

Area de un rectángulo

Raíz cuadrada

Recursión

El factorial

Ciclo entrada-cálculo-salida