calculo proposicional

Honelako gehiago

Contexto histórico de la rigorización de las matemáticas y crisis de los fundamentos matemáticos en el siglo XX

JOTA BRANGO‑k egina

Patrones Númericos

Ali Fernández‑k egina

PE vs POO

Alberto Lara‑k egina

TIPOS DE LÓGICA

Mayolo Cárdenas Cárdenas‑k egina

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