Implicacin Semntica o a en Lgica Proposicional o

francisco m. garc olmedo a 6 de mayo de 2011

Indice
1. Frmulas proposicionales o 2. Tabla de Verdad 3. Polinomio de Gegalkine 1 2 4

1.

Frmulas proposicionales o
las proposicones atmicas, tambin llamados enunciados atmicos o simplemente variables o e o proposicionales, y que representamos con las primeras letras minsculas del alfabeto latino, u subindicndolas si fuese preciso: a, b, c, a1 , a2 , a3 , etc. a s mbolos lgicos: , , , y o s mbolos auxiliares: ) y (

Un lenguaje proposicional consta de los siguientes s mbolos:

y llamamos expresin del lenguaje proposicional a cada sucesin nita no vac de sus s o o a mbolos. Un ejemplo de expresin es la siguiente sucesin a b)ca y otro es (a b) c. El lector o o reconocer que el segundo ejemplo posee una coherencia o equilibrio que no parece tener a el primero. En lo que sigue distinguiremos entre expresiones para denir las llamadas formulas proposicionales o sentencias proposicionales. Son frmulas proposicionales las siguientes expresiones: o toda proposicin atmica o o las expresiones: ( ), ( ), ( ), ( ) y (), siempre que y sean frmulas o proposionales. y convenimos en que no hay otras frmulas proposicionales distintas a las antes mencionadas. o

Observacin 1.1. Es fcil demostrar que sea cual sea la frmula que consideremos no existe ms o a o a que una unica forma de escribirla; se trata del principio de lectura unica. Observacin 1.2. A veces escribimos la frmula como (a1 , . . . , ak ) para indicar que los s o o mbolos de variable que aparecen en a estn entre los s a mbolos a1 , . . . , ak y no es necesario que todas ellos ocurran en .

2.

Tabla de Verdad
{0, 1}k , se dene

Denicin 2.1. Dada una frmula proposicional (a1 , . . . , ak ) y e1 , . . . , ek o o (e1 , . . . , ek ) de la siguiente forma: ei (e1 , . . . , ek ) + 1 (e , . . . , e ) (e , . . . , e ) + (e , . . . , e ) + 1 1 k 1 k 1 k (e1 , . . . , ek ) = (e1 , . . . , ek ) (e1 , . . . , ek ) + (e1 , . . . , ek ) + (e1 , . . . , ek ) (e1 , . . . , ek ) (e1 , . . . , ek ) (e1 , . . . , ek ) + (e1 , . . . , ek ) + 1

, , , , , ,

si si si si si si

1 i k y = ai = () = ( ) = ( ) = ( ) = ( )

donde las sumas y multiplicaciones entre los elementos 0 y 1 que hemos considerado en la enumeracin anterior son las de Z2 y que se consignan en la siguientes tablas: o + 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1

Denicin 2.2. Sea (a1 , . . . , ak ) una frmula proposicional. Denimos su tabla de verdad como o o la matriz de 2k las y 2 columnas construida situando en cada la un elemento e1 , . . . , ek de {0, 1}k por la primera columna y (e1 , . . . , ek ) por la segunda columna. Ejemplo 2.1. Sea (a1 , a2 ) = a1 a2 . En este caso: (0, 0) = 0 0 + 0 + 1 = 1, (0, 1) = 0 1 + 0 + 1 = 1, (1, 0) = 1 0 + 1 + 1 = 0 y (1, 1) = 1 1 + 1 + 1 = 1. Por tanto, la tabla de verdad de (a1 , a2 ) = a1 a2 ser a: a1 0 0 1 1 a2 0 1 0 1 (a1 , a2 ) 1 1 0 1

Denicin 2.3. Dada una frmula proposicional (a1 , . . . , ak ), el conjunto caracter o o stico de (a1 , . . . , ak ), C((a1 , . . . , ak )) es el denido por la siguiente igualdad: C((a1 , . . . , ak )) = { e1 , . . . , ek : e1 , . . . , ek {0, 1}k y (e1 , . . . , ek ) = 1} Denicin 2.4. Supongamos que tenemos un conjunto de frmulas: o o = {i (a1 , . . . , ak ) : 1 i n}

(pudiera ser = , si n = 0) y que tenemos una frmula (a1 , . . . , ak ). Supongamos tambin o e que cada ai aparece en al menos una frmula de . Decimos que implica semnticamente a , o a abreviadamente |= , si C(1 (a1 , . . . , ak )) C(n (a1 , . . . , ak )) C((a1 , . . . , ak )) en caso de que n 0 y, en caso contrario (n = 0), si el nmero de elementos de C(i (a1 , . . . , ak )) u es 2k . Ejemplo 2.2. Sea = {a1 , a1 a2 } y = a2 . Entonces: a1 0 0 1 1 Tenemos: C(a1 ) = { 1, 0 , 1, 1 } C(a1 a2 ) = { 0, 0 , 0, 1 , 1, 1 } C(a1 ) C(a1 a2 ) = { 1, 1 } C(a2 ) = { 0, 1 , 1, 1 } Como C(a1 ) C(a1 a2 ) C(a2 ), tenemos: a1 , a1 a2 |= a2 Ejemplo 2.3. Sea = y = a1 (a2 a1 ). Entonces: a1 0 0 1 1 a2 0 1 0 1 a1 (a2 a1 ) 1 1 1 1 a2 0 1 0 1 a1 0 0 1 1 a1 a2 1 1 0 1 a2 0 1 0 1

Como C(a1 (a2 a1 )) = { 0, 0 , 0, 1 , 1, 0 1, 1 }, tenemos: |= a1 (a2 a1 ) Ejemplo 2.4. Sea = {a1 , a1 a2 } y = a1 . Entonces: a1 0 0 1 1 Tenemos: a2 0 1 0 1 a1 0 0 1 1 a1 a2 1 1 0 1 a1 0 0 1 1

C(a1 ) = { 1, 0 , 1, 1 } C(a1 a2 ) = { 0, 0 , 0, 1 , 1, 1 } C(a1 ) C(a1 a2 ) = { 1, 1 } Como C(a1 ) C(a1 a2 ) C(a1 ), tenemos: a1 , a1 a2 |= a1 Ejemplo 2.5. Sea = {ai } y = aj , tales que i = j. Entonces: ai 0 0 1 1 Tenemos: C(ai ) = { 1, 0 , 1, 1 } C(aj ) = { 0, 1 , 1, 1 } Como C(ai ) C(aj ), tenemos: ai |= aj Ejercicio 2.1. Probar que a1 , a1 a2 |= a3 . aj 0 1 0 1

3.

Polinomio de Gegalkine

Denicin 3.1. Dada una frmula proposicional (a1 , . . . , ak ) denimos su polinomio de Gegalo o kine, p (x1 , . . . , xk ) como sigue: , si 1 i k y = ai xi p (x1 , . . . , xk ) + 1 , si = () p (x , . . . , x ) p (x , . . . , x ) + p (x , . . . , x ) + 1 , si = ( ) 1 k 1 k 1 k p (x1 , . . . , xk ) = p (x1 , . . . , xk ) p (x1 , . . . , xk ) + p (x1 , . . . , xk ) + p (x1 , . . . , xk ) , si = ( ) p (x1 , . . . , xk ) p (x1 , . . . , xk ) , si = ( ) p (x1 , . . . , xk ) + p (x1 , . . . , xk ) + 1 , si = ( ) donde las sumas y productos relacionados son los de Z2 . Ejemplo 3.1. Sea = a1 a2 . Entonces p (x1 , x2 ) = x1 x2 + x1 + 1. Ejemplo 3.2. Sea = a1 (a2 a3 ). Se tiene que pa2 a3 (x2 , x3 ) = x2 x3 + x2 + 1 y que: p (x1 , x2 , x3 ) = x1 px2 x3 (x2 , x3 ) + x1 + 1 = x1 (x2 x3 + x2 + 1) + x1 + 1 = x1 x2 x3 + x1 x2 + x1 + x1 + 1 = x1 x2 x3 + x1 x2 + 1 Teorema 3.1. Dada una frmula proposicional (a1 , . . . , ak ) y e1 , . . . , ek {0, 1}k , se tiene: o (e1 , . . . , ek ) = p (e1 , . . . , ek )