Lgica Proposicional

Semntica

Instituto de Computacin

Lgica

Semntica Proposicional - 1

Significado de una Frmula Proposicional

El significado de una proposicin est dado por su valor de verdad (o sea, si es Verdadera o Falsa) que se obtiene de la siguiente forma:
las variables proposicionales pueden tomar cualquier valor de verdad es falsa los valores de verdad de las frmulas atmicas se extienden a las frmulas no atmicas de acuerdo al significado de los conectivos que contienen. Convencin: 0 = Falso 1 = Verdadero
Instituto de Computacin Lgica Semntica Proposicional - 2

Las palabras de PROP

Las proposiciones atomicas tienen un valor de verdad conocido. Se abstraen las proposiciones simples a letras. La frase Los perros comen salchichas con tuco colapsa a, por ejemplo, p0. Y si esa frase es verdad en un mundo v, diremos que v(p0) = 1. Y si es falsa, diremos que v(p0) = 0.
Instituto de Computacin Lgica Semntica Proposicional - 3

Construyendo PROP
))p1p2 (p1p2) (p1) p1 (p1 ) p1p2 p2
Base de Prop Prop Prop*

Instituto de Computacin

Lgica

Semntica Proposicional - 4

Calculando Valores de Verdad

))p1p2 v((p1p2)) v((p1))

Base de Prop Prop Prop*

v() v(p2)

v(p1) v((p1 )) p1p2

Aqui no tiene sentido la funcion v

Instituto de Computacin

Lgica

Semntica Proposicional - 5

Semntica de Prop: Valuaciones

Resumiendo:
Prop est definido inductivamente. La semntica est dada por los valores de verdad de la proposiciones ya sean simples o complejas. Se buscar la forma de construir esa semntica teniendo en cuenta que:
Las letras proposicionales pueden tomar cualquier valor. El valor de las letras proposicionales se transmite, lo que permite calcular el valor de las proposiciones complejas en funcin del valor de las proposiciones ms simples.
Instituto de Computacin Lgica Semntica Proposicional - 6

Significado de algunos conectivos

El dos es par o impar El dos es par o natural
Ambas frases son verdaderas

Si n es multiplo de 6, entonces 4 es par Si 4 es impar, entonces 3 es par

Son frases verdaderas

Si ustedes estudian, entonces aprobaran la asignatura

Cuando es falsa esta frase?
Instituto de Computacin Lgica Semntica Proposicional - 7

Significado de los conectivos

0 1 0 0 0 1 0 1 0 1 0 0 1 1 1 1 0 0 1 1 0 1 1 1

0 0 1
Instituto de Computacin

1 0 1
Lgica

0 1 1 0

1 0

Semntica Proposicional - 8

Valuaciones - Ejemplos
Una valuacion es una funcin de PROP {0,1} transmite valores de verdad a partir de las letras proposicionales. No cualquier funcin de PROP {0,1} es una valuacin. Ejemplos de funciones no son valuaciones:
f () = 1 para toda PROP g () = (Long()+1) mod 2

Cmo se construyen funciones que sean valuaciones?

Asegurando que el valor de las frmulas compuestas queda determinado unvocamente por los valores de las variables.
Instituto de Computacin Lgica Semntica Proposicional - 9

Valuaciones
Def 1.2.1 [valuacin] Una funcin v: PROP {0,1} es una valuacin sii satisface: Observar

que esta NO ES la v () = 0 definicin de UNA v(( )) = mn{v(), v()} valuacin, sino que v(( )) = mx{v(), v()} es una serie de que v(( )) = mx{1-v(), v()} ecuaciones garantizan la v(( )) = 1 ssi v() = v() transmisin de la verdad. v(()) = 1 - v()
Lgica Semntica Proposicional - 10

Instituto de Computacin

Valuaciones - Propiedades
El valor de verdad de los tomos determina una nica valuacin (el valor para cualquier frmula). Teorema 1.2.2
Sea w: P {0,1} Entonces existe una nica valuacin v: PROP {0,1} tal que v(pi) = w(pi) para todo pi P

El valor de verdad de una frmula depende nicamente del valor de sus letras de proposicin Lema 1.2.3
Sea PROP, y sean v y v dos valuaciones tales que v(pi) = v(pi) para toda letra pi que ocurre en Entonces v() = v()
Lgica

Instituto de Computacin

Semntica Proposicional - 11

Teo 1.2.2
H) w: P {0,1} T) Existe una nica valuacin v: PROP {0,1} tal que v(pi) = w(pi) para todo pi P Dem: Considere una funcin v sobre Prop definida por recursin primitiva tal que:
v(pi) = w(pi) para todo pi P v es una valuacin (cumple con Def. 1.2.1).

Esta funcin existe y es nica dado que fue definida por recursin primitiva. Adems es valuacin (por su propia definicin). LQQD
Instituto de Computacin Lgica Semntica Proposicional - 12

Tautologa Consecuencia lgica

Def 1.2.4 [tautologa, consecuencia lgica] a. PROP es una tautologa ssi para cualquier valuacin v se cumple que v() = 1. b. Dadas PROP y PROP, es consecuencia lgica de ssi para cualquier valuacin v: Si (para todo :: v() = 1), entonces v() = 1 Notacin: |= se lee es consecuencia lgica de 1... n |= se lee como {1... n} |= |= se lee como |= |= se lee como es tautologa.
Instituto de Computacin Lgica Semntica Proposicional - 13

Ejemplos
T) |=
Dem. Sea v valuacion arbitraria v ( ) = mx{1-v(), v()} (Def. valuacion)
=1 (El recorrido de la valuacion es {0,1})

LQQD

T) , |=

Dem. Sea v una valuacion tal que v () = 1 y v () = 1. v ( ) = min {v(), v()} (Def. valuacion)
=1 (Hipotesis)

LQQD
Instituto de Computacin Lgica Semntica Proposicional - 14

Ejemplos
Demuestre o de un contraejemplo de |= p0 p1
Dem. (contraejemplo) Sea v valuacion tal que v(p0)=1 y v(p1)=0 v (p0 p1) = mx{1-v(p0), v(p1)} (Def. valuacion)
=0

Por lo que no es cierto que p0 LQQD

p1 sea tautologa.

Cuando se trabaja con implicaciones, puede ser ms simple verificar cuando no es tautologa.
Lgica Semntica Proposicional - 15

Instituto de Computacin

Ejemplos
Demostrar o dar un contraejemplo para p1|=p2p3
Dem. (contraejemplo) Sea v valuacion tal que v(p1)=1, v(p2)=0 y v(p3)=0 v (p2p3) = min{v(p2), v(p3)} (Def. valuacion) Por lo que no es cierto que p1|= p2p3. LQQD
=0

Cuando se trabaja con consecuencias lgicas, puede ser ms simple analizar cuando no se cumple.
Lgica Semntica Proposicional - 16

Instituto de Computacin

Consecuencia lgica Ms Ejemplos

Para todas , PROP: , |= |= |= , |= , |= , |= , |= , |= , |=
Instituto de Computacin Lgica Semntica Proposicional - 17

Tablas de Verdad
Las Tablas de verdad muestran todos los posibles valores de verdad que una frmula proposicional puede tomar. Describen explicitamente todas las posibles valuaciones interesantes (recordar 1.2.3) de una formula proposicional.

Instituto de Computacin

Lgica

Semntica Proposicional - 18

Ejemplo
Tabla de verdad de (p1p2) ((p1 p2)):
1 2 3 4 5 6
p1 p2 (p1p2) (p1 p2) (p1 p2) (p1 p2) ((p1 p2))

0 0 1 1

0 1 0 1

1 1 0 1

0 1 1 1

1 0 0 0

1 0 0 0

A las frmulas como esta que son verdaderas en algunas valuaciones y falsa en otras se les llama CONTINGENCIAS
Instituto de Computacin Lgica Semntica Proposicional - 19

Tautologias
1 2

Tabla de verdad de (p1 p2) ((p1)p2) :

3 4 5 6

p1 p2 (p1p2) p1 ( p1)p2 (p1 p2) ((p1)p2) 0 0 1 1 0 1 0 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1

Esta proposicin es siempre verdadera tautologa sin importar el valor de verdad de p1 y p2

Instituto de Computacin Lgica Semntica Proposicional - 20

10

Tautologas
Observar: PROP es tautologa sii |= Ejemplos: : Para todas , , PROP: |= ( ) |= ( (( ))) |= ( ) ( ) |= ( ) ( ) |= ( ) ( ) |= ( ) (() ()) |= ( ) (( ) ) |= ( ) ( ( ( ))) |= ( ) |= ( ) |= ( ( )) |= |= ( ( )) (( ) ) |= ( ( )) (( ) ( ))
Instituto de Computacin Lgica Semntica Proposicional - 21

Equivalencia de Proposiciones
Def [equivalencia de proposiciones]
Dos frmulas proposicionales y son equivalentes sii ( ) es una tautologa

Notacin: eq abrevia |= ( ) Observar: eq si y slo si,

para cualquier valuacin v: PROP {0,1} se cumple que v() = v()

Lema 1.3.5
La relacin eq es de equivalencia en PROPxPROP
Instituto de Computacin Lgica Semntica Proposicional - 22

11

Equivalencia de Proposiciones: Clases de Equivalencia

(p1p1) (p1p1) ... ... ((p1p1)) ... (p1) p4 ... p3 ... (p1p1) ...

Instituto de Computacin

Lgica

Semntica Proposicional - 23

Sustitucin por frmulas equivalentes

Si 1 y 2 son equivalentes, entonces puedo sustituir una letra proposicional de una frmula cualquiera por 1 y por 2, y obtener frmulas equivalentes Esto se utiliza mucho en matemtica: no dudamos cuando vemos el siguiente razonamiento:
3 + (2 x 5) = 3 + 10

Por qu es vlido eso?

Porque sabemos que 2 x 5 = 10 y reemplazamos iguales por iguales esto es, en la expresin (3 + ) sustituimos a por 2 x 5 y por 10 y obtenemos dos nmeros iguales.
Instituto de Computacin Lgica Semntica Proposicional - 24

12

Funciones recursivas: sustitucin

[ / pi] denota la frmula obtenida de sustituir todas las ocurrencias de pi en la frmula por la frmula Se define por recursin primitiva en Def [sustitucin de una frmula por una variable] _ [_/_] : PROP x PROP x P PROP [ / pi] = si i= j pj [ / pi] = pj si i j ( ) [ / pi] = ( [ / pi] [ / pi]) , C () [ / pi] = ( [ / pi])
Instituto de Computacin Lgica Semntica Proposicional - 25

Sustitucin por frmulas equivalentes: Teorema de Sustitucin

Teorema 1.2.5 [sustitucin]
H) 1 eq 2 T) para toda PROP y para cualquier pP se cumple que:
[1/p] eq [2/p]

Ejemplo:
Como (p1 p2) eq (p2 p1), entonces ((p4 (p1 p2)) eq (p4 (p2 p1)) porque (p4q) [p1 p2/q] eq (p4 q) [p2 p1/q]
Instituto de Computacin Lgica Semntica Proposicional - 26

13

Leyes algebraicas (tautologas)

Para todas , , PROP: |=( ) ( ) asociatividad de y |=( ) ( ) |=( ) ( ) conmutatividad de y |=( ) ( ) |= ( ) ( ) ( ) distributividad de y |= ( ) ( ) ( ) |= ( ) ( ) |= ( ) ( ) Leyes de De Morgan |= ( ) idempotencia de y |= ( ) |= doble negacin

Instituto de Computacin

Lgica

Semntica Proposicional - 27

Ms propiedades...
Lema 1.3.2
Si |= entonces ( ) eq y ( ) eq

Lema 1.3.3
a. b. c. d. Si |= entonces ( ) eq Si |= entonces ( ) eq ( ) eq ( ) eq

Instituto de Computacin

Lgica

Semntica Proposicional - 28

14

Equivalencias entre conectivos

Teorema 1.3.4 Para todas , PROP: a. ( ) eq ( ) ( ) b. ( ) eq ( ) c. ( ) eq ( ) d. ( ) eq ( ) e. ( ) eq ( ) f. eq ( ) g. eq ( )
Instituto de Computacin Lgica Semntica Proposicional - 29

Conjuntos completos de conectivos

Un conjunto de conectivos C es completo si cualquier funcin de verdad es definible en trminos de los conectivos de C Def [conjunto completo de conectivos]
C es un conjunto completo de conectivos si para conectivo n-ario $ (n>0) y letras proposicionales pi1,pi2,pin existe una frmula PROP que contiene slo a pi1,pi2,pin y a los conectivos de C tal que eq $(pi1,pi2,pin)

Instituto de Computacin

Lgica

Semntica Proposicional - 30

15

Conjuntos completos de conectivos

Teorema 1.3.6
{ , } es un conjunto completo de conectivos

Tambin { , }, { , } , { , } y { , } son completos

Instituto de Computacin

Lgica

Semntica Proposicional - 31

Conjunciones y disyunciones finitas

Definicin 1.3.7

in+1

i = n+1 (

Instituto de Computacin

W
in

W W
i0

i = 0 i )
in+1

W i = 0 W =
i
i0

n+1

( W i )
in

Lgica

Semntica Proposicional - 32

16

Formas Normales
Definicin 1.3.8 [formas normales] Una frmula est en forma normal conjuntiva sii es de la forma: (Wij ) donde cada ij es una frmula atmica o la negacin de una frmula atmica. Una frmula est en forma normal disyuntiva sii es de la forma: W( ij ) donde cada ij es una frmula atmica o la negacin de una frmula atmica.
Instituto de Computacin Lgica Semntica Proposicional - 33

in j mi

Formas Normales (cont.)

Teorema 1.3.9 Para toda PROP existen frmulas c y d en forma normal conjuntiva y forma normal disjuntiva respectivamente tales que: eq c y eq d

Instituto de Computacin

Lgica

in j mi

Semntica Proposicional - 34

17

Semntica: Conclusin
Para responder / verificar las nociones de consecuencia lgica y tautologa: Usamos un mtodo de clculo (tablas de verdad) Para simplificar un problema inicial y llevarlo a una tautologa conocida, usamos nociones de: equivalencia lgica sustitucin

Instituto de Computacin

Lgica

Semntica Proposicional - 35

18