Sie sind auf Seite 1von 10

conceptos bsicos:

la lgica

lgica proposicional

CONTENIDO
Frmulas y su semntica [H6.2].
Funciones de verdad [H6.2]. Formas
lgica
normales [H6.2]. Razonamiento formal:
proposicional
1
reglas de inferencia, pruebas, sistemas
axiomticos [H6.3]. Completitud y
sensatez [H6.2].

LENGUAJES
FORMALES
Y
AUTMATAS

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional

La lgica es la disciplina que trata con mtodos de


razonamiento.
La lgica provee reglas y tcnicas para determinar
si un argumento dado es vlido.

HEIN, JAMES. Discrete Structures,


Logic and Computability. Jones and
Bartlett Publishers. 1995 - 2001

Augustus De Morgan
(1806-1871)

conceptos bsicos:
la lgica

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
3

Pregunta:
Qu relacin existe entre la lgica y la
computacin?
mecanizar tareas complejas.
verificacin de programas (coincide lo que se
cree que hace el programa y lo que realmente
hace?).
los ordenadores lo constituyen circuitos
lgicos.
la lgica formal puede considerarse como una
especie de lenguaje de programacin.

cmo razonamos?

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
4

Cmo razonamos en nuestras vidas


cotidianas?
Declaramos hechos y luego declaramos
conclusiones en base a esos hechos.
Utilizamos palabras o frases de la siguiente
lista para indicar que se realiza cierta
conclusin:
por lo tanto
entonces
de esto se concluye que
de esto sigue que

cmo razonamos?

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
5

La regla de inferencia ms comn se


denomina modus ponens y funciona de
la siguiente manera:
Supongamos A y B son sentencias y
asumamos que
A entonces B es verdadera y
A es verdadera

Entonces podemos concluir


B es verdadera

George Boole
(1815-1864)

cmo razonamos?

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
6

Ejemplo tpico de inferencia por modus


ponens:
Si llueve entonces hay nubes en el cielo
Llueve
Por lo tanto hay nubes en el cielo

Cmo se aprende la regla de modus


ponens?
Probablemente
durante la infancia

cmo razonamos?

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
7

Otra regla que se aprende durante la


infancia es llamada modus tollens y
funciona de la siguiente manera:
Supongamos A y B son sentencias y
asumamos que

cmo razonamos?

LENGUAJES
FORMALES
Y
AUTMATAS

Falacias lgicas
Non sequitur: no se sigue
o es la luna de Jpiter
Titn es la luna de Saturno
La Tierra es el tercer planeta ms cercano al sol

lgica
proposicional
8

Si un objeto es de oro, brilla.


Esta daga brilla.
Esta daga es de oro.

A entonces B es verdadera y
B es falsa

Entonces podemos concluir


A es falsa

Si es Bahiense es Argentino
No es Bahiense
No es Argentino

clculo proposicional

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
9

Una oracin que es verdadera o falsa se


denomina proposicin:
Ejemplos
El verano comienza en junio en el
hemisferio Sur.
2+2=4.
Si llueve, entonces hay nubes en el cielo.
Puedo ir o no ir al cine esta noche.
Todos los enteros son pares.
Existe un nmero primo mayor que 10100
(googol).

clculo proposicional

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
10

Conectivos lgicos
(o ) negacin
conjuncin
V disyuncin
implicacin

Otros conectivos se
introducen para
simplificar notacin
ej: equivalencia

AB

AVB

AB

sintaxis vs. semntica

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
11

Sintaxis:
Es esta sentencia gramaticalmente
correcta?

Semntica
Cul es el significado de la siguiente
expresin?

sintaxis

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
12

Conjunto de smbolos:
Smbolos de verdad: v, f
Conectivos : ,V,,
Variables Proposicionales: P, Q, R
Smbolos de puntuacin: ( , )

sintaxis

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional

Definicin informal de frmula bien


formada (fbf)
Una frmula bien formada es
un smbolo de verdad
una letra proposicional
la negacin de una fbf
la conjuncin de dos fbf
la disyuncin de dos fbf
la implicacin de una fbf a otra fbf
una fbf rodeada de parntesis

13

sintaxis

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional

Ejemplos de fbf:
verdadero, falso, P, Q, P Q, PQ,
(PVQ) R, PQ R

14

Ejercicios
Dar una gramtica BNF para las fbf del
clculo proposicional.
Mostrar que PQVR es una fbf.
Mostrar que PQV(RQ) es una fbf.

sintaxis

LENGUAJES
FORMALES
Y
AUTMATAS

Es posible asociar una tabla de verdad


a cada fbf?
S, pero antes debemos establecer una
jerarqua de precedencia para los
conectivos:

lgica
proposicional
15

(mayor precedencia, aplicar primero)

V
(menor precedencia, aplicar ltimo)

sintaxis
PVQR
significa
P V (Q R)
PQR
significa
(P Q) R
P V Q
significa
(P) V Q

significa
(P) ((P Q) V R)
lgica P P Q V R
proposicional
P
( P)
significa
16
Toda fbf tiene un rbol de sintaxis natural que muestra
claramente la jerarqua de los conectivos.

Ejemplo:

LENGUAJES
FORMALES
Y
AUTMATAS

P (Q V

Adems , V y son asociativos a


izquierda
Notar analoga con expresiones aritmticas

A continuacin planteamos algunos


ejercicios para repasar el concepto de tablas
de verdad.

lgica
proposicional

Ejercicio

17

Asumamos que PQ es falso


Cules son los posibles valores de verdad
para las siguientes fbf?
PVQ
P Q R
Y si asumimos PQ es verdadero?
Qu valores de verdad deben tener P, Q,
R, S y T para que la siguiente fbf sea falsa?
( P Q ) R ( S V T )

R)

P
Q

rbol sintctico
mostrando jerarqua
de conectivos

semntica

LENGUAJES
FORMALES
Y
AUTMATAS

semntica

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
18

Tautologas, Contradicciones y
Contingencias
Una fbf cuyos valores de verdad son
siempre verdaderos (v) es llamada
tautologa.
Una fbf cuyos valores de verdad son
siempre falsos (f) es llamada
contradiccin.
Una fbf cuyos valores de verdad son a
veces v y otras f es llamada
contingencia.

semntica

Dos fbf son equivalentes si tienen la misma


tabla de verdad.
Se nota A B o AB
lgica
proposicional Ya vimos algunos ejemplos. Repasmoslos y
19
veamos algunos nuevos.
Algunas equivalencias bsicas

LENGUAJES
FORMALES
Y
AUTMATAS

Negacin Disyuncin Conjuncin

Implicacin

Avv
A f A
vAA
f A v
AAv

AVvv
AVfA
AVAA
A V A v

AvA
Aff
AAA
A A f

semntica

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
20

Algunas conversiones
AB A VB
(AB) AB
AB AB f
AVBBVA
ABBA
(A V B) V C A V (B V C)
(A B) C A (B C)
A (B V C) (A B) V (A C)
A V (B C) (A V B) (A V C)

semntica

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
21

Leyes de absorcin

semntica

LENGUAJES
FORMALES
Y
AUTMATAS

A (AVB) A
A V (AB) A
A (AVB) AB
A V (AB) A VB

lgica
proposicional
22

Propiedades de la equivalencia:
es una relacin de equivalencia.
Cualquier sub-fbf de una fbf puede ser
reemplazada por una fbf equivalente
sin cambiar el valor de verdad de la fbf
original.

Leyes de De Morgan
(AB) A
(AVB) A

VB
B

funciones booleanas

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
23

Que otros conectivos unarios existen


adems de ?
P

g1(P)

g2(P)

g3(P)

g4(P)

v
f

v
v

v
f

v
f

v
f

v
f

f
f

Cuntos

conectivos
binarios diferentes
podramos definir?
En general
podemos
2n
definir 2 conectivos
n-arios

forma normal disyuntiva

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
24

Expresando otros conectivos en trminos de


,V y
P Q

g(P,Q)
paso 1:

PQ
PQ

P Q

g(P,Q)

v/f

v/f

v/f

v/f

paso 2:
(PQ) (PQ)

Toda fbf es equivalente a una forma normal


disyuntiva (FND)

forma normal conjuntiva

LENGUAJES
FORMALES
Y
AUTMATAS

De manera anloga
P Q

lgica
proposicional
25

g(P,Q)

conjunto completo de conectivos

LENGUAJES
FORMALES
Y
AUTMATAS

paso 1:

paso 2:

P Q

lgica
proposicional
26

Dado que se puede expresar cualquier


funcin de verdad utilizando slo ,
, e , decimos que el conjunto de
operadores {, , } es completo.
Recordemos las leyes de De Morgan:
(P Q) P Q
(P Q) P Q

(P Q ) (P Q)

Por la propiedad de substitucin, dado


que {, , } es un conjunto completo,
de conectivos tambin lo son los
conjuntos {, } y {, }

PQ

Toda fbf es equivalente a una forma


normal conjuntiva (FNC)

un poco de terminologa

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
27

Un literal es una letra proposicional o su negacin


Ejemplos: P, Q, P, Q

Una conjuncin fundamental es un literal o una


conjuncin de dos o ms literales

Una forma normal disyuntiva (FND) es


una conjuncin fundamental, o
la disyuncin de una o ms conjunciones
fundamentales

Ejemplos: P, PQ

Ejemplos:

seguimos con funciones de verdad y formas normales

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
28

P (PQ)
(P Q) (Q P)
(P Q R) ( P Q R)
P
P
PP
P Q

Previamente presentamos un mtodo


que permite obtener la FND y la FNC
para cualquier funcin de verdad.
Pregunta:
Qu ocurre cuando queremos obtener
la FND (FNC) a partir de una tabla que
no tiene ningn valor verdadero
(falso)?
P P falso

dos maneras para obtener FND

Podemos construir
una FND para
cualquier funcin de
verdad utilizando el
lgica
proposicional
mtodo visto en la
29
clase previa

LENGUAJES
FORMALES
Y
AUTMATAS

Otra manera es
mediante el uso de
equivalencias que
permiten transformar
una fbf en una fbf en
FND

P Q g(P,Q)
v
v
f
f

v
f
v
f

paso 1:
paso 2:
f
v PQ
(PQ) (PQ)
v PQ
f

mtodo para transformar una fbf a FND

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional

1.

2.

30

Remover todas las apariciones del


conectivo
AB A VB
Llevar las negaciones hacia adentro para
crear literales utilizando leyes de De
Morgan
1.

Existe un mtodo
automtico para
tal fin?

P P verdadero

2.

3.

(A B) A B
(A B) A B

Aplicar las leyes distributivas para obtener


una FND
A (B C) (A B) (A C)
A (B C) (A B) (A C)

mtodo para transformar una fbf a FND

LENGUAJES
FORMALES
Y
AUTMATAS

Ejemplo

Escribir la siguiente fbf en FND

((P Q) (Q R))

((P Q) (Q R))
(P Q) (Q R)
( P Q) (Q R)
( P Q) ( Q R)
( P Q) (Q R)

lgica
proposicional
31

(De Morgan)
(De Morgan)
(implicacin)
(De Morgan)

ms terminologa: el caso de FNC

LENGUAJES
FORMALES
Y
AUTMATAS

De manera anloga a la FND, existen dos


maneras para obtener una FNC para
cualquier funcin de verdad
lgica Utilizando el
paso 2:
P Q g(P,Q) paso 1:
proposicional
mtodo de la
P Q
f
v v
33
tabla de verdad v f v
(P Q ) (P Q)
f v
v
visto en la
PQ
f f
f
clase previa

32

lgica
proposicional
35

Ejemplo

((P Q) (Q R))
(P Q) (Q R)
(P Q) (Q R)
(P Q) (Q R)
(P Q) (Q R)

(De Morgan)
(De Morgan)
(implicacin)
(De Morgan)

La obtenida no es una forma completa.


Realizamos los siguientes pasos adicionales aplicando
equivalencias bsicas y la ley distributiva:
(PQ) (Q R)
(PQ) (RR ) (QR) (PP)
(PQR) (PQR) (PQR) (PQR)

Un forma normal conjuntiva (FNC) es una


disyuncin fundamental o la conjuncin de
dos o ms disyunciones fundamentales.

formas completa

Supongamos que una fbf W tienen n letras


proposicionales diferentes. Una FND para W
se denomina forma norma disyuntiva
completa si cada conjuncin fundamental
lgica
tiene exactamente n literales, uno para cada
proposicional
una de las n letras que aparecen en W.
34
Ejemplo

LENGUAJES
FORMALES
Y
AUTMATAS

(P Q R) ( P Q R) es una FND completa.


P ( P Q) es una FND pero no es una FND
completa.

Mediante el uso de equivalencias que


permiten transformar una fbf en una fbf en
FNC

Escribir la siguiente fbf en FND completa


((P Q) (Q R))

Ejemplos: P (P Q),
(P Q) (Q P)
(P Q R) ( P Q R)
P
P
PP
PQ

La definicin para forma norma conjuntiva


completa es anloga.

mtodo para transformar una fbf a FND completa

LENGUAJES
FORMALES
Y
AUTMATAS

Una disyuncin fundamental es un literal o


una disyuncin de dos o ms literales.
Ejemplos: P, P Q

lgica
proposicional

dos maneras para obtener FNC

LENGUAJES
FORMALES
Y
AUTMATAS

razonamiento formal

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
36

Las tablas de verdad son suficientes


para determinar si una fbf es
verdadera.
Sin embargo, construir una tabla de
verdad para una fbf con muchas
variables y conectivos puede volverse
una tarea muy compleja.
Alternativa: utilizar un sistema de
razonamiento formal.

reglas de inferencia

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
37

Regla de inferencia:
Patrn sintctico que establece que a
partir de un conjunto de premisas
(hiptesis o antecedentes) podemos
derivar una conclusin.
P1

Pk
C
significa por lo tanto

reglas de inferencia

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
38

lgica
proposicional
39

Modus Ponens (MP)


A
AB
B

v
v
f
f

v
f
v
f

AB A (AB)

v
f
v
v

v
f
f
f

A (AB) B

v
v
v
v

Cualquier tautologa condicional de la forma P1 ...


Pk C puede ser usada como regla de inferencia.
Por ejemplo, la tautologa
(A B) B A
da lugar a la regla de
Modus tollens (MT)
B
AB
A

lgica
proposicional
41

Silogismo Disyuntivo (SD)


A B, A .
B
Silogismo Hipottico (SH)
A B, B C
AC

Cuando P1 ... Pk C
es una tautologa
(recordar definicin de argumento
vlido)

reglas de inferencia

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
40

reglas de inferencia

LENGUAJES
FORMALES
Y
AUTMATAS

Pregunta: Cundo podemos


asegurar que una regla de
inferencia preserva la verdad?

P1

Pk
C

reglas de inferencia

LENGUAJES
FORMALES
Y
AUTMATAS

Queremos que nuestras reglas de


inferencia preserven la verdad.

Listemos otras reglas de inferencia


Regla de Conjuncin (Conj.)
A,B .
AB
Regla de Simplificacin (Simp.)
A B.
A
Regla de Adicin (Ad.)
A
.
A B

axioma

Un axioma es una fbf que queremos usar


como base a partir de la cual podremos
razonar.
lgica
proposicional Un axioma es usualmente una fbf que
42
conocemos como verdadera (por ejemplo,
luego de verificar su valor de verdad usando
una tabla de verdad).
Cuando la lgica es aplicada a cierto tema,
entonces un axioma podra ser algo que
queremos que sea verdadero (ejemplo,
dos puntos determinan una nica recta).

LENGUAJES
FORMALES
Y
AUTMATAS

sistemas de razonamiento

LENGUAJES
FORMALES
Y
AUTMATAS

Reglas de
inferencia

Una teora formal

lgica
proposicional

prueba

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional

43

Axiomas de
la teora

44

Una prueba es una secuencia finita de


fbf con la propiedad de que cada fbf en
la secuencia es
un axioma, o
puede ser inferido de fbf previas en la
secuencia
La ltima fbf en la secuencia es llamada
teorema.

Teoremas varios
adaptado de Rosen

pruebas

Escribiremos las pruebas en forma de


tabla, donde cada lnea est
numerada y contiene una fbf junto
con la razn por la cual fue incluida.
Prueba
1.
W1 Razn para W1
2.
W2 Razn para W2

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
45

n.

prueba condicional (PC)

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
46

k.

lgica
proposicional
47

P (premisa)
P
P

1,2,3,k,PC

Wn Razn para Wn

Ejemplo
Probar la siguiente sentencia
(A B) (A C) A B C
1.
2.
3.
4.
5.
6.
7.

A
B
C

k+1. A B C D

prueba condicional

LENGUAJES
FORMALES
Y
AUTMATAS

1.
2.
3.

AB
AC
A
B
C
BC
(A B) (A C) A B C

prueba condicional: simplificaciones

LENGUAJES
FORMALES
Y
AUTMATAS

P
P
P
1,3,SD
2,3,SD
4,5,Conj
1,2,3,6,PC

lgica
proposicional
48

Ejemplo
Probar la siguiente sentencia
((A B) (B C)) (B C) D
1. ((A B) (B C))
P
2.
B
P sub-prueba (B C)
3.
AB
2,Ad.
4.
B C
1,3,MP
5.
C
4,Simp.
6. B C
2,5,PC fin sub-prueba
7. (B C) D
6,Ad.
8. ((A B) (B C)) (B C) D
1,7,PC
Advertencia: no usar lneas de la sub-prueba
para inferir lneas que aparezcan luego de que la
sub-prueba haya finalizado

prueba condicional: simplificaciones

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
49

Ejemplo
Probar la siguiente sentencia
(A B) (B C) (C D) (A D)

prueba indirecta (PI)

LENGUAJES
FORMALES
Y
AUTMATAS

1. (A B)
P
Nota: podemos
utilizar reglas de
2. B C
P
equivalencia
3. C D
P
4. A B
1, (A B) A B
5.
A
P
6.
B
4,5,SD
7.
C
2,6,SD
8.
D
3,7,MP
9. A D
5,8,PC
10. (AB)(BC)(CD)(AD) 1,2,3,9,PC

lgica
proposicional
50

1.
2.
3.

A
B
C

P
P
P

4.

P para PI

k.

falso

k+1. A B C D

1,2,3,4,k,PI

prueba indirecta

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
51

Ejemplo
Probar la siguiente sentencia
(A B) A (C B) C
1. A B
2. A
3. C B
4. C
5. B
6. A
7. A A
8. falso
9.(A B) A (C B) C

pruebas

Ejercicio
Supongamos que tenemos las siguientes
premisas:
lgica
No est soleado y no hace fro
proposicional
52
Si no est soleado entonces no vamos a
nadar
Si no vamos a nadar entonces vamos al
cine
Si vamos al cine entonces regresamos a
casa tarde.
Probar que las premisas anteriores implican
Regresamos a casa tarde

LENGUAJES
FORMALES
Y
AUTMATAS

P
P
P
P para PI
3,4,MP
1,5,SD
2,6,Conj
7,AA falso
1,2,3,4,8,PI

sensatez y completitud

pruebas

LENGUAJES
FORMALES
Y
AUTMATAS

lgica
proposicional
53

Ejercicio:
Mostrar que los siguientes argumentos
son vlidos:
Pedro sac dos As, pero si Pedro no promocion
entonces Pedro no sac dos As, entonces Pedro
promocion.
Si el programa es eficiente, entonces ejecuta
rpidamente. O bien el programa es eficiente o
bien tiene un error. Sin embargo, el programa no
ejecuta rpidamente. Por lo tanto el programa
tiene un error.

Sensatez:
(correctitud/sanidad):
Queremos que todas
lgica las pruebas de
proposicional
teoremas devuelvan
54
tautologas.

tautologas

LENGUAJES
FORMALES
Y
AUTMATAS

teoremas

tautologas

Completitud:
Queremos que todas
las tautologas puedan
ser probadas como
teoremas.
teoremas

sistema de Hilbert (similar al original)

Axiomas
1. A A A
2. A A B
lgica
proposicional
3. A B B A
55
4. (A B) (C A C B)

LENGUAJES
FORMALES
Y
AUTMATAS

5. A B A B (A B)

David Hilbert
(1862-1943)

pruebas usando el sistema de Hilbert

lgica
proposicional
57

Ejercicios
Dar una prueba para los siguientes
teoremas usando el sistema de Hilbert
Teorema 3: A A
Teorema 4: A A
Teorema 5: A A
Teorema 6: A A
Teorema 7: A A

Teorema 1: (A B) (B C) (A C)
1. (A B)
P
2. (B C)
P
3.
A
P
lgica
B
1,3,MP
proposicional 4.
5.
C
2,4,MP
56
6. A C
3,5,PC
7. (A B) (B C) (A C)
1,2,6,PC

LENGUAJES
FORMALES
Y
AUTMATAS

Reglas
Regla de inferencia Modus Ponens
(MP)
Regla de Prueba Condicional (PC)

LENGUAJES
FORMALES
Y
AUTMATAS

pruebas usando el sistema de Hilbert

Podemos usar teoremas previamente probados para


probar nuevos teoremas
Teorema 2: A A
1. A A A
axioma 2
2. A A A
axioma 1
3. A A
1,2, Teorema 1,MP