Log 1 1 Ho

Introduccin Sintaxis Semntica Formas normales Consecuencia lgica Sistemas de demostracin
Lenguaje natural vs. lenguaje formal

LGICA I
CLCULO DE PROPOSICIONES
Una diferencia obvia entre la lgica y el habla cotidiana es la distincin

comn a todos los lenguajes naturales y los lenguajes formales
Francisco Hernndez Quiroz
La sintaxis, la semntica (cuando existe) y los mtodos de derivacin

se definen matemticamente en la lgica
Departamento de Matemticas
Facultad de Ciencias, UNAM
E-mail: fhq@ciencias.unam.mx
Pgina Web: www.matematicas.unam.mx/fhq
Nada de esto existe explcitamente (y tal vez tampco implcitamente) en

el habla cotidiana
Posgrado en Filosofa de la Ciencia
Lgica 1
Clculo de proposiciones
1 / 28
Lgica 1
Proposiciones atmicas y compuestas
Funciones booleanas Interdefinibilidad
Sintaxis
2 / 28
Semntica
La sintaxis del clculo de proposiciones es muy simple. Por un lado, tenemos

el conjunto
PA = {p, q, r, p0 , . . . }
La semntica del clculo de proposiciones se expresa en trminos de

valores de verdad (generalmente).
de proposiciones atmicas y, por otro lado, las conectivas lgicas usuales:
Los valores de verdad ms utilizados son los valores booleanos

B = {V , F }.
, , , , .
Una evaluacin es una funcin e : PA B.
O en notacin de Backus-Naur:
Esta funcin se puede extender a proposiciones compuestas cuando se

combina con funciones booleanas asociadas a cada una de las
conectivas.
::= PA | | ( ) | ( ) | ( ) | ( )
donde
PA ::= p | q | r | pN | qN | rN ,
donde N es un nmero natural.
Lgica 1
3 / 28
Lgica 1
4 / 28
Funciones boolenas
Funciones boolenas binarias

V
V
F
F
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
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
El teorema anterior parece referirse slo a las conectivas binarias o

unarias.
Todas las conectivas se pueden definir en trminos de

1
y una de las siguientes
Sin embargo, se aplica a las funciones boolenas de cualquier nmero

de argumentos.
2
3
2
F
F
V
F
6 / 28
Bastan las conectivas binarias para todo
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
;
;
;
Por ejemplo, la conectiva ternaria siguiente se puede definir en

trminos de dos binarias:
if p then q else r def (p q) (p r)
Y esto se puede generalizar a cualquier valor de n.
Lgica 1
7 / 28
Lgica 1
8 / 28
Demostracin
Formas normales I
Por induccin en el nmero de argumentos de la funcin, con una

salvedad:
Los casos bsicos son las constantes, las conectivas unarias y las
binarias.
La hiptesis inductiva es:
Para toda k < n, toda funcin booleana f : {V , F }k {V , F } se
puede definir con alguna de las opciones del teorema.
Caso inductivo: toda funcin booleana g : {V , F }n {V , F } se
puede definir con alguna de las opciones del teorema.
Sugerencia: g se puede expresar como una combinacin de una
funcin
h : {V , F }n1 {V , F }
Llamaremos literal a una frmula si es una proposicin atmica o la

negacin de una proposicin atmica.
Una frmula est en forma normal conjuntiva (o CNF, para abreviar) si
tiene la siguiente forma
!
n
m
^
_
i,j ,
i=1
donde i,j es una literal.

Una frmula est en forma normal disyuntiva (o DNF, para abreviar) si
tiene la siguiente forma
!
n
m
_
^
i,j .
y una funcin
b : {V , F }2 {V , F }.
Lgica 1
i=1
9 / 28
i=1
Lgica 1
10 / 28
Formas normales II
Conversin de frmulas a CNF y DNF
Las frmulas
(p q) (r p)
Toda frmula tiene frmulas equivalente en CNF y DNF. Por ejemplo,

p p es equivalente a la frmula p p (que est en 2CNF o 1DNF).
(p q) (r p)
Para transformar una frmula arbitraria a CNF se pueden utilizar las

equivalencias siguientes de manera sucesiva
estn en CNF y DNF, respectivamente.

Cada una de las disyunciones que componen una frmula en CNF es
una clusula (anlogamente para las conjunciones en DNF).
( ) ( )
Si el nmero de literales que aparece en una clusula es menor o igual

a n, diremos que la frmula est en nCNF (anlogamente, en nDNF).
Lgica 1
( ) ( ) ( )
( )
( )
( ) ( ) ( ).
Las frmulas del ejemplo anterior estn en 2CNF y 2DNF,

respectivamente.
i=1
Y, desde luego, la conmutatividad de y .
11 / 28
Lgica 1
12 / 28
Tautologas, contradicciones y contingencias I
Tautologas, contradicciones y contingencias II
La mayora de las proposiciones compuestas son contingentes:

algunas asignaciones de valores de verdad a sus proposiciones
atmicas producen V y otras F . Ejemplo:
Algunas proposiciones siempre son verdaderas sin importar la

asignacin de valores a sus proposiciones atmicas. Ejemplo:
(p p),
(p q)
Estas proposiciones se conocen como tautologas. Se acostumbra

distinguirlas anteponiendo el smbolo |=.
pues si
e(p) = e(q) = V
Y otras siempre producen F . Ejemplo:
entonces
e((p q)) = V ,
(p p).
en cambio, si
e(p) = V
stas se conocen como contradicciones.
e(q) = F
entonces
e((p q)) = F .
Lgica 1
13 / 28
Lgica 1
14 / 28
16 / 28
Consecuencia lgica
Argumentos vlidos e invlidos

Definicin
Un argumento
El smbolo |= tambin denota una relacin entre conjuntos de proposiciones

y frmulas individuales:
1 , . . . n |= .
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
Las proposiciones 1 , . . . , n se conocen como las premisas; y , como la

conclusin.
La expresin completa se conoce como argumento.
e(1 ) = V . . . e(n ) = V ,
entonces
e() = V .
En caso contrario, se dice que el argumento es invlido.
Lgica 1
15 / 28
Lgica 1
Definicin Un sistema axiomtico Deduccin natural
Sistemas de demostracin
Reglas de inferencia
Sean 1 , . . . n y frmulas del clculo de proposiciones. Una regla de
inferencia tiene la siguiente forma
Los sistemas de demostracin son herramientas para verificar la

validez de argumentos lgicos por medios estrictamente sintcticos.
Un sistema de demostracin est formado por un conjunto

(generalmente finito) de reglas de inferencia e instrucciones sobre
cmo aplicar estas reglas.
donde
El concepto de demostracin es el ncleo de un sistema: una

demostracin es un conjunto de frmulas que permiten ir de las
premisas a la conclusin por medio de transformaciones sintcticas.
0 n;
Para que un sistema de demostracin sea til debe cumplir un conjunto

de propiedades metatericas: correccin, completitud, etc.
R es el nombre de la regla.
Lgica 1
1 , . . . , n
1 , . . . , n son las premisas;

es la conclusin;
Si n = 0, el conjunto de premisas es vaco y este tipo de reglas se conoce
como axioma.
17 / 28
Lgica 1
Ejemplo: Sistema de ukasiewicz
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
existe j n tal que i = j ;

existen
Se tiene una sola regla de derivacin: modus ponens

MP
pq
q
una regla de inferencia
1 , . . . , n
una sustitucin de frmulas atmicas por frmulas

= [p1 := 1 ; . . . , pr := r ]
y frmulas
i1 , . . . , in
Lgica 1
19 / 28
Lgica 1
(con i1 , . . . , in < i)
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
En ese caso diremos que

1 , . . . , m `S
es un teorema de S.
Lgica 1
21 / 28
premisa
q (p r)
premisa
p (q p)
A1
qp
MP 1, 3
(q (p r)) ((q p) (q r))
A2
(q p) (q r)
MP 2, 5
qr
MP 4, 6
Lgica 1
Teorema de la deduccin
22 / 28
Deduccin natural
La deduccin natural es un sistema con un conjunto grande de reglas

de inferencia.
El siguiente teorema facilitar las demostraciones en `L :
La deduccin natural tiene reglas para introducir (sealadas con I) o

eliminar (E) las conectivas lgicas.
Teorema
Si , `L entonces `L .
Adems, hay tres reglas adicionales: contradiccin (C), sustitucin (S)

y falso (F ).
La demostracin del teorema se ver en la parte 3 del curso.
Algunas reglas contemplan la introduccin de hiptesis adicionales. Por

esta razn, las inferencias que se hagan utilizando estas hiptesis
aparecen dentro de cajas. Las cajas se pueden cerrar extrayendo una
conclusin de acuerdo con las condiciones de cada regla.
La implicacin inversa es trivial, gracias a la regla MP.
Lgica 1
23 / 28
Lgica 1
24 / 28
Reglas de deduccin natural I

p q
pq
p
pq
q
pq
Reglas de deduccin natural II
pq
p
pq
pq
q
p
..
.
q
..
.
p
..
.
q
pq
pq
q
pq qp
pq
p p
q
[p:=]
[p:=]
Lgica 1
25 / 28
pq
pq
E
p
..
.
p
..
.
q q
q q
pq
qp
Lgica 1
Ejemplo 1
Ejemplo 2
Demostraremos algunos teoremas en `N .

Primero p q, q r `N p r.
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
Premisa
2 p
Premisa
Hip.
p p
I 3, 2
F4
Hip.
E 1
7 q
Lgica 1
1 pq
27 / 28
Lgica 1
28 / 28

Log 1 1 Ho

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Log 1 1 Ho

Cargado por

Copyright:

Formatos disponibles

Introduccin Sintaxis Semntica Formas normales Consecuencia lgica Sistemas de demostracin

Introduccin Sintaxis Semntica Formas normales Consecuencia lgica Sistemas de demostracin

Lenguaje natural vs. lenguaje formal

Una diferencia obvia entre la lgica y el habla cotidiana es la distincin

Francisco Hernndez Quiroz

La sintaxis, la semntica (cuando existe) y los mtodos de derivacin

Nada de esto existe explcitamente (y tal vez tampco implcitamente) en

Posgrado en Filosofa de la Ciencia

Francisco Hernndez Quiroz

Francisco Hernndez Quiroz

Introduccin Sintaxis Semntica Formas normales Consecuencia lgica Sistemas de demostracin

Introduccin Sintaxis Semntica Formas normales Consecuencia lgica Sistemas de demostracin

Proposiciones atmicas y compuestas

Funciones booleanas Interdefinibilidad

La sintaxis del clculo de proposiciones es muy simple. Por un lado, tenemos

La semntica del clculo de proposiciones se expresa en trminos de

de proposiciones atmicas y, por otro lado, las conectivas lgicas usuales:

Los valores de verdad ms utilizados son los valores booleanos

Una evaluacin es una funcin e : PA B.

Esta funcin se puede extender a proposiciones compuestas cuando se

Francisco Hernndez Quiroz

Introduccin Sintaxis Semntica Formas normales Consecuencia lgica Sistemas de demostracin

Introduccin Sintaxis Semntica Formas normales Consecuencia lgica Sistemas de demostracin

Funciones booleanas Interdefinibilidad

Funciones booleanas Interdefinibilidad

Funciones boolenas binarias

Francisco Hernndez Quiroz

Francisco Hernndez Quiroz

Introduccin Sintaxis Semntica Formas normales Consecuencia lgica Sistemas de demostracin

Funciones booleanas Interdefinibilidad

Funciones booleanas Interdefinibilidad

El teorema anterior parece referirse slo a las conectivas binarias o

Todas las conectivas se pueden definir en trminos de

Sin embargo, se aplica a las funciones boolenas de cualquier nmero

Bastan las conectivas binarias para todo

Introduccin Sintaxis Semntica Formas normales Consecuencia lgica Sistemas de demostracin

Por ejemplo, la conectiva ternaria siguiente se puede definir en

Francisco Hernndez Quiroz

Francisco Hernndez Quiroz

Introduccin Sintaxis Semntica Formas normales Consecuencia lgica Sistemas de demostracin

Introduccin Sintaxis Semntica Formas normales Consecuencia lgica Sistemas de demostracin

Funciones booleanas Interdefinibilidad

Por induccin en el nmero de argumentos de la funcin, con una

Llamaremos literal a una frmula si es una proposicin atmica o la

donde i,j es una literal.

Introduccin Sintaxis Semntica Formas normales Consecuencia lgica Sistemas de demostracin

Francisco Hernndez Quiroz

Introduccin Sintaxis Semntica Formas normales Consecuencia lgica Sistemas de demostracin

Conversin de frmulas a CNF y DNF

Toda frmula tiene frmulas equivalente en CNF y DNF. Por ejemplo,

Para transformar una frmula arbitraria a CNF se pueden utilizar las

estn en CNF y DNF, respectivamente.

Si el nmero de literales que aparece en una clusula es menor o igual

Las frmulas del ejemplo anterior estn en 2CNF y 2DNF,

Francisco Hernndez Quiroz

Y, desde luego, la conmutatividad de y .

Francisco Hernndez Quiroz

Introduccin Sintaxis Semntica Formas normales Consecuencia lgica Sistemas de demostracin

Introduccin Sintaxis Semntica Formas normales Consecuencia lgica Sistemas de demostracin

Tautologas, contradicciones y contingencias I

Tautologas, contradicciones y contingencias II

La mayora de las proposiciones compuestas son contingentes:

Algunas proposiciones siempre son verdaderas sin importar la