LOGICA DE PREDICADOS:SINTAXIS,SEMANTICA,VA LIDEZ E INFERENCIA

LEYES DE LA LOGICA DE PREDICADOS O PROPOSICIONES La lgica proposicional es la parte de la lgica que estudia la formacin deproposicionescomplejas a partir de proposiciones simples, y la inferencia de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones ms simples.

Proposicin conjuntiva
P ^ Q 1 1 1 1 0 0 0 0 1 0 0 0 La conjuncin es verdadera slo cuando ambas variables lo son y es falsa en los dems casos. Se lee Py Q.

Proposicin disyuntiva inclusiva

P v Q 1 1 1 1 1 0 0 1 1 0 0 0 La disyuncin es verdadera en todos los casos menos cuando Pvale 0 y Qvale 0. Se lee P Q.

Proposicin disyuntiva exclusiva

P V Q _

1 0 1 1 1 0 0 1 1

0 0 0 La disyuncin exclusiva es verdadera cuando una variable es verdadera y la otra falsa, y es falsa en los dems casos. Se lee Pexcluye a Q.

Proposicin condicional
P Q 1 1 1 1 0 0 0 1 1 0 1 0 El condicional es verdadero en todos los caso menos cuando P vale 1 y Qvale 0. Se lee Pcondiciona a Q.

Proposicin bicondicional
P Q 1 1 1 1 0 0 0 0 1 0 1 0 El bicondicional es verdadero cuando ambos son verdaderos o cuando ambos son falsos, y es falso en los dems casos. Se lee P bicondiciona a Q.

Proposicin negativa
P P 1 0 0 1 La negacin - que se lee no -P, cambia el valor de la variable que se niega: slo es verdadera si Pes falsa y es falsa si Pes verdadera. Expresin en el lenguaje natural Smbolo en Smbolos este alternativos artculo

Conectiva

Ejemplo

Negacin Conjuncin Disyuncin Condicional material Bicondicional Negacin conjunta Disyuncin excluyente

no y o

No est lloviendo. Est lloviendo y est nublado. Est lloviendo o est soleado.

si... entonces Si est soleado, entonces es de da. Est nublado si y slo si hay nubes visibles. ni... ni Ni est soleado ni est nublado. O bien est soleado, o bien est o bien... o bien nublado. si y slo si

Tablas de verdad
La tabla de verdad de una frmula es una tabla en la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituye la frmula y el valor de verdad de la frmula completa para cada interpretacin. Por ejemplo, la tabla de verdad para la frmula sera:

TABLAS DE VERDAD

NEGACION

DISYUNCIN INCLUSIVA

NEGACIN ALTERNA

Como se ve, esta frmula tiene 2n interpretaciones posibles una por cada lnea de la tabla, donde n es el nmero de variables proposicionales (en este caso 3, es decir p, q, r) , y resulta ser una tautologa, es decir que bajo todas las interpretaciones posibles de las variables proposicionales, el valor de verdad de la frmula completa termina siendo V.

Ejemplos de verificacion con tablas de verdad