Академический Документы
Профессиональный Документы
Культура Документы
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
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?
LENGUAJES
FORMALES
Y
AUTMATAS
lgica
proposicional
5
George Boole
(1815-1864)
cmo razonamos?
LENGUAJES
FORMALES
Y
AUTMATAS
lgica
proposicional
6
cmo razonamos?
LENGUAJES
FORMALES
Y
AUTMATAS
lgica
proposicional
7
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
A entonces B es verdadera y
B es falsa
Si es Bahiense es Argentino
No es Bahiense
No es Argentino
clculo proposicional
LENGUAJES
FORMALES
Y
AUTMATAS
lgica
proposicional
9
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
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
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
lgica
proposicional
15
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
lgica
proposicional
Ejercicio
17
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
LENGUAJES
FORMALES
Y
AUTMATAS
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
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
LENGUAJES
FORMALES
Y
AUTMATAS
lgica
proposicional
24
g(P,Q)
paso 1:
PQ
PQ
P Q
g(P,Q)
v/f
v/f
v/f
v/f
paso 2:
(PQ) (PQ)
LENGUAJES
FORMALES
Y
AUTMATAS
De manera anloga
P Q
lgica
proposicional
25
g(P,Q)
LENGUAJES
FORMALES
Y
AUTMATAS
paso 1:
paso 2:
P Q
lgica
proposicional
26
(P Q ) (P Q)
PQ
un poco de terminologa
LENGUAJES
FORMALES
Y
AUTMATAS
lgica
proposicional
27
Ejemplos: P, PQ
Ejemplos:
LENGUAJES
FORMALES
Y
AUTMATAS
lgica
proposicional
28
P (PQ)
(P Q) (Q P)
(P Q R) ( P Q R)
P
P
PP
P Q
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
LENGUAJES
FORMALES
Y
AUTMATAS
lgica
proposicional
1.
2.
30
Existe un mtodo
automtico para
tal fin?
P P verdadero
2.
3.
(A B) A B
(A B) A B
LENGUAJES
FORMALES
Y
AUTMATAS
Ejemplo
((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)
LENGUAJES
FORMALES
Y
AUTMATAS
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)
formas completa
LENGUAJES
FORMALES
Y
AUTMATAS
Ejemplos: P (P Q),
(P Q) (Q P)
(P Q R) ( P Q R)
P
P
PP
PQ
LENGUAJES
FORMALES
Y
AUTMATAS
lgica
proposicional
LENGUAJES
FORMALES
Y
AUTMATAS
razonamiento formal
LENGUAJES
FORMALES
Y
AUTMATAS
lgica
proposicional
36
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
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
lgica
proposicional
41
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
P1
Pk
C
reglas de inferencia
LENGUAJES
FORMALES
Y
AUTMATAS
axioma
LENGUAJES
FORMALES
Y
AUTMATAS
sistemas de razonamiento
LENGUAJES
FORMALES
Y
AUTMATAS
Reglas de
inferencia
lgica
proposicional
prueba
LENGUAJES
FORMALES
Y
AUTMATAS
lgica
proposicional
43
Axiomas de
la teora
44
Teoremas varios
adaptado de Rosen
pruebas
LENGUAJES
FORMALES
Y
AUTMATAS
lgica
proposicional
45
n.
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
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
LENGUAJES
FORMALES
Y
AUTMATAS
lgica
proposicional
49
Ejemplo
Probar la siguiente sentencia
(A B) (B C) (C D) (A D)
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
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)
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