Professional Documents
Culture Documents
Departamento de Matemticas
Facultad de Ciencias, UNAM
E-mail: fhq@ciencias.unam.mx
Pgina Web: www.matematicas.unam.mx/fhq
Lgica 1
Clculo de proposiciones
1 / 28
Lgica 1
Sintaxis
Clculo de proposiciones
2 / 28
Semntica
, , , , .
O en notacin de Backus-Naur:
::= PA | | ( ) | ( ) | ( ) | ( )
donde
PA ::= p | q | r | pN | qN | rN ,
donde N es un nmero natural.
Francisco Hernndez Quiroz
Lgica 1
Clculo de proposiciones
3 / 28
Lgica 1
Clculo de proposiciones
4 / 28
Funciones boolenas
Funciones de 0 argumentos
V 0 y F 0.
Funciones de un argumento
11
V
F
id /
V
F
V1
F1
V
V
F
F
V
F
V
F
12
V
V
F
F
22
V
F
V
F
V2
V
V
V
V
F2
F
F
F
F
V
F
F
F
1 es la proyeccin 1
V 2 es la constante verdadero
es la conjuncin
es la implicacin
6 es el o exclusivo
es la negacin alternativa
las 4 siguientes no tienen
un nombre estndar
F
V
Lgica 1
Clculo de proposiciones
5 / 28
V
V
V
F
V
F
V
V
V
F
F
V
6
F
V
V
F
F
F
F
V
V
V
F
V
F
V
F
V
F
F
V
V
Lgica 1
Clculo de proposiciones
2
3
2
F
F
V
F
6 / 28
Teorema
F
V
F
F
2 es la proyeccin del 2
F 2 es la constante falso
es la disyuncin
es doble implicacin
es la negacin conjunta
es la contraimplicacin
Interdefinibilidad
F
V
V
V
;
;
;
Lgica 1
Clculo de proposiciones
7 / 28
Lgica 1
Clculo de proposiciones
8 / 28
Demostracin
Formas normales I
y una funcin
b : {V , F }2 {V , F }.
Francisco Hernndez Quiroz
Lgica 1
i=1
Clculo de proposiciones
9 / 28
i=1
Lgica 1
Clculo de proposiciones
10 / 28
Formas normales II
Las frmulas
(p q) (r p)
(p q) (r p)
( ) ( )
Lgica 1
Clculo de proposiciones
( ) ( ) ( )
( )
( )
( ) ( ) ( ).
i=1
11 / 28
Lgica 1
Clculo de proposiciones
12 / 28
(p q)
pues si
e(p) = e(q) = V
entonces
e((p q)) = V ,
(p p).
en cambio, si
e(p) = V
e(q) = F
entonces
e((p q)) = F .
Francisco Hernndez Quiroz
Lgica 1
Clculo de proposiciones
13 / 28
Lgica 1
Clculo de proposiciones
14 / 28
Clculo de proposiciones
16 / 28
Consecuencia lgica
1 , . . . n |= .
es vlido sii para toda evaluacin
Que se lee as
e : PA {V , F }
es consecuencia lgica de 1 , . . . , n
se tiene que si
e(1 ) = V . . . e(n ) = V ,
entonces
e() = V .
En caso contrario, se dice que el argumento es invlido.
Lgica 1
Clculo de proposiciones
15 / 28
Lgica 1
Sistemas de demostracin
Reglas de inferencia
Sean 1 , . . . n y frmulas del clculo de proposiciones. Una regla de
inferencia tiene la siguiente forma
donde
0 n;
R es el nombre de la regla.
Lgica 1
Clculo de proposiciones
1 , . . . , n
Lgica 1
Clculo de proposiciones
Demostraciones I
Sean 1 , . . . , m y frmulas y sea S un sistema de demostracin.
Diremos que se infiere de 1 , . . . , m en S sii existe una sucesin finita de
frmulas h1 , . . . k i tal que
Axiomas de ukasiewiecz:
A1
A2
A3
18 / 28
k = ;
para todo i k se tiene uno de los siguientes casos:
p (q p)
(p (q r)) ((p q) (p r))
(p q) (q p)
1
2
pq
q
1 , . . . , n
Lgica 1
Clculo de proposiciones
19 / 28
Lgica 1
(con i1 , . . . , in < i)
Clculo de proposiciones
20 / 28
Demostraciones II
Ejemplo
Aqu tenemos un ejemplo de una demostracin: p, q (p r) `L q r:
tales que
i1
= 1
...
in
= n
Lgica 1
Clculo de proposiciones
21 / 28
premisa
q (p r)
premisa
p (q p)
A1
qp
MP 1, 3
A2
(q p) (q r)
MP 2, 5
qr
MP 4, 6
Lgica 1
Teorema de la deduccin
22 / 28
Deduccin natural
Teorema
Si , `L entonces `L .
Clculo de proposiciones
Lgica 1
Clculo de proposiciones
23 / 28
Lgica 1
Clculo de proposiciones
24 / 28
p
pq
q
pq
pq
p
pq
pq
q
p
..
.
q
..
.
p
..
.
q
pq
pq
q
pq qp
pq
p p
q
[p:=]
[p:=]
Lgica 1
Clculo de proposiciones
25 / 28
pq
pq
E
p
..
.
p
..
.
q q
q q
pq
qp
Lgica 1
Clculo de proposiciones
Ejemplo 1
Ejemplo 2
Ahora, un ejemplo de E y F : p q, p `N q
1 pq
Premisa
2 qr
Premisa
Hiptesis
E 1, 3
E 2, 4
6 pr
26 / 28
Clculo de proposiciones
Premisa
2 p
Premisa
Hip.
p p
I 3, 2
F4
Hip.
E 1
7 q
Lgica 1
1 pq
27 / 28
Lgica 1
Clculo de proposiciones
28 / 28