Introducción A La Lógica

Metodologa de la Asignatura
Indice
1 Metodologa de la Asignatura
Introduccion a la Logica I
2 El objeto de la Logica
Felix Bou
bou@ub.edu 3 Logica Proposicional
4 Nociones de Teora de Conjuntos

16 de diciembre de 2009
5 Argumentacion Silogstica
F. Bou (bou@ub.edu) Introducci

on a la L
ogica I 16 de diciembre de 2009 1 / 185 F. Bou (bou@ub.edu) Introducci
on a la L
ogica I 16 de diciembre de 2009 2 / 185
Metodologa de la Asignatura Metodologa de la Asignatura
Metodologa de la asignatura Metodologa de la asignatura
Horario
Teora Consultas Practicas*
Datos Profesor Martes 17:00-18:00h
Grupo B1
Felix Bou. Miercoles 17:00-18:00h 18:00-19:00h
(A. 403)
Departament de L`ogica, Hist`
oria i Filosofia de la Ci`encia. Jueves 17:00-18:00h 18:00-19:00h
Despacho 4.040 (4a planta).
* Las practicas son el aula 406.
E-mail: bou@ub.edu (fbou@iiia.csic.es)
Telefono: 93 4037978.
Examen Final
1a Convocatoria 2a Convocatoria
Grupo B1 (A. 403) 20 Enero, 16:00-18:00h 8 Sept, 16:00-18:00h

on a la L
on a la L
Metodologa de la Asignatura El objeto de la L
ogica
Sistema de Evaluacion Explicado por Neus Castells

Evaluacion Continua
Tres examenes parciales durante el curso. Las fechas son
I Jueves 15 de octubre de 2009.
I Jueves 19 de noviembre de 2009.
I Jueves 17 de diciembre de 2009.
Hace falta aprobar los tres examenes con una nota mnima de 3, y en
tal caso la nota final sera la media de los tres examenes parciales.
Solo se obtendra la calificaci
on de No Presentado en caso de no
realizar los tres examenes parciales.

Evaluacion Unica
Todo el mundo puede realizar el examen final, incluso aquellas
personas que antes han hecho uno o mas de los examenes parciales.
La asistencia al examen final supone automaticamente la renuncia a
on continua, i.e., la nota final sera la obtenida
la nota de la evaluaci
en el examen final.
on a la L
on a la L
L
ogica Proposicional L
ogica Proposicional
Expresiones veritativo-funcionales Expresiones veritativo-funcionales
En los lenguajes naturales hay expresiones que nos permiten formar La logica de proposiciones (o enunciados) nos sera u
til para analizar
enunciados compuestos a partir de otros mas simples. Por ejemplo, la estructura de los enunciados compuestos formados a partir de
los enunciados expresiones veritativo-funcionales.
Messi juega en el Barca En otras palabras, la logica proposicional nos va a permitir estudiar la
Messi es un fil
osofo de reconocido prestigio correccion de argumentos donde los enunciados se han obtenido a
partir de expresiones veritativo-funcionales.
se pueden combinar con la ayuda de diversas partculas, como por
ejemplo y, o, si . . . entonces . . . . La gracia de estas Por tanto, no podremos aplicar la logica proposicional al estudio de
partculas (y otras mas del lenguaje natural) es que la verdad o argumentos cuyos enunciados no hayan sido construidos a partir de
falsedad de los enunciados compuestos depende exclusivamente de la expresiones veritativo-funcionales.
verdad o falsedad de los enunciados mas simples que lo componen. As pues, a lo largo de todo este curso hemos de consider la hipotesis
A las partculas del lenguaje natural con esa caracterstica las implicta de que la verdad de cualquier enunciado que consideremos
llamamos expresiones veritativo-funcionales. depende exclusivamente de sus enunciados mas simples.

on a la L
on a la L
L
ogica Proposicional
El Lenguaje de la Logica Proposicional Los Lenguajes de la Logica Proposicional

Todos los lenguajes de la logica proposicional tienen en com
un los
smbolos siguientes:
En la logica proposicional distinguimos dos nveles: el sintactico y el 1 Conectivas: , , , y .
semantico. El nivel sintactico estudia el lenguaje como una pura 2 Parentesis: ) y (.
manipulacion de signos. Por contra, el nivel semantico se encarga de Las conectivas son los smbolos logicos del lenguaje. Y los parentesis
atribuir significado a esos smbolos. Es claro que esta misma son los smbolos auxiliares del lenguaje.
distincion sucede en los lenguajes naturales (as como en los otros Todo lenguaje de la logica proposicional esta caracterizado por los
lenguajes artificiales que conocemos). smbolos que tiene ademas de los comunes. Estos smbolos
El lenguaje de la l
ogica proposicional es un lenguaje artificial caractersticos del lenguaje son llamados las letras proposicionales (o
especificamente disenado para analizar enunciados formados con variables). El numero de letras proposicionales varia de un lenguaje
expresiones veritativo-funcionales. Por tanto, es razonable tener en proposicional a otro, pero es com un usar como letras proposicionales
este lenguaje smbolos para hablar de las partculas del lenguaje las letras p, q, r , s y t (con o sin subndices).
veritativo-funcionales (tambien llamadas conectivas). Un ejemplo de lenguaje de la logica proposicional es el dado por las
No hay un u nico lenguaje de la l
ogica proposicional sino toda una letras proposicionales p y q. Otro ejemplo (diferente) de lenguaje de
familia de lenguajes de la l
ogica proposicional. la logica proposicional es el dado por las letras proposicionales p1 , p2
y p3 . Observamos que para identificar un lenguaje de la logica
proposicional basta con decir cuales son sus letras proposicionales.
on a la L
on a la L
L
ogica Proposicional
Los Lenguajes de la Logica Proposicional Formulas de un lenguaje de la Logica Proposicional
Sea L un lenguaje de la logica proposicional.

El nombre de las conectivas y la forma de leerlas es el dado en la Una expresion del lenguaje L es una sucesion finita de smbolos del
siguiente tabla lenguaje L.
Conectiva Nombre Lectura Una f
ormula atomica del lenguaje L es una letra proposicional del
negacion no lenguaje L.
conjuncion y Una f
ormula del lenguaje L es una expresion que se obtiene a partir
disyuncion o de un n
umero finito de aplicaciones de las siguientes reglas:
condicional si . . . , entonces 1 Toda formula atomica de L es una formula de L (i.e., toda letra
bicondicional si y s
olo si proposicional de L es una formula de L).
2 Si es una formula entonces es una formula.
3 Si y son formulas entonces ( ), ( ), ( ) y ( )
tambien son formulas.

on a la L
on a la L
L
ogica Proposicional
Ejemplos en lenguajes de la Logica Proposicional Mas Ejemplos en lenguajes de la Logica Proposicional

En muchas ocasiones es com un hablar de expresiones, formulas
Ejemplo en los lenguajes L1 y L2 , donde L1 es el lenguaje con las atomicas y formulas sin especificar concretamente el lenguaje que
letras p y q, y L2 el de las letras p, q y r estamos considerado.
Expresi
on F
ormula Atomica Formula En estos casos, simplemente se asume que el lenguaje contiene todos
p), No No No los smbolos que aparecen en la expresion en cuestion.
r )( No - S No No Veamos algunos ejemplos donde procedemos as (es decir, se sobreentiende
q S S S el lenguaje).
r No - S No - S No - S
(p q) S No S
Ejemplos de formulas atomicas
pq S No No p, s, r , p1 , etc.
(p) S No No
p S No S
Ejemplos de expresiones que no son formulas
(p q) S No S p), (q), p q, p q, p (q q), p (q r ), etc.
p (p q) S No No
(p (p q)) S No S Ejemplos de formulas no atomicas
p, (p q), (p q), (p (q q)), (p (q r )), etc.
on a la L
on a la L
L
ogica Proposicional
Los Diversos Tipos de Formulas Justificacion de porque una expresion es una formula I
Podemos asociar a cada formula de un lenguaje de la logica proposicional
su arbol genealogico, que describe la construccion o generacion de la
formula de acuerdo a las reglas anteriores. Por ejemplo,
ormula de la forma .
Una negacion es una f El arbol genealogico de ((p q) r ) es
ormula de la forma ( ).
Una conjuncion es una f p q
r
(p q) r
Una disyuncion es una f
((p q) r )
Un condicional es una f
y permite justificar que se trata de una formula.
Un bicondicional es una f El arbol genealogico de ((p q) r ) es
Toda formula de la l
ogica proposicional es o bien una negacion, o una p q
conjuncion, o una disyunci
on, o un condicional, o un bicondicional, o (p q)
una formula atomica. Y s
olo puede ser de uno de estos tipos.
(p q)
r
(p q) r
((p q) r )
y permite justificar que se trata de una formula.
on a la L
on a la L
L
ogica Proposicional
Justificacion de porque una expresion es una formula II Justificacion de porque una expresion es una formula III
ogico de (p q) es
El arbol geneal
p
p q
(p q)
y permite justificar que se trata de una f
ormula. El arbol genealogico de ((p r ) (r q)) es
ogico de (p q) es
El arbol geneal r r q
p q p r r q
(p q) (p r ) (r q)
(p q) (p r ) (r q)
ormula. ((p r ) (r q))
ogico de ((p p) p) es
El arbol geneal y permite justificar que se trata de una formula.
p p
(p p)
(p p) p
((p p) p)
ormula.
on a la L
on a la L
L
ogica Proposicional
Justificacion de porque una expresion es una formula IV Justificacion de porque una expresion no es una formula
Como justificar que la expresion (p q) no es una formula?
Basta comprobar que si intentamos hacer el arbol genealogico no lo
Ideas Fundamentales extradas de los ejemplos anteriores conseguimos.
Los arboles geneal
ogicos nos permiten justificar que una expresion es ???????
una formula. En otras palabras, si podemos construir el arbol q
genealogico entonces dicha expresi
on es una formula, mientras que si p q
ogico entonces dicha expresion
no podemos construir el arbol geneal (p q)
no es una formula. (p q)
Es importante destacar que el arbol genealogico de una formula es Como justificar que la expresion (p q r ) no es una formula?
u
nico, es decir, no es posible dar dos formas diferentes de construir Basta comprobar que si intentamos hacer el arbol genealogico no lo
una misma formula, es decir, solo hay una forma posible de construir conseguimos (en esta ocasion nos salen varios casos).
una formula.
??????? ???????
p qr pq r
(p q r ) (p q r )

on a la L
on a la L
L
ogica Proposicional
Subformulas Mas Ejemplos de Subformulas

Las subformulas de una f ormula son las f
ormulas que aparecen en su Cuantas subformulas tiene la formula (q p) y cuales son? Para
arbol genealogico, incluida la propia f
ormula. responder a esta pregunta comenzamos construyendo el arbol
Por ejemplo, (p q) tiene 4 subf ormulas, y ((p p) p) tiene genealogico de esta formula, el cual es
tambien 4 subformulas (seg un lo que hemos visto en las diapositivas q p
anteriores). q p
Es evidente que si la formula es una subformula de y es una (q p)
subformula de entonces tambien es una subformula de . Por tanto, hay cinco subformulas que son: p, q, p, q y (q p).
Cuales son la subformulas de la formula ((r q) q)? Para Cuantas subformulas tiene la formula (p q) y cuales son? Para
responder a esta pregunta comenzamos construyendo el arbol responder a esta pregunta comenzamos construyendo el arbol
genealogico de esta formula, el cual es genealogico de esta formula, el cual es
q q
r q p q
(r q) q (p q)
((r q) q) (p q)
Por tanto, hay cinco subf ormulas que son: r , q, q, (r q) y Por tanto, hay cinco subformulas que son: p, q, q, (p q) y
((r q) q). (p q).
on a la L
on a la L
L
ogica Proposicional
Nota Avanzada sobre (los parenteresis en) las Formulas I Nota Avanzada sobre (los parenteresis en) las Formulas II
Pregunta 1
Consideramos la condici
on
Pregunta 2
Consideramos la condicion
Si y son formulas entonces , , y
tambien son formulas. Si es una formula entonces () tambien es una formula.
Que ocurriria si en la definici
on de f
ormula cambiaramos la tercera Que ocurriria si en la definicion de formula cambiaramos la segunda
condicion por la condicion anterior? Esta no sera una buena definicion condicion por la condicion anterior? Con esta definicion no habra
porque en tal caso habra ambig uedad debido al que hecho de que por ambiguedad pero usaramos una notacion innecesariamente larga.
ejemplo podramos construir la f ormula p q r de dos formas diferentes.

on a la L
on a la L
L
ogica Proposicional
Nota Avanzada sobre (los parenteresis en) las Formulas III Convenio: Omision de los Parentesis Exteriores
A partir de ahora los parentesis exteriores (y solo los exteriores) no
sera necesario escribirlos explcitamente.
Pregunta 3 Aunque no escribamos los parentesis exteriores, todas las formulas
Es posible una definicion de f
ormula en la que no haya ambig uedad y no que los necesiten (es decir, las obtenidas a traves de conectivas
se utilicen parentesis? Basta cambiar la tercera condicion por la condicion binarias) supondremos que en realidad los llevan.
Es decir, a partir de ahora consideraremos que
Si y son formulas entonces , , y tambien I p q se refiere a la formula (p q).
son formulas. I p q se refiere a la formula (p q).
Esta notacion es conocida con el nombre de notacion polaca. Otra I p (q r ) se refiere a la formula (p (q r )).
notacion que no tiene problemas es la que se obtiene utilizando la I (p q) r se refiere a la formula ((p q) r ).
I etc.
condicion (conocida como notacion polaca inversa)
Siguiendo este convenio uno de los arboles genealogicos anteriores lo
Si y son formulas entonces , , y tambien
podramos reescribir ahora de la forma siguiente
son formulas. q
r q
r q q
(r q) q
on a la L
on a la L
L
ogica Proposicional
Ejemplos sobre el uso de los Parentesis I Ejemplos sobre el uso de los Parentesis II
nadir parentesis a la expresion p q r q para que sea
A
una negacion de una disyuncion: (((p q) r ) q),
((p (q r )) q) o ((p (q r )) q).
A on p q p para que sea
nadir parentesis a la expresi una negacion de un condicional: ((p q) (r q))
on: ((p q) p).
una negacion de una disyunci ((p q) (r q)) o ((p q) (r q)).
on: (p (q p)).
una negacion de una conjunci una negacion de una conjuncion: (p ((q r ) q)),
una disyuncion: (p q) p o (p q) p. (p (q (r q))), (p (q (r q))),
(p (q (r q))), (p (q (r q))), etc.
una conjuncion: p (q p).
una disyuncion: (p (q r )) q, (p (q r )) q,
((p q) r ) q, (p (q r )) q,
(p (q r )) q, etc.
una conjuncion: p ((q r ) q), p (q (r q)),
p (q (r q)), p (q (r q)), etc.

on a la L
on a la L
L
ogica Proposicional
Lenguaje Objeto y Metalenguaje I Lenguaje Objeto y Metalenguaje II

En el estudio de la logica es evidente que el lenguaje objeto es
precisamente el lenguaje formal introducido anteriormente cuyo
alfabeto es el formado por los smbolos , , , , , (, ), p, q, . . . y
Siempre que hablamos (o estudiamos) un lenguaje (indistintamente cuyas expresiones sintacticamente correctas son las formulas.
de si es un lenguaje formal o un lenguaje natural) es importante tener Por contra, en este curso el metalenguaje que utilizamos para estudiar
clara la distinci
on entre la logica es el idioma castellano. Algunos ejemplos de enunciados en
I el lenguaje del que se habla (llamado lenguaje objeto), este metalenguaje son los enunciados
I el lenguaje en el que se habla (llamado metalenguaje). I si es una formula entonces es una formula,
Los conceptos de lenguaje objeto y metalenguaje son relativos a una I es una conectiva,
situacion concreta. Es decir, un lenguaje puede ser lenguaje objeto en I si p es una letra proposicional entonces p es una formula atomica.
I si p es una letra proposicional entonces p no es una formula atomica.
una situacion y metalenguaje en otra situacion.
Es evidente que ninguno de los cuatro enunciados anteriores es un
enunciado del lenguaje objeto. En el primero de los enunciados
anteriores el rol de es el de una variable metalingustica en el
sentido que es una variable que tenemos en el metalenguaje para
referirnos a una formula cualquiera.
on a la L
on a la L
L
ogica Proposicional
Lenguaje Objeto y Metalenguaje III Semantica de los Lenguajes Proposicionales

En el lenguaje natural se suele adoptar el convenio de que para Hasta ahora nos hemos ocupado de los lenguajes de la logica
referirnos a una expresi
on del lenguaje natural utilizamos la misma proposicional desde un punto de vista sintactico, es decir, como mera
expresion entrecomillada (es decir, el nombre de una expresion del manipulacion de smbolos.
lenguaje natural se forma entrecomillando la expresion misma).
Algunos ejemplos que ilustran este hecho son A continuacion empezamos el estudio semantico de estos lenguajes.
I Amlcar Barca fundo la actual Barcelona, El objetivo de un estudio semantico es asignar significado a las
I Amlcar Barca acaba con la letra a, expresiones sintacticamente correctas (es decir, a las formulas).
I Es verdad que el Barca gano al Dinamo de Kiev, Por atribuir significado nos referimos a asignar un valor de verdad.
I El Barca gano al Dinamo de Kiev es un enunciado verdadero. Consideramos dos valores de verdad: verdadero (abrev. V ) y falso
Como consecuencia del comentario anterior, nos damos cuenta que (abrev. F ).
estrictamente hablando los tres u ltimos enunciados de la diapositiva
As pues, el objetivo es asignar valores de verdad a las formulas.
anterior deberan escribirse de la forma
I es una conectiva,
Aqu esta implcito que toda formula tendra asociado un valor de
I si p es una letra proposicional entonces p es una f
ormula at
omica, verdad, es decir, no sucede que haya formulas sin ning un valor de
I si p es una letra proposicional entonces p no es una f
ormula verdad asociado.
atomica, La semantica que consideramos sigue el principio de que el valor de
pero por no recargar nuestra forma de usar el metalenguaje no lo verdad asociado a una formula compuesta depende exclusivamente del
hacemos y simplemente escribimos lo de la diapositiva anterior. valor de verdad asociado a las formulas mas simples que la componen.
on a la L
on a la L
L
ogica Proposicional
El Concepto de Asignacion Cuantas asignaciones tiene un Lenguaje Proposicional? I

Una asignacion (de un lenguaje proposicional) es una funcion (o Consideramos el lenguaje proposicional con solo la letra proposicional
regla) que asigna a cada una de las letras proposicionales del lenguaje p. Cuantas asignaciones tiene este lenguaje? En este caso las u
nicas
considerado un valor de verdad. Es decir, a cada letra proposicional le asignaciones que hay son las siguientes
asignamos o bien el valor V o bien el valor F . p
Es habitual utilizar el smbolo v (con subndices o superndices si es V
necesario) para referirnos a una asignacion. F
Sea L el lenguaje proposicional que (s olo) tiene las letras Por tanto, hay (exactamente) 2 asignaciones.
proposicionales p y q. Un ejemplo de asignacion en este lenguaje Consideramos el lenguaje proposicional con solo las letras
proposicional (es decir, en L) es la asignacion v que cumple proposicionales p y q. Cuantas asignaciones tiene este lenguaje? En
v (p) = V y v (q) = F . este caso las u
nicas asignaciones que hay son las siguientes
Otro ejemplo es la asignaci 0
on v dada por las condiciones p q
v 0 (p) = V y v 0 (q) = V . V V
Otra notacion para referirnos a v y a v 0 que podramos utilizar sera V F
p q p q F V
y F F
V F V V
A partir de ahora vamos a utilizar casi siempre esta u ltima notacion. Por tanto, hay (exactamente) 4 asignaciones.
on a la L
on a la L
L
ogica Proposicional
Cuantas asignaciones tiene un Lenguaje Proposicional? II Asignaciones en un Lenguaje Proposicional

Consideramos el lenguaje proposicional con solo la letras El orden en que escribimos las asignaciones no es importante.
proposicionales p, q y r . Cuantas asignaciones tiene este lenguaje? Pero es interesante escribirlas siguiendo el orden natural porque as
En este caso las u
nicas asignaciones que hay son las siguientes difcilmente nos olvidaremos una asignacion. Es decir, el escribirlas
p q r siguiendo el orden anterior solo obedece a razones nemotecnicas.
V V V Si v es una asignacion, entonces diremos que p es verdadera con la
V V F asignacion v cuando ocurra que v (p) = V . Y diremos que p es falsa
V F V con la asignacion v cuando ocurra que v (p) = F .
V F F Hasta ahora sabemos cual es el valor de verdad asignado a una letra
F V V proposicional (es decir, formula atomica) con una asignacion. Nuestro
F V F siguiente objetivo es decir cual es el valor de verdad asignado a una
F F V formula cualquiera (no solo atomica) con una asignacion.
F F F El valor de verdad de una formula compuesta depende, ademas del
Por tanto, hay (exactamente) 8 asignaciones. valor de verdad de las letras proposicionales que aparecen en ella, del
Conclusion significado de las conectivas.
Si un lenguaje tiene n letras proposicionales, entonces en ese lenguaje hay El significado de una conectiva puede entenderse como una regla que
2n asignaciones. determina el valor de verdad en funcion de otros valores de verdad.
on a la L
on a la L
L
ogica Proposicional
El Significado de la Negacion El Significado de la Conjuncion

Recordemos que la conjuncion es una conectiva binaria.
on es una conectiva unaria.
Recordemos que la negaci
El significado de la conjuncion es el determinado por la funcion (o
El significado de la negacion es el determinado por la funcion (o regla) veritativa siguiente
regla) veritativa siguiente ( )
V V V
V F V F F
F V F V F
Dicho en palabras, la negaci on de una formula es F F F
I verdadera cuando la formula es falsa. Dicho en palabras, la conjuncion de dos formulas es
I falsa cuando la f
ormula es verdadera. I verdadera cuando ambas formulas son verdaderas.
Dicho de otra forma, la negaci
on de una formula es I falsa cuando al menos una de las formulas es falsa.
I verdadera cuando no ocurre que la formula es verdadera. Dicho de otra forma, la conjuncion de dos formulas es
I falsa cuando no ocurre que la formula es falsa. I verdadera cuando no ocurre que al menos una de las formulas es falsa.
I falsa cuando no ocurre que ambas formulas son verdaderas.

on a la L
on a la L
L
ogica Proposicional
El Significado de la Disyuncion El Significado del Condicional

Recordemos que el condicional es una conectiva binaria.
on es una conectiva binaria.
Recordemos que la disyunci El significado del condicional es el determinado por la funcion (o
El significado de la disyunci
on es el determinado por la funcion (o regla) veritativa siguiente
regla) veritativa siguiente ( )
( ) V V V
V V V V F F
V F V F V V
F V V F F V
F F F Dicho en palabras, el condicional de dos formulas es
Dicho en palabras, la disyuncion de dos formulas es I verdadero cuando o bien el antecedente es falso o bien el consecuente
es verdadero.
I verdadera cuando al menos una de las formulas es verdadera.
I falso cuando el antecedente es verdadero y el consecuente es falso.
I falsa cuando ambas formulas son falsas.
Dicho de otra forma, el condicional de dos formulas es
Dicho de otra forma, la disyunci
on de dos formulas es I verdadero cuando no ocurre que el antecedente es verdadero y el
I verdadera cuando no ocurre que ambas formulas son falsas. consecuente es falso.
I falsa cuando no ocurre que al menos una de las f
ormulas es verdadera. I falso cuando no ocurre que o bien el antecedente es falso o bien el
consecuente es verdadero.
on a la L
on a la L
L
ogica Proposicional
El Significado del Bicondicional Resumen del Significado de las Conectivas

Recordemos que el bicondicional es una conectiva binaria.
El significado del bicondicional es el determinado por la funcion (o
regla) veritativa siguiente
( )
V V V ( ) ( ) ( ) ( )
V F F V V V V V V
F V F V F V F F V F F
F F V F V F V F V V F
Dicho en palabras, el bicondicional de dos formulas es F F F F V V
I verdadero cuando ambas formulas tienen el mismo valor de verdad.
I falso cuando las formulas que lo componen no tienen el mismo valor de
verdad.
Dicho de otra forma, el bicondicional de dos formulas es
I verdadero cuando no ocurre que las formulas que lo componen no
tienen el mismo valor de verdad.
I falso cuando no ocurre que ambas formulas tienen el mismo valor de
verdad.
on a la L
on a la L
L
ogica Proposicional
Valor de verdad asoc. a una Formula con una Asignacion I Valor de verdad asoc. a una Formula con una Asignacion II
Esencialmente decimos que podemos asociar valores de verdad a las
subformulas de una formula siguiendo el orden de aparicion (de arriba
Por definicion una asignaci
on nos da una funcion que asocia un valor a abajo) de estas subformulas en el arbol geneal
ogico.
de verdad a cada letra proposicional. Por ejemplo, consideremos el arbol genealogico de ((p q) r ).
p q
A partir de una asignacion, si utilizamos las condiciones de verdad de r
(p q) r
las conectivas (es decir, las reglas escritas en la diapositiva anterior)
entonces podemos asociar un valor de verdad a toda formula (no solo ((p q) r )
a las atomicas). Para calcular el valor de verdad asociado a esa formula en la
asignacion que asigna V a p, F a q y V a r recorremos el arbol de
Es decir, si tenemos una f ormula (con su correspondiente arbol
arriba a abajo
genealogico) y tenemos una regla para asociar un valor de verdad a
pV qF r V
cada letra proposicional que aparece en la formula, entonces a partir
(p q) F r F
de las condiciones de verdad de las conectivas podemos determinar
cual es el valor de verdad asociado con esa formula. ((p q) r ) V
El razonamiento anterior lo podemos resumir en la siguiente tabla
p q r p q r (p q) r
V F V F F V
on a la L
on a la L
L
ogica Proposicional
Tabla de Verdad de un Formula I Tabla de Verdad de un Formula II

Llamamos tabla de verdad de una f ormula a la tabla que se obtiene al Por ejemplo, la tabla de verdad de la formula (p q) (q r ) es
calcular el valor de verdad asociado a una formula con todas p q r p q q r (q r ) (p q) (q r )
(absolutamente todas) las asignaciones posibles de las letras V V V V V F F
proposicionales que aparecen en la f ormula. V V F V F V V
En la primera lnea horizontal de la tabla escribimos las letras V F V F V F V
proposicionales as como todas las subformulas de la formula original. V F F F V F V
Y en cada una de las otras lneas horizontales escribimos los valores F V V F V F V
correspondientes a una asignaci on. Por tanto, hay tantas lneas F V F F F V V
horizontales de este tipo como asignaciones. F F V F V F V
Las principales columnas de la tabla que nos interesan son las de las F F F F V F V
letras proposicionales (que son las primeras columnas) y la de la Por ejemplo, la tabla de verdad de la formula ((p q) p) p es
formula misma (que es la ultima columna). El resto de columnas que p q p q (p q) p ((p q) p) p
hay (y que corresponden a subf ormulas) son meramente auxiliares y V V V V V
pueden olvidarse una vez construida la tabla. V F F V V
La tabla de verdad de una f ormula nos informa del valor que toma la F V V F V
formula con cualquier posible asignacion (no solo con una asignacion). F F V F V
on a la L
on a la L
L
ogica Proposicional
Tabla de Verdad de un Formula III Algunos comentarios sobre las Tablas de Verdad
La tabla de verdad de = (((p q) s) (q (r s))) es
p q r s p p q (p q) s r s q (r s)
V V V V F V V V V V
V V V F F V F F F V
V V F V F V V V V V Las tablas de verdad conviene leerlas horizontalmente porque cada
V V F F F V F V V V lnea hortizontal nos da informacion sobre una asignacion diferente.
V F V V F F F V F V As pues, lneas diferentes nos aportan informacion sobre asignaciones
V F V F F F F F F V
diferentes.
V F F V F F F V F V
V F F F F F F V F V Por contra, para construir las tablas de verdad es mas aconsejable
F V V V V V V V V V proceder columna a columna. Este proceder es mas aconsejable
F V V F V V F F F V porque hay menos posibilidades de equivocarse al construir la tabla.
F V F V V V V V V V
F V F F V V F V V V
F F V V V V V V F F
F F V F V V F F F V
F F F V V V V V F F
F F F F V V F V F V
on a la L
on a la L
L
ogica Proposicional
Tautologas y Contradicciones Ejemplos sobre Tautologas y Contradicciones

Una formula es una tautologa si y s olo si se cumple que
para toda asignaci on v , se tiene que v () = V . La formula p p es una tautologa.
Es decir, si y s
olo si se cumple que
La formula p p es una tautologa.
el valor de verdad asociado a con toda asignacion es V .
La formula (p q) p es una tautologa.
Es decir, si y s
la u
ltima columna de la tabla de verdad solo toma el valor V . La formula p (p q) es una tautologa.
Una formula es una contradicci on si y solo si se cumple que La formula p p es una tautologa.
para toda asignacion v , se tiene que v () = F . La formula p p es una contradiccion.
Es decir, si y s
olo si se cumple que La formula p p es una contradiccion.
el valor de verdad asociado a con toda asignacion es F .
La formula p es contingente.
Es decir, si y s
la u
ltima columna de la tabla de verdad solo toma el valor F . La formula p es contingente.
Una formula es una f ormula contingente si y solo si se cumple que La formula p q es contingente.
no es ni tautologa ni contradiccion. La formula (p q) p es contingente.
olo si se cumple que hay alguna asignacion v tal que
Es decir, si y s
v () = V y tambien hay alguna asignaci on v tal que v () = F .
on a la L
on a la L
L
ogica Proposicional
Justificaciones sin usar toda la Tabla de Verdad I Justificaciones sin usar toda la Tabla de Verdad II
La formula p (p q) es una tautologa La formula (p q) (q p) es una tautologa
Hemos de comprobar que el valor de esta f ormula asociado con cualquier Hemos de comprobar que el valor de esta formula asociado con cualquier
asignacion v es V . Sea v una asignacion cualquiera. Ahora podemos asignacion v es V . Sea v una asignacion cualquiera. Observamos los dos
distinguis los dos casos siguientes ya que al menos uno de ellos debe hechos siguientes:
cumplirse:
v (p q) es F solo en el caso que v (p) = V y v (q) = F .
Caso v (p) = V : En tal caso es evidente que v (p q) = V . As pues,
v (q p) es F solo en el caso que v (q) = V como v (p) = F .
v ( (p q)) = V indistintamente de quien sea la formula . Por
As pues, v (q p) es F solo en el caso que v (q) = F y v (p) = V .
tanto, v (p (p q)) = V .
Por tanto, es evidente que v (p q) = v (q p). Y en consecuencia
Caso v (p) = F : En tal caso es evidente que v (p ) = V
v ((p q) (q p)) = V .
ormula . Por tanto,
indistintamente de quien sea la f
Nota: Este razonamiento se resume en la tabla
v (p (p q)) = V .
Nota: Este razonamiento se resume en la tabla p q pq q p (p q) (q p)
V F F F V
p q pq p (p q) resto casos V V V
V V /F V V
F V /F V
on a la L
on a la L
L
ogica Proposicional
Justificaciones sin usar toda la Tabla de Verdad III Justificaciones sin usar toda la Tabla de Verdad IV
La formula (p q) (p q) es una contradiccion
La formula p (p q) es contingente
Hemos de comprobar que el valor de esta f ormula asociado con cualquier
asignacion v es F . Sea v una asignaci
on cualquiera. Observamos los dos Hemos de comprobar que hay una asignacion que le asocia el valor V y
hechos siguientes: que tambien hay una que le asocia el valor F . Comprobemos ambas cosas:
v (p q) es V s
olo en el caso que tanto v (p) como v (q) son V . v (p (p q)) = V si consideramos una asignacion v tal que
v (p) = F (da igual quien sea v (q)).
v (p q) es F s olo en el caso que tanto v (p) como v (q) son F .
As pues, v (p q) es F solo en el caso que v (p) como v (q) son V . v (p (p q)) = F si consideramos la asignaci
on v tal que
v (p) = V y v (q) = F .
Por tanto, es evidente que v (p q) 6= v (p q). Y en consecuencia
v ((p q) (p q)) = F . Nota: Este razonamiento se resume en la tabla
Nota: Este razonamiento se resume en la tabla p q pq p (p q)
p q pq p q (p q) (p q) F V /F V
V V V F F V F F F
resto casos F V F

on a la L
on a la L
L
ogica Proposicional
Justificaciones sin usar toda la Tabla de Verdad V Propiedades Fundamentales de las Tautologas y
Contradicciones
La formula (p q) (p q) es contingente
Hemos de comprobar que hay una asignaci on que le asocia el valor V y
que tambien hay una que le asocia el valor F . Comprobemos ambas cosas:
v ((p q) (p q)) = V si consideramos la asignacion v tal Toda formula es o bien una tautologa, o bien una contradiccion, o
que v (p) = F y v (q) = F . bien una formula contingente. Y solo puede ser una de estas tres
v ((p q) (p q)) = F si consideramos la asignacion v tal cosas.
que v (p) = F y v (q) = V . La negacion de una tautologa es una contradiccion.
Nota: Este razonamiento se resume en la tabla La negacion de una contradiccion es una tautologa.
p q pq p q (p q) (p q) La negacion de una formula contingente es contingente.
F F V V V
F V V F F

on a la L
on a la L
L
ogica Proposicional
Algunas Tautologas con Nombre Propio Ejemplo de argumentacion por Reduccion al Absurdo
A continuacion listamos algunas tautologas especialmente interesantes. La formula ( ) ( ) es una tautologa
(ley de identidad). Vamos a argumentar por reduccion al absurdo.
[En particular, p p, p p y (p q) (p q) son ejemplos de
tautologas obtenidas por la ley de identidad]. En este tipo de argumentacion suponemos que la formula no es una
(ley del tercio excluso). tautologa y de aqu obtenemos una contradiccion; concluyendo por tanto
( ) (principio de no contradicci
on). que la suposicion es falsa, es decir, que la formula s es una tautologa.
( ) (ley de Clavius). Supongamos, pues, que existe una asignacion v tal que hace falsa a la
( ) (ley de Duns Scoto). formula ( ) ( ). En tal caso se tiene que v ( ) = F y que
(( ) ) (ley de Peirce). v ( ) = F . Por tanto, usando el primer hecho se tiene que v () = V y
(( ) ) . v () = F ; y usando el segundo hecho se tiene que v () = V y v () = F .
Y como es evidente que estas cosas no pueden suceder simultanemente
(( ) ) .
(no puede ser que a la vez ocurra que v () = V y v () = F ), llegamos a
(( ) ( )) ( ). la contradiccion que buscabamos y concluimos que la suposicion hecha al
( ) ( ). principio (es decir, que la formula no es una tautologa) es falsa.

on a la L
on a la L
L
ogica Proposicional
Como son las justificaciones para clasificar una formula en Equivalencia Logica
tautologa, contradiccion o contingente? Decimos que dos formulas son logicamente equivalentes si son
Conviene enfatizar que una justificaci
on que una formula verdaderas en exactamente las mismas asignaciones. Y por tanto,
I es una tautologa tiene que ser un argumento de caracter universal (en tambien son falsas en exactamente las mismas asignaciones. As pues,
el sentido de justificar que algo sucede para todas las asignaciones). dos formulas son logicamente equivalentes si y solo si toman el mismo
I es una contradiccion tiene que ser un argumento de caracter universal valor en toda asignacion.
(en el sentido de justificar que algo sucede para todas las asignaciones). Escribiremos para indicar que dichas dos formulas son
I es contingente tiene que ser un argumento de caracter particular (en el logicamente equivalentes. Y escribiremos 6 para indicar que
sentido de justificar que algo sucede en unas asignaciones concretas,
dichas dos formulas no son logicamente equivalentes.
nos da igual lo que pase en las otras asignaciones).
Es evidente que:
Conviene enfatizar que una justificaci
on que una formula I ,
I no es una tautologa tiene que ser un argumento de caracter particular I si entonces ,
(en el sentido de justificar que algo sucede en una asignaci
on concreta). I si y entonces .
I no es una contradiccion tiene que ser un argumento de caracter
particular (en el sentido de justificar que algo sucede en una asignaci
on
Es decir, la relacion de equivalencia logica es reflexiva, simetrica y
concreta). transitiva.
I no es contingente tiene que ser un argumento de caracter universal (en (es decir, y son equivalentes) si y solo si ocurre que
el sentido de justificar que algo sucede para todas las asignaciones). es una tautologa.
on a la L
on a la L
L
ogica Proposicional
Ejemplo de Equivalencia Logica Principio de Sustitucion de Formulas Equivalentes

Principio de Sustitucion de Formulas Equivalentes
La formulas p q y (p q) (q p) son equivalentes
Si y son dos formulas logicamente equivalentes (es decir, si ),
Hemos de comprobar que hay para toda asignacion v se cumple que tanto entonces toda formula es equivalente a la que resulta de sustituir (en dicha
p q como (p q) (q p) tienen asociado el mismo valor de verdad. formula) la subformula con .
A continuacion razonamos construyendo las tablas de verdad de estas dos
f
ormulas. Algunas Aplicaciones del Principio de Sustitucion
p q pq pq qp (p q) (q p) Si entonces .
V V V V V V Si entonces .
V F F F V F
Si entonces .
F V F V F F
F F V V V V Si entonces .
Si entonces .
Si 1 1 y 2 2 entonces 1 2 1 2 .
Examinado esta tabla es obvio que ambas formulas son equivalentes
(porque las correspondientes columnas son iguales). Si 1 1 y 2 2 entonces 1 2 1 2 .
etc.
on a la L
on a la L
L
ogica Proposicional
Algunas Equivalencias Logicas Importantes I Omision de Parentesis

A proposito de la conjuncion
(idempotencia) [Ej: p p p, (p q) (p q) (p q).] Las leyes asociativas de la conjuncion y de la disyuncion justifican el
hecho de omitir los parentesis cuya unica finalidad es agrupar o bien
(commutatividad) una sucesion de conjunciones o bien una sucesion de disyunciones.
( ) ( ) (asociatividad) As pues, a partir de ahora este tipo de parentesis se pueden omitir si
uno quiere.
A proposito de la disyuncion Por ejemplo, gracias a la omision de parentesis en virtud de lo dicho
(idempotencia) antes podemos reescribir
(commutatividad) I (p q) r como p q r .
I p (q r ) como p q r .
( ) ( ) (asociatividad) I p (q r ) como p q r .
I (p q) (r s) como p q r s.
Combinacion de conjunciones y disyunciones I (p q) (q r ) como p q (q r ).
( ) ( ) ( ) (distributiva de la conjuncion I r (t (p q)) como r (t p q).
I (p t) (q (r p)) como (p t) q (r p).
respecto a la disyunci
on) I etc.
( ) ( ) ( ) (distributiva de la disyuncion
respecto a la conjunci
on)
on a la L
on a la L
L
ogica Proposicional
Algunas Equivalencias Logicas Importantes II Es suficiente que la negacion solo afecte a letras
proposicionales
Como consecuencia de la diapositiva anterior se obtiene lo siguiente.
A proposito de la negacion Proposicion

(ley de la doble negaci
on) Toda formula es equivalente a una formula en que la negacion solo
afecta a letras proposicionales (es decir, no afecta a f
ormulas compuestas)
( ) (ley de De Morgan)
y que como mucho utiliza las conectivas , y .
( ) (ley de De Morgan)
( ) Ejemplos
( ) ( ) ( ) [Esta u ltima equivalencia se puede (p q) p q p q
deducir facilmente utilizando el principio de sustitucion as como el (p q) p q p q
hecho que sabemos que ( ) ( )]
(q r ) p q r p
((p r ) (q r )) (p r ) (q r )
(p r ) (q r ) (p r ) (q r )
p q (p q) (p q) p q p q
on a la L
on a la L
L
ogica Proposicional
Algunas Equivalencias Logicas Importantes III No todas las conectivas son necesarias
Usando y para obtener el resto de conectivas binarias Como consecuencia de la diapositiva anterior se obtiene lo siguiente.
( ) Proposicion
( ) Toda formula es equivalente a una con las mismas letras y cuyas
(( ) ( )) nicas conectivas son la negacion y la conjuncion .
u
Toda formula es equivalente a una con las mismas letras y cuyas
Usando y para obtener el resto de conectivas binarias nicas conectivas son la negacion y la disyunci
u on .
( ) Toda formula es equivalente a una con las mismas letras y cuyas
nicas conectivas son la negacion y el condicional .
u
(( ) ( ))
As pues, observamos que a pesar de como hemos introducido el lenguaje
Usando y para obtener el resto de conectivas binarias de la logica proposicional de hecho es suficiente utilizar solo dos
conectivas. Hemos obtado por utilizar cinco conectivas simplemente
( )
porque desde el punto de vista de la comprension del lenguaje formal y de
su aplicacion al analisis de argumentos es preferible tener a nuestra
(( ) ( )) disposicion las cinco conectivas consideradas.
on a la L
on a la L
L
ogica Proposicional
Ejemplos de Cadenas de Equivalencias Logicas I Ejemplos de Cadenas de Equivalencias Logicas II

Ejemplo (encontrar formulas equivalentes que solo usen y ) Ejemplo (encontrar formulas equivalentes que solo usen y )
(p q) r ((p q) r ) ((p q) r ) (p q) r (p q) r (p q) r
(r q) (p q) ((r q) p q) ((r q) p q) (p q) r ((p q) r ) (r (p q))
(p q) r ((p q) r ) (p q r ) (((p q) r ) (r (p q)))
(p q) r ((p q) r ) ((p q) (q p) r ) (((p q) r ) (r (p q)))
((p q) (q p) r ) (p q) r (p q) r (p q) r
(p q) r (p q) r ((p q) (q p)) r
Ejemplo (encontrar formulas equivalentes que solo usen y ) ((p q) (q p)) r
(p q) r p q r p q r
(p q) r ((p q) r ) ((p q) r ) Observacion Avanzada
(p q) (q p) (p q) (q p) (p q) q p Hay formulas que no son equivalentes a ninguna formula que solo utilice
(p q) q p [De hecho es equivalente a cualquier las conectivas y . Entre las formulas con esa propiedad se encuentran
tautologa, por ejemplo, p p] las formulas siguientes: p q, p q y p q.

on a la L
on a la L
L
ogica Proposicional
Ejemplos de Cadenas de Equivalencias Logicas III Satisfacibilidad I

Comprobar que (p q) r (p r ) (q r )
Decimos que un conjunto de formulas es satisfacible si existe una
(p q) r (p q) r (p q) r asignacion v que hace verdadera a todas las formulas de . En tal
(p r ) (q r ) (p r ) (q r ) (p q) r caso tambien diremos que v satisface .
Comprobar que (p q) r (p r ) (q r ) Y decimos que un conjunto de formulas es insatisfacible si no es
satisfacible (es decir, si no existe una asignacion que hace verdadera a
(p q) r (p q) r p q r
todas las formulas de ).
(p r ) (q r ) p r q r p q r Es obvio que
Comprobar que p (q r ) (p q) (p r ) I {1 , . . . , n } es satisfacible sii {1 . . . n } es satisfacible.
I {1 , . . . , n } es insatisfacible sii {1 . . . n } es insatisfacible.
p (q r ) p (q r )
Y tambien es obvio que
(p q) (p r ) (p q) (p r ) p (q r ) I {1 , . . . , n } es insatisfacible sii 1 . . . n es una contradiccion.
I {1 , . . . , n } es satisfacible sii 1 . . . n no es una contradiccion.
Comprobar que p (q r ) (p q) (p r )
Por tanto, entender el concepto de satisfacibilidad en el fondo es
p (q r ) p q r
(igual de difcil y facil) que entender el concepto de contradiccion.
(p q) (p r ) p q p r p q r
on a la L
on a la L
L
ogica Proposicional
Satisfacibilidad II Ejemplos sobre Satisfacibilidad I

Es satisfacible el conjunto {p q, p r , r q}?
Por lo anterior podemos utilizar las tablas de verdad para averiguar si
un conjunto de f ormulas es satisfacible o insatisfacible, pero en Comenzamos suponiendo que existe una asignacion v tal que hace
general este es un metodo muy poco eficiente. verdaderas a todas las formulas del conjunto. Es decir, se cumple que
Para averiguar si un conjunto de f ormulas es satisfacible o v (p q) = V , v (p r ) = V y v (r q) = V .
insatisfacible en general es mas eficiente comenzar suponiendo que Por la condicion v (r q) = V sabemos tanto que v (r ) = V como
existe una asignacion que hace verdaderas todas las formulas del que v (q) = V .
conjunto, e intentar ver que esto es contradictorio.
Por la condiciones v (p q) = V y v (q) = V sabemos que
I Si somos capaces de derivar una contradicci on, entonces podemos
concluir (sin ninguna duda) que el conjunto es insatisfacible. v (p) = F .
I Si no somos capaces de derivar una contradicci on, entonces es bastante Por la condiciones v (p r ) = V y v (r ) = V sabemos que v (p) = V .
posible que hayamos obtenido pistas de c omo ha de ser una asignaci on
Es evidente que no es posible que suceda a la vez que v (p) = F y
que haga verdaderas a todas las formulas del conjunto . Para poder
concluir que es satisfacible solo falta verificar que realmente hay una
v (p) = V . As pues, la existencia de una asignacion que hace
asignaci
on que hace verdaderas todas las f ormulas de . verdadera las tres formulas es contradictoria, y podemos concluir que
dicho conjunto de formulas es insatisfacible.

on a la L
on a la L
L
ogica Proposicional
Ejemplos sobre Satisfacibilidad II Consecuencia Logica I

Es satisfacible el conjunto {q (p r ), q (p r )}? Decimos que una formula es consecuencia (logica) de un conjunto
Comenzamos suponiendo que existe una asignacion v tal que hace de formulas si es verdadera en todas las asignaciones que
ormulas del conjunto. Es decir, se cumple que
verdaderas a todas las f satisfacen .
En tal caso, tambien diremos que el argumento formado por las
v (q (p r )) = V y v (q (p r )) = V . premisas (o hipotesis) y la conclusion es (logicamente) correcto.
Usando v (q (p r )) = V resulta que v (q) = V y v (p r ) = V . Y tambien diremos que implica (logicamente) .
Usando v (q (p r )) = V y v (q) = V resulta que Notacion: escribiremos |= para indicar que es consecuencia de
v (p r ) = V . , y escribiremos 6|= para indicar que no lo es.
A partir de aqu no parece que seamos capaces de derivar ninguna Es obvio que
I |= sii todas las asignaciones que hacen verdaderas a las formulas
contradiccion (parece perfectamente posible que v (p r ) = V y del conjunto tambien hacen verdadera a la formula .
v (p r ) = V ), pero el hecho de que no seamos nosotros capaces I 6|= sii hay una asignacion que hace verdadera a todas las formulas
de encontrar una contradiccion no significa que no la haya. del conjunto y hace falsa a la formula .
Para concluir que es satisfacible falta mostrar una asignacion que Y tambien es obvio que
haga todas las f
ormulas del conjunto verdaderas, por ejemplo,
I |= sii no ocurre que hay una asignacion que hace verdadera a todas
las formulas del conjunto y hace falsa a la formula .
p q r q (p r ) q (p r ) I 6|= sii no ocurre que todas las asignaciones que hacen verdaderas a
V /F V F V V las formulas del conjunto tambien hacen verdadera a la formula .
on a la L
on a la L
L
ogica Proposicional
Consecuencia Logica II Consecuencia Logica usando la Tabla de Verdad

Al referirnos a un argumento con premisas = {1 , . . . , n } y
conclusion es mas habitual utilizar la notacion vertical
1 Para decidir si un argumento es correcto o no (es decir, si |= o
.. 6|= ) primero construimos la tabla de verdad de todas las formulas
. de as como de , y a continuacion comprobamos en la tabla de
n verdad si
I hay una asignaci
on que hace verdad todas las formulas de y falsa a
Conviene enfatizar que con esta notaci on simplemente nos referimos . En este caso se tiene que 6|= (i.e., el argumento no es correcto).
al argumento en cuesti on, en ning
un momento se afirma ni se niega I no hay una asignacion que hace verdad todas las formulas de y falsa
a . En este caso se tiene que |= (i.e., el argumento s es correcto).
que el argumento sea (l ogicamente) correcto (a diferencia de lo que
ocurre con las notaciones |= y 6|= ). Si cambiamos de orden las Es importante destacar que la correccion o no de un argumento
premisas seguimos teniendo el mismo argumento. depende solo de que ocurre en aquellas asignaciones que hacen
Notacion: escribiremos verdaderas todas las premisas del argumento; hemos de asegurarnos
I 1 , . . . , n |= para indicar que {1 , . . . , n } |= . que estas asignaciones tambien hacen verdadera la conclusion del
I 1 , . . . , n 6|= para indicar que {1 , . . . , n } 6|= . argumento.
I |= para indicar que |= . [ es el conjunto vaco que por definici
on
no contiene ninguna formula]
I 6|= para indicar que 6|= .
on a la L
on a la L
L
ogica Proposicional
Ejemplos usando la Tabla de Verdad I Ejemplos usando la Tabla de Verdad II

pq p
Ejemplo: El argumento r (p q) es correcto o no? Ejemplo: El argumento p q es correcto o no?
pr q
p q p pq q
Comenzamos construyendo la tabla de verdad (recordemos que la
V V V V V
correccion o no de un argumento s
olo depende de las asignaciones que
V F V F As pues, el argumento es co-
hacen verdaderas todas las premisas).
F V F rrecto.
p q r pq r (p q) pr F F F
V V V V V V
V V F V F q
V F V F Ejemplo: El argumento p q es correcto o no?
V F F F p
F V V F p q q pq p As pues, el argumento no es
F V F F V V V V V
F F V V F correcto (porque la tercera asig-
V F F
F F F V V V nacion hace verdaderas todas
F V V V F
As pues, el argumento es correcto (porque no hay ninguna asignacion que F F F las premisas y falsa la conclu-
hace verdadera a todas las premisas y falsa a la conclusion). sion).
on a la L
on a la L
L
ogica Proposicional
Consecuencia Logica usando Demostraciones (In-)Directas Ejemplos usando Demostraciones (In-)Directas I

Justificar que un argumento no es correcto (es decir, que 6|= ) es
q
en general rapido porque es suficiente con mostrar una asignacion que
Justificar que el argumento p q es correcto
hace verdaderas las premisas y falsa la conclusion.
p
Justificar que un argumento s es correcto (es decir, que |= ) es en
general no tan rapido porque hemos de verificar muchas asignaciones A continuacion damos una demostracion directa de este hecho.
(todas aquellas que hacen verdaderas las premisas). El metodo de las Comenzamos suponiendo que existe una asignacion v que hace
tablas de verdad nos permite justificar que un argumento es correcto, verdaderas las dos premisas, es decir, tal que
pero en general es bastante poco eficiente.
v (q) = V y v (p q) = V .
Para justificar sin recurrir a las tablas de verdad que un argumento es
correcto (es decir, que |= ) es mas habitual seguir una de las dos Por la condicion v (q) = V deducimos que v (q) = F .
estrategias siguientes. Por la condiciones v (q) = F y v (p q) = V sabemos que v (p) = F .
I En una demostracion directa de que |= se supone que v es una
Por tanto se cumple que v (p) = V .
on cualquiera que satisface y se demuestra que v tambien
asignaci
hace verdadera a . Por tanto, hemos demostrado que toda asignacion que hace verdadera las
I En una demostracion indirecta (o, por reducci
on al absurdo) de que premisas tambien hace verdadera la conclusion. Es decir, hemos visto que
|= se supone que v es una asignacion cualquiera que satisface y el argumento es correcto.
hace falsa a y se demuestra que esto es contradictorio.
on a la L
on a la L
L
ogica Proposicional
Ejemplos usando Demostraciones (In-)Directas II Propiedades de la Consecuencia Logica I

pq Proposicion
Justificar que el argumento r (p q) es correcto Sea un conjunto de formulas, y sean y dos formulas.
pr 1 |= (reflexividad),
A continuacion damos una demostraci
on indirecta de este hecho. 2 si |= entonces , |= (monotona),
Comenzamos suponiendo que existe una asignacion v que hace 3 si |= y |= entonces |= (transitividad).
verdaderas las dos premisas y falsa la conclusion, es decir, tal que
v (p q) = V , v (r (p q)) = V y v (p r ) = F . Proposicion
Por la condicion v (p r ) = F deducimos que v (p) = V y v (r ) = F . Sean , , 1 , . . . , n formulas.
Por la condiciones v (p) = V y v (p q) = V sabemos que
1 |= (es decir, |= ) sii es una tautologa,
v (q) = V . 2 |= sii es una tautologa,
El hecho que v (p) = V , v (q) = V y v (r ) = F es contradictorio con 3 1 , . . . , n |= sii 1 . . . n |= ,
el hecho que v (r (p q)) = V . 4 1 , . . . , n |= sii (1 . . . n ) es una tautologa,
Por tanto, hemos demostrado que ninguna asignacion hace verdadera las 5 1 , . . . , n , |= sii 1 , . . . , n |= ,
on. Es decir, el argumento es correcto.
premisas y falsa la conclusi 6 |= y |= sii .
on a la L
on a la L
L
ogica Proposicional
Propiedades de la Consecuencia Logica II Ejemplos de Consecuencia Logica I

Proposicion (Reduccion a Satisfacibilidad) Determinar la correcion o no de los siguientes argumentos
Sean , 1 , . . . , n f
ormulas. pq
1 , . . . , n |= sii {1 , . . . , n , } es insatisfacible. 1 p q ? Correcto (sale facil con una demostracion indirecta).
1 , . . . , n 6|= sii {1 , . . . , n , } es satisfacible. p
pq
Proposicion 2 p q ? Correcto (sale facil con una demostracion indirecta).
Si es una contradicci
on, entonces q
|= para cualquier formula .
pq
Si es una tautologa, entonces
3 p q ? Correcto (sale facil con una demostracion indirecta).
|= para cualquier formula .
q
Proposicion p q
Si ocurre tanto que 1 , . . . , n , |= como que 1 , . . . , n , |= 4 p q ? Correcto (sale facil con una demostracion directa).
entonces r
1 , . . . , n |= .
on a la L
on a la L
L
ogica Proposicional
Ejemplos de Consecuencia Logica II Generalizando la nocion de Tabla de Verdad I

Determinar la correcion o no de los siguientes argumentos Hasta ahora la nocion de tabla de verdad considerada siempre ha
estado ligada a formulas. Recordemos que no hemos introducido un
r
concepto de tabla de verdad sino de tabla de verdad asociada a una
1 (p q) r ? Incorrecto (tomar v (p) = V , v (q) = F y v (r ) = F ).
formula, pero es claro que podemos generalizar dicha nocion hasta
p q
ahora considerada.
r Sea P un conjunto no vaco de letras proposicionales. Una tabla de
2 (p q) r ? Correcto (sale facil con una demostracion directa). verdad para P es una tabla que hace corresponder un valor de verdad
p q a cada una (sin excepcion) de las posibles asignaciones de valores de
verdad de las letras proposicionales de P. Esta nocion claramente
(p q) r generaliza la nocion de tabla de verdad asociada a una formula.
3 r (p s) ? Correcto (sale facil con demostracion indirecta). Ejemplos de tabla de verdad para las letras proposicionales p, q
q (p s)
p q p q p q
(p q) r V V V V V V V V F
p r V F V V F F V F V
4 ? Incorrecto (tomar v (p) = F , v (q) = F y v (r ) = V ). F V F F V F F V V
q r
r F F F F F F F F V
on a la L
on a la L
L
ogica Proposicional
Generalizando la nocion de Tabla de Verdad II De Tablas de Verdad a Formulas I

Ejemplos de tabla de verdad para las letras proposicionales p, q, r
Una pregunta natural que aparece en este contexto es toda tabla de
p q r p q r p q r verdad coincide con la tabla de verdad dada por alguna formula?.
V V V V V V V F V V V F Justificaremos que la respuesta a la pregunta anterior es SI, pero
V V F V V V F V V V F V antes de entrar en materia comentamos una observacion que de
V F V V V F V F V F V V hecho sera crucial para respoder positivamente a la pregunta anterior.
V F F V V F F F V F F F Es fundamental observar que toda asignacion se puede caracterizar for
F V V V F V V V F V V V una formula. Por ejemplo, la asignacion
F V F V F V F F F V F F I v tal que v (p) = V , v (q) = F y v (r ) = V esta caracterizada por la
F F V V F F V F F F V F formula p q r (porque esa asignacion es la unica que hace
F F F V F F F F F F F F verdadera esa formula),
Ejemplos que no son tablas de verdad para las letras p, q I v tal que v (p) = F , v (q) = V y v (r ) = V esta caracterizada por la
formula p q r (porque esa asignacion es la unica que hace
p q
p q p q verdadera esa formula),
V V V I v tal que v (p) = V , v (q) = V y v (r ) = V esta caracterizada por la
V V V V F F V V F
ormula p q r (porque esa asignacion es la u
f nica asignacion que
V F V F V F F V V hace verdadera esa formula),
F V F F F F F F V I etc.
V V F
on a la L
on a la L
L
ogica Proposicional
De Tablas de Verdad a Formulas II Forma Normal Disyuntiva

Sea P un conjunto no vaco de letras proposicionales.
Ejemplo: Encontrar formulas que tengan asociadas las siguientes
Un literal (con respecto a las letras de P) es una letra proposicional
tablas de verdad.
de P o la negacion de una letra proposicional de P.
p q Una conjuncion de literales (con respecto a las letras de P) es una
V V F
formula de la forma
1 V F V es la tabla asociada a p q. 1 . . . m
F V F
F F F con m 1 y cada i (con 1 i m) es un literal.
p q
Una f ormula esta en forma normal disyuntiva FND (con respecto a
V V F las letras de P) si es de la forma
2 V F V es la tabla asociada a (p q) (p q). 1 . . . n
F V V
con n 1 y cada i (con 1 i n) es una conjuncion de literales.
F F F
Una formula esta en forma normal disyuntiva completa (con respecto
p q
a las letras de P) si es de la forma
V V F
3 V F V es la tabla asociada a (p q) (p q) (p q). 1 . . . n
F V V con n 1 y cada i (con 1 i n) es una conjuncion de literales en
F F V
los que aparecen todas las letras de P una y solo una vez.
on a la L
on a la L
L
ogica Proposicional
Forma Normal Conjuntiva Reconocimiento de Formas Normales Conjun./Disyun.

Sea P un conjunto no vaco de letras proposicionales.
Ejemplo con las letras proposicionales p, q, r
Un literal (con respecto a las letras de P) es una letra proposicional
Literales: hay exactamente 6 literales, que son p, q, r ,p, q, r .
de P o la negaci on de una letra proposicional de P.
Conjuncion de literales: algunos ejemplos son p, q, r , p, q, r ,
Una disyuncion de literales (con respecto a las letras de P) es una
p q, p q, p q r , p q r ,. . .
formula de la forma
1 . . . m Disyuncion de literales: algunos ejemplos son p, q, r , p, q, r ,
p q, p q, p q r , p q r ,. . .
con m 1 y cada i (con 1 i m) es un literal.
FND: algunos ejemplos son p, q, r , p, q, r ,p q, p q,
Una formula esta en forma normal conjuntiva FNC (con respecto a
p q r , p q r ,p q,p (p q),(p q) (p q r ),
las letras de P) si es de la forma
(p q r ) (p q r ),(p q r ) (p q r ) (p q r ),. . .
1 . . . n FND completa: algunos ejemplos son p q r ,
con n 1 y cada i (con 1 i n) es una disyuncion de literales. (p q r ) (p q r ), (p q r ) (p q r ) (p q r ), . . .
Una formula esta en forma normal conjuntiva completa (con respecto FNC: algunos ejemplos son p, q, r , p, q, r ,p q, p q,
a las letras de P) si es de la forma p q r , p q r ,p q,p (p q),(p q) (p q r ),
1 . . . n (p q r ) (p q r ),(p q r ) (p q r ) (p q r ),. . .
FNC completa: algunos ejemplos son p q r ,
con n 1 y cada i (con 1 i n) es una disyuncion de literales en
(p q r ) (p q r ), (p q r ) (p q r ) (p q r ), . . .
los que aparecen todas las letras de P una y solo una vez.
on a la L
on a la L
L
ogica Proposicional
De Tablas de Verdad a Formulas III De Tablas de Verdad a Formulas IV

Ejemplo: Encontrar formulas que tengan asociadas las siguientes
Toda tabla de verdad coincide con la tabla de verdad dada por alguna
tablas de verdad.
f
ormula? Seguidamente comprobamos que S.
p q
Proposicion V V F
La tabla de verdad que asocia todas las asignaciones con el valor F 1 V F F es la tabla asociada a p p (o a otra contradiccion).
F V F
coincide con la tabla de verdad asociada a una contradiccion (da igual
F F F
la contradiccion que consideremos).
p q r
Toda tabla de verdad que no asocie el valor F a todas las V V V F
asignaciones coincide con la tabla de verdad asociada a una formula V V F V
en FND completa. V F V V (p q r )
La tabla de verdad asociada con una formula en FND completa nunca 2 V F F F es la tabla asociada a (p q r )
asocia el valor de verdad F a todas las asignaciones (es decir, nunca F V V V (p q r )
F V F F
es la tabla de verdad de una contradicci
on).
F F V F
F F F F

on a la L
on a la L
L
ogica Proposicional
De Tablas de Verdad a Formulas V De Tablas de Verdad a Formulas VI

Toda tabla de verdad coincide con la tabla de verdad dada por alguna Ejemplo: Encontrar formulas que tengan asociadas las siguientes
ormula? Antes vimos que s utilizando FND completas y ahora vamos a
f tablas de verdad.
hacerlo con FNC completas (la idea es considerar la negacion de la tabla
p q
de verdad inicial).
V V V
Proposicion 1 V F V es la tabla asociada a p p (o a otra tautologa).
F V V
La tabla de verdad que asocia todas las asignaciones con el valor V F F V
coincide con la tabla de verdad asociada a una tautologa (da igual la
p q r
tautologa que consideremos). V V V F
Toda tabla de verdad que no asocie el valor V a todas las V V F V (p q r )
asignaciones coincide con la tabla de verdad asociada a una formula V F V V (p q r )
en FNC completa. 2 V F F F es la tabla asociada a (p q r )
F V V V (p q r )
La tabla de verdad asociada con una f ormula en FNC completa nunca F V F F (p q r )
asocia el valor de verdad V a todas las asignaciones (es decir, nunca F F V F
es la tabla de verdad de una tautologa). F F F F

on a la L
on a la L
L
ogica Proposicional
De Tablas de Verdad a Formulas VII Todas las Tablas de Verdad con dos Letras Proposicionales
Proposicion 2
Toda tabla de verdad coincide con la tabla de verdad asociada a una En el siguiente cuadro podemos ver las 16 (= 22 ) posibilidades
p q 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
formula en FND. V V V V V V V V V V F F F F F F F F
Toda tabla de verdad coincide con la tabla de verdad asociada a una V F V V V V F F F F V V V V F F F F
formula en FNC. F V V V F F V V F F V V F F V V F F
F F V F V F V F V F V F V F V F V F
Corolario
Toda formula es equivalente a una f
ormula en FND contruida con Ya sabemos que todas estas tablas estan asociadas a formulas en
las mismas letras proposicionales que . FND y FNC, seguidamente damos formulas para cada una ellas (tal
vez no estan ni en FND ni en FNC).
Toda formula es equivalente a una f
ormula en FNC contruida con 1 p p 5 pq 9 p q 13 p
las mismas letras proposicionales que .
2 pq 6 q 10 (p q) 14 p q
Toda formula que no sea una contradiccion es equivalente a una
formula en FND completa contruida con las mismas letras que . 3 qp 7 pq 11 q 15 p q
Toda formula que no sea una tautologa es equivalente a una 4 p 8 pq 12 p q 16 p p
formula en FNC completa contruida con las mismas letras que .
on a la L
on a la L
L
ogica Proposicional
Nota Avanzada: Las conectivas de Sheffer Interpretaciones (en el Lenguaje Natural) de una Formula
Sheffer consider
o conectivas primitivas para las tablas de verdad Definicion
anteriores n
umeros 9 y 15; conocidas, respectivamente, con los Sea una formula. Una interpretacion de es cualquier enunciado (i.e.,
nombres de barra de Sheffer | y flecha de Sheffer . una oracion a la que le podemos asignar un valor de verdad) E del
(|) ( ) lenguaje natural obtenido mediante
V V F F
la sustitucion de las letras proposicionales de por ciertos enunciados
V F V F
del lenguaje natural,
F V V F
F F V V la sustitucion de los smbolos de conectiva que aparecen en por la
La barra de Sheffer tiene la propiedad interesante de que con ella sola correspondiente conectiva del lenguaje natural.
podemos obtener todo el resto de conectivas (es decir, todas las otras
tablas de verdad). Por ejemplo, Ejemplos de interpretaciones de (p q) q
(|) y ((|)|(|)). Si Luis aprueba la asignatura y ahora llueve, entonces ahora llueve.
Y lo mismo ocurre con la flecha de Sheffer; con ella sola podemos Si Luis aprueba la asignatura y Luis no aprueba la signatura, entonces
obtener todo el resto de conectivas (es decir, todas las otras tablas de Luis no aprueba la asignatura.
verdad). Por ejemplo, Si Luis no aprueba la asignatura y Luis aprueba la signatura, entonces
( ) y (( ) ( )). Luis aprueba la asignatura.
on a la L
on a la L
L
ogica Proposicional
Simbolizacion Simbolizacion II
Proceso de Simbolizacion Ejemplo: Como simbolizar los enunciados siguientes?
Dado un enunciado (i.e., una oraci
on a la que le podemos asignar un valor 1 Juan camina y Antonio canta: p q.
de verdad) E el proceso para simbolizarlo consiste en dar una formula 2 Es primavera y los pajaros cantan: p q.
tal que 3 Es primavera o los pajaros cantan: p q.
Las condiciones de verdad del enunciado E son (en el caso ideal) las 4 El aire es claro y diafano: p q.
mismas que las de un enunciado E que es una interpretacion de .
5 o una novela y se hizo famoso: p q.
Escribi
La estructura de refleja lo mas fielmente posible la estructura
sintactica de E .
6 Se hizo famoso y escribio una novela: q p.
7 ...
Ejemplo: Como simbolizar los enunciados siguientes?
Si Luis aprueba la asignatura y ahora llueve, entonces ahora llueve: Observamos que los dos primeros ejemplos anteriores los hemos
(p q) q. formalizado con la misma formula.
Si Luis aprueba la asignatura y Luis no aprueba la signatura, entonces Luis Por tanto, no se puede hablar del significado de una formula (por
no aprueba la asignatura: (p p) p. ejemplo, p q), puesto que una formula admite interpretaciones
Si Luis no aprueba la asignatura y Luis aprueba la signatura, entonces Luis diferentes. S que podramos hablar del significado en una
aprueba la asignatura: (p p) p. interpretacion concreta de una formula.
on a la L
on a la L
L
ogica Proposicional
Simbolizacion III Simbolizacion IV

Ventajas de la Simbolizacion La estructura gramatical de un enunciado ayuda a simbolizarlo, pero
La ventaja del enunciado E comparadado con el enunciado E es la no siempre lo hace. Como contraejemplo podemos considerar
precision. Esta precisi
on se muestra fundamentalmente en dos hechos: I Antonio y Pedro se aburrieron en el cine: p q.
I Antonio y Pedro se comieron el pastel: r .
la estructura sintactica de E esta perfectamente determinada
(porque reproduce con exactitud la de ). Tampoco hay reglas del tipo tal partcula del lenguaje natural se
simboliza siempre del mismo modo. Como contraejemplo podemos
no existe ambig
uedad en el significado de las lecturas canonicas de las considerar los enunciados
conectivas (porque se supone que la semantica de las conectivas es la I Los n
umeros naturales son los pares y los impares,
misma que la de las conectivas correspondientes del lenguaje natural). I Un numero natural es par o impar,
donde utilizamos en un caso y y en el otro caso o para expresar
Desventajas de la Simbolizacion lo mismo.
En ocasiones hay matices en un enunciado E que no se captan con el As pues, no hay reglas (recetas, etc.) para simbolizar. La mejor
enunciado E (porque en el lenguaje natural hay muchos mas matices que estrategia para simbolizar correctamente consiste en
ogica proposicional). S
en el lenguaje de la l olo en el caso ideal las I analizar con cuidado el enunciado para averiguar que quiere decir,
condiciones de verdad de E y de E son las mismas. I y a continuacion pensar en como expresar lo mismo con la unica ayuda
Un ejemplo donde observar la perdida de matices con respecto al lenguaje de la interpretacion canonica de las conectivas.
natural es el dado en los ejemplos 5o y 6o de la trasparencia anterior.
on a la L
on a la L
L
ogica Proposicional
Simbolizacion V Expr. del Leng. Natural Simbolizadas con la Negacion

Solo podemos simbolizar oraciones del lenguaje natural que sean
enunciados (i.e., oraciones a las que podemos asignar un valor de
verdad).
Podemos simbolizar todos los enunciados del lenguaje natural? Usamos la negacion del lenguaje formal para simbolizar las
Es evidente que como mucho podemos simbolizar aquellos enunciados expresiones que en el lenguaje natural utilizamos para negar
(compuestos) cuyo valor de verdad depende exclusivamente del valor enunciados, as como para enunciados que a pesar de ser afirmaciones
de verdad de los enunciados que lo componen (es decir, los formados tienen un sentido negativo.
a partir de expresiones veritativo-funcionales del lenguaje natural). Ejemplo: Como simbolizar los enunciados siguientes?
Por tanto, enunciados como I Machado no escribio La Placa del Diamant: p.
I Luis fue a ver al medico porque se senta enfermo, I No es verdad que Machado escribio La Placa del Diamant: p.
I Creo que el Barca ganara la liga este a
no, I No ocurre que Machado escribiera La Placa del Diamant: p.
I ... I Pinocho era incapaz de mentir: p.
no se pueden simbolizar. I Pinocho no era capaz de mentir: p.
Cualquier enunciado del lenguaje natural formado con expresiones
veritativo-funcionales se pueden simbolizar satisfactoriamente en
logica proposicional (como consecuencia del hecho que toda tabla de
verdad es la tabla de verdad asociada a alguna formula).
on a la L
on a la L
L
ogica Proposicional
Expr. del Leng. Natural Simbolizadas con la Conjuncion Expr. del Leng. Natural Simbolizadas con la Disyuncion
Usamos la disyuncion del lenguaje formal para simbolizar las
Usamos la conjunci on del lenguaje formal para simbolizar las
expresiones veritativo-funcionales que usamos para afirmar que sucede
expresiones veritativo-funcionales que usamos para afirmar que dos
al menos una de las dos alternativas tomadas en consideracion (es
enunciados son verdaderos.
decir, una disyuncion no excluyente).
Ejemplo: Como simbolizar los enunciados siguientes? Ejemplo: Como simbolizar los enunciados siguientes?
I Poe escribio El Cuervo y Picasso pinto El Guernica: p q. I Luisa se fue a LHospitalet o a un concierto: p q.
I Poe escribio El Cuervo y El Corazon Delator: p q. I Si Antonio sabe ingles o informatica, puede conseguir conseguir el
I Poe escribio El Cuervo y Poe escribio El Coraz on Delator: p q. trabajo: (p q) r .
I Larsson escribio la Triloga Millenium y se murio: p q. I O bien iremos al cien o bien iremos al teatro: (p q) (p q).
I Larsson se murio y escribio la Triloga Millenium: q p. [Disyuncion Excluyente]
I Aunque es jueves, hay partido de la Champions League: p q. I Roma esta en Francia o Roma esta en Italia: (p q) (p q).
La partcula por excelencia simbolizada con la conjuncion de la [Disyuncion Excluyente]
logica proposicional clasica es obviamente la conjuncion y (aunque I Es martes o no es martes: p p. [Destacamos que
no siempre corresponde a ), pero otras expresiones que en ciertos p p (p p) (p p)]
contextos corresponden a la conjunci on son las partculas pero, La partcula por excelencia simbolizada con la disyuncion de la
aunque, sin embargo, . . . logica proposicional clasica es obviamente la disyuncion o (aunque
no siempre corresponde a la disyuncion no excluyente).
on a la L
on a la L
L
ogica Proposicional
Expr. del Leng. Natural Simbolizadas con el Condicional I Expr. del Leng. Natural Simbolizadas con el Condicional II
Usamos el condicional del lenguaje formal para simbolizar que no Ejemplo: Como simbolizar los enunciados siguientes?
sucede, con la asignaci
on dada, que el antecedente es verdadero y el I Para que haya nubes es suficiente que llueva: q p [donde p se
consecuente falso (no para indicar ning
un tipo de relacion entre el interpreta como hay nubes y q como llueve].
antecedente y el consecuente). I Hay nubes si llueve: q p [donde p se interpreta como hay nubes y
Ejemplo: Como simbolizar los enunciados siguientes? q como llueve].
I Solo las mujeres tienen hijos: q p [donde p se interpreta como la
I o antes que Kant: p q.
Si Leibniz nacio en el s.XVI, entonces naci
persona P es una mujer y q como la persona P tiene hijos].
I o despues que Kant: p q.
Si Leibniz nacio en el s.XIX, entonces naci
I Si Leibniz nacio en el s.XIX, entonces no naci
o despues que Kant: No hay ninguna partcula (del lenguaje natural) prototpica que
p q. corresponda al condicional de la logica proposicional clasica. La
I Para que llueva es necesario que haya nubes: p q [donde p se que mas se aproxima a tener esta propiedad es si . . . entonces; y
interpreta como llueve y q como hay nubes]. otras parecidas a esta (en algunos usos) son es necesario, solo
I Solo llueve si hay nubes: p q [donde p se interpreta como llueve y
. . . si, es suficiente (esta suele cambiar el orden), . . .
q como hay nubes].

on a la L
on a la L
L
ogica Proposicional
Expr. del Leng. Natural Simbolizadas con el Bicondicional Ejemplos de Simbolizacion I

Apenas hay partculas en el lenguaje natural que se usen para expresar
bicondicionales: entre las mas habituales destacan es necesario y
Si ceno mucho o tomo cafe, no puedo dormir: [donde p se interpreta como
suficiente, cuando y solo cuando y si y solo si.
ceno mucho, q como tomo cafe y r como puedo dormir].
En muchas ocasiones en el lenguaje natural se usan condicionales (p q) r .
para expresar bicondicionales. Por ejemplo,
I Andrea es un hombre si no es una mujer: p q [donde p se interpreta Siempre que la vajilla se limpia con agua demasiado caliente se rompen
como Andrea es un hombre y q como Andrea es una mujer] algunos platos: [donde p se interpreta como la vajilla se limpia con agua
I Un numero es par si no es impar: p q [donde p se interpreta como demasiado caliente y q como se rompen algunos platos]. p q
x es par y q como x es impar] S
olo aprobaras el examen si asistes al examen: [donde p se interpreta como
I Dos formulas son equivalentes si toda asignaci
on les asocia el mismo t
u apruebas el examen y q como t u asistes al examen]. p q
valor de verdad: p q [donde p se interpreta como y son
equivalentes y q como toda asignacion asocia el mismo valor de Cuando voy a la playa, o bien leo el diario o bien entro en el agua (pero no
verdad a que a ] las dos cosas a la vez): [donde p se interpreta como voy a la playa, q como
Destacamos que en todos estos casos esencialmente sucede que al leo el diario y r como entro en el agua]. p ((q r ) (q r ))
definir un concepto en el lenguaje natural la partcula si en el fondo
coincide con si y s
olo si.
on a la L
on a la L
L
ogica Proposicional
Ejemplos de Simbolizacion II Ejemplos de Simbolizacion III

Cuando llueve y hace sol, sale el arco iris y estoy contento: [donde p se Solo cuando llueve te mojas: [donde L se interpreta como llueve y M
interpreta como llueve, q como hace sol, r como sale el arco iris y s como te mojas]. M L
Los peatones solo cruzan la calle cuando el semaforo esta en verde: [donde
como estoy contento]. (p q) (r s)
C se interpreta como los peatones cruzan la calle y V como el semaforo
Si cuando llueve hace sol, entonces sale el arco iris y estoy contento: esta en verde]. C V
(p q) (r s) Si las plazas de avion estan llenas es necesario ser famoso para poder subir
Cuando llueve y sale el arco iris, estoy contento si hace sol: al avion: [donde P se interpreta como las plazas del avion estan llenas, F
(p r ) (q s) como eres famoso y S como subir al avion]. P (S F )
Si, y solo si te comportas bien, podras ir a Disneylandia: [donde B se
Llueve, hace sol, sale el arco iris y estoy contento: p q r s
interpreta como te comportas bien y D como podras ir a Disneylandia].
Cuando no llueve, no sale el arco iris y no estoy contento si no hace sol:
BD
p (r (q s)) Es necesario estudiar mucho para obtener el aprobado, cuando la asignatura
Cuando no llueve no sale el arco iris, y no estoy contento si no hace sol: es difcil: [donde E se interpreta como estudias mucho, A como obtener
(p r ) (q s) el aprobado y D como la asignatura es difcil]. D (A E )
Sale el arco iris cuando llueve, si hace sol: q (p r ) Hace falta que los sindicatos y el gobierno se pongan de acuerdo para que
Estoy contento cuando sale el arco iris, siempre que cuando llueva haga sol: los trabajadores obtengan un aumento de sueldo: [donde A se interpreta
(p q) (r s) como los sindicatos y el gobierno se ponen de acuerdo y T como los
trabajadores tiene un aumento de sueldo]. T A
on a la L
on a la L
L
ogica Proposicional
Simbolizacion de Argumentos I Simbolizacion de Argumentos II

Hasta ahora hemos simbolizado u nica y exclusivamente enunciados.
El siguiente paso natural es simbolizar argumentos para as poder
averiguar si un argumento es (l ogicamente) correcto o no.
El hecho que un argumento de la l ogica proposicional sea En la trasparencia anterior hemos visto como transformar argumentos
(logicamente) correcto nos garantiza que lo es en cada una de las del lenguaje formal de la logica proposicional en argumentos del
interpretaciones de las letras proposicionales en el lenguaje natural. lenguaje natural (a traves de interpretaciones en el lenguaje natural).
Por ejemplo, el hecho que argumentos como los siguientes (llamados, Y hemos comentado que esta transformacion preserva la correccion.
respectivamente, Modus Ponens y Modus Tollens) Para analizar la correccion o no de un argumento del lenguaje natural
pq pq realizamos el proceso inverso. En primer lugar, simbolizamos los
p y q enunciados del argumento en el lenguaje de la logica proposicional. Y
q p a continuacion, estudiamos la correccion o no del argumento en el
son logicamente correctos, nos garantiza que en el lenguaje natural lenguaje de la logica proposicional.
son correctos, entre otros, los argumentos
Si llueve me mojo Si llueve me mojo
Llueve y No me mojo
Me mojo No llueve
on a la L
on a la L
L
ogica Proposicional
Ejemplos de Simbolizacion de Argumentos I Ejemplos de Simbolizacion de Argumentos II

Consideramos el argumento Nos planteamos la correccion o no del argumento
Pepe es el marido de Ana Cuando llueve y hace sol, el arco iris sale
Si Pepe es el marido de Ana entonces Pepe esta casado El arco iris sale si no hay contaminacion
Hace sol y hay contaminacion
y nos planteamos si es correcto o no. No llueve
1 En primer lugar, simbolizamos el argumento en el lenguaje de la 1 Suponiendo que intepretamos L como llueve, S como hace sol, A
logica proposicional. Suponiendo que intepretamos M como Pepe es como el arco iris sale y C como hay contaminacion, el argumento
el marido de Ana y C como Pepe esta casado, resulta que el se simboliza como
argumento se simboliza como (L S) A
M C A
MC S C
L
2 A continuacion estudiamos la correci
on del argumento anterior. Este
2 Estudiamos la correcion del argumento anterior. Este argumento es
argumento es incorrecto; y esto se puede justificar considerando la
incorrecto; y esto se puede justificar considerando la asignacion v tal
asignacion v tal que v (M) = V y v (C ) = F .
que v (L) = V , v (S) = V , v (A) = V y v (C ) = V .
3 Por tanto, el argumento inicial (en el lenguaje natural) no es correcto. 3 Por tanto, el argumento inicial (en el lenguaje natural) no es correcto.
on a la L
on a la L
L
ogica Proposicional
Ejemplos de Simbolizacion de Argumentos III Ejemplos de Simbolizacion de Argumentos IV

Nos planteamos la correcci
on o no del argumento Nos planteamos la correccion o no del argumento
Cuando llueve y hace sol, el arco iris sale Juan llega tarde y Mara se enfada
El arco iris s
olo sale si no hay contaminacion Pedro esta contento solo cuando Mara no se enfada
Hace sol y hay contaminacion Si Pedro no esta contento, su hijo llora
No llueve O bien el hijo de Pedro llora, o bien Juan no llega tarde, o las dos cosas
1 Suponiendo que intepretamos L como llueve, S como hace sol, A 1 Suponiendo que intepretamos J como Juan llega tarde, M como
como el arco iris sale y C como hay contaminacion, el argumento Mara se enfada, P como Pedro esta contento y H como el hijo
se simboliza como de Pedro llora, el argumento se simboliza como
(L S) A J M
A C P M
S C P H
L H J
2 Estudiamos la correcion del argumento anterior. Este argumento es 2 Estudiamos la correcion del argumento anterior. Este argumento es
correcto; y esto se puede justificar con una demostracion indirecta. correcto; y esto se puede justificar con una demostracion indirecta.
3 Por tanto, el argumento inicial (en el lenguaje natural) s es correcto. 3 Por tanto, el argumento inicial (en el lenguaje natural) s es correcto.
on a la L
on a la L
L
ogica Proposicional
Ejemplos de Simbolizacion de Argumentos V Ejemplos de Simbolizacion de Argumentos VI

No hay dulces o no hay pan
Hace falta que haya pan para que haya bocadillos Cuando viajas en avion te esperas en el aeropuerto
Solo si no hay az
ucar no hay dulces Solo cuando esperas en el aeropuerto tienes malos humos
Azucar s hay Cuando viajas en avion tienes malos humos
No es el caso que haya bocadillos
1 Suponiendo que intepretamos A como viajas en avion, E como
1 Suponiendo que intepretamos D como hay dulces, P como hay esperas en el aeropuerto y H como tienes malos humos,
pan, B como hay bocadillos y A como hay az ucar, obtenemos obtenemos
D P AE
BP HE
D A AH
A 2 Estudiamos la correcion del argumento anterior. Este argumento es
B incorrecto; y esto se puede justificar considerando la asignacion v tal
2 Estudiamos la correcion del argumento anterior. Este argumento es que v (A) = V , v (E ) = V y v (H) = F .
correcto; y esto se puede justificar con una demostracion indirecta. 3 Por tanto, el argumento inicial (en el lenguaje natural) no es correcto.
3 Por tanto, el argumento inicial (en el lenguaje natural) s es correcto.
on a la L
on a la L
L
ogica Proposicional
Ejemplos de Simbolizacion de Argumentos VII Ejemplos de Simbolizacion de Argumentos VIII

Nos planteamos la correccion o no del argumento Nos planteamos la correccion o no del argumento
Es necesario que el maquinista se duerma para que el tren llegue tarde O tengo ganas de ir o me quedo en casa
Si el maquinista se duerme, el supervisor se enfada y los pasajeros gritan Cuando tengo ganas de ir aviso a mis amigos
Solo hay reclamaciones cuando el tren llega tarde Cuando estoy enfermo me quedo en casa
Hay reclamaciones Si no aviso a mis amigos de que tengo ganas de ir es que estoy enfermo
Los pasajeros gritan
1 Suponiendo que intepretamos G como tengo ganas de ir, C como
1 Suponiendo que intepretamos M como el maquinista se duerme, T me quedo en casa, A como aviso a mis amigos de que tengo ganas
como el tren llega tarde, S como el supervisor se enfada, P como de ir y E como estoy enfermo, obtenemos
los pasajeros gritan y R como hay reclamaciones, obtenemos G C
T M
G A
M (S P)
E C
RT
A E
R
P
2 Estudiamos la correcion del argumento anterior. Este argumento es incorrecto; y esto se puede justificar considerando la asignacion v tal
correcto; y esto se puede justificar con una demostracion directa. que v (G ) = F , v (C ) = V , v (A) = F y v (E ) = F .
3 Por tanto, el argumento inicial (en el lenguaje natural) s es correcto.
3 Por tanto, el argumento inicial (en el lenguaje natural) no es correcto.
on a la L
on a la L
L
ogica Proposicional
Ejemplos de Simbolizacion de Argumentos IX Ejemplos de Simbolizacion de Argumentos X

Cuando la temperatura de la atmosfera es baja y no ocurre que hay riesgo de
Cuando sube la Bolsa, suben las ganancias y bajan los Bonos del Estado
huracanes cuando hay riesgo de tormentas, entonces la presion es alta
La inflacion es baja solo si bajan los Bonos del Estado
S
olo hay riesgo de huracanes y tormentas si la atmosfera esta cargada de electr.
Si suben las ganacias y bajan los Bonos del Estado, hay inversi on extranjera
Hace falta que la atmosfera no este cargada de electr. para que se
Las ganancias suben si hay inflaci on baja
forme granizo, siempre que la temperatura de la alta atmosfera sea baja
Ha de haber inversion extranjera para que suba la Bolsa o haya inflacion baja
Se forma granizo si hay monta nas
1 Suponiendo que intepretamos B como la Bolsa sube, G como las Cuando la temperatura de la alta atmosfera es baja y hay riesgo de
ganancias suben, E como los Bonos del Estado bajan, I como la tormentas se cumple que la presion es alta si hay montanas
inflacion es baja y X como hay inversi
on extranjera, obtenemos 1 Intepretando A como la temp. en la alta atmosfera es baja, H como
B (G E ) hay riesgo de huracanes, T como hay riesgo de tormentas, P
I E como la presion es alta, E como la atmosfera esta cargada de
(G E ) X electr., G como se forma granizo y M como hay monta nas,
I G (A (T H)) P
(B I ) X (H T ) E
A (G E )
MG
correcto; y esto se puede justificar con una demostracion indirecta.
(A T ) (M P)
3 Por tanto, el argumento inicial (en el lenguaje natural) s es correcto. 2 El argumento s es correcto (con una demostracion indirecta sale).
on a la L
on a la L
L
ogica Proposicional
Ejemplos de Simbolizacion de Argumentos XI Ejemplos de Simbolizacion de Argumentos XII

Nos planteamos la correccion o no del siguiente argumento de San Agustn
on o no del argumento (es un precedente del famoso Cogito ergo sum de Descartes)
Si me equivoco al creer que existo, entonces existo
Siempre que tengo hambre, tengo sed si estoy cansado Si no me equivoco al creer que existo, entonces existo
No ocurre que tengo hambre cuando tengo sed Existo
No ocurre que cuando estoy cansado no tengo sed 1 Suponiendo que intepretamos C como me equivoco al creer que
existo y E como existo, obtenemos
1 Suponiendo que intepretamos H como tengo hambre, S como C E
tengo sed y C como estoy cansado, obtenemos C E
H (C S) E
(S H) 2 El argumento s es correcto (con una demostracion indirecta sale).
(C S) San Agustn utiliza la correccion del argumento anterior para justificar que
2 Estudiamos la correcion del argumento anterior. Este argumento es la conclusion del argumento es verdadera. Para eso, a parte de la
incorrecto; y esto se puede justificar considerando la asignacion v tal correccion del argumento San Agustn tambien justifica que las dos
que v (H) = F , v (S) = V y v (C ) = F . premisas son verdaderas: (1) la 1a premisa es verdadera porque los que no
3 Por tanto, el argumento inicial (en el lenguaje natural) no es correcto. existen no se pueden equivocar, y (2) la 2a premisa es verdadera porque si
no me equivoco al creer un enunciado entonces ese enunciado debe ser
verdadero.
on a la L
on a la L
Nociones de Teora de Conjuntos Nociones de Teora de Conjuntos
Que es un conjunto? Reflexiones sobre la definicion
Los objetos que estan entre la coleccion de objetos de un conjunto

son llamados los elementos de dicho conjunto. Tambien se dice que
Definicion (nivel ingenuo)
los elementos (i.e., los objetos) pertenecen al conjunto considerado.
Un conjunto es una colecci
on de objetos.
Se permite cualquier tipo de objeto como elemento de un conjunto
(objeto fsico, un n
umero, entidades abstractas, etc.), incluso
Nota conjuntos.
La razon por la que se ha escrito nivel ingenuo en la definicion anterior Los objetos los clasificamos en dos categoras disjuntas (i.e., que no
sera explicada al analizar la Paradoja de Russell (si tenemos tiempo). se solapan): o bien son conjuntos o bien son objetos primitivos. Por
definicion los objetos primitivos son todos aquellos objetos que no son
conjuntos.

on a la L
on a la L
Convenio Notacional I Convenio Notacional II
Usamos letras may

usculas latinas (A, B, C , . . . , Z ) para referirnos a
El smbolo = denota la igualdad entre objetos. Es decir, escribiremos
conjuntos.
a = b para decir quelos objetos a y b son el mismo. Y
Usamos letras min usculas latinas (a, b, c, . . . , z) para referirnos a los escribiremos a 6= b para decir quelos objetos a y b son diferentes.
objetos. Por tanto, los smbolos a, b, c, . . . , z tanto pueden referirse a
El smbolo denota la pertenencia de un objeto a un conjunto. Es
objetos primitivos como a conjuntos.
decir, escribiremos a A para decir queel objeto a pertenece al
Pregunta: Cual es el contenido diferente aportado por las frases A conjunto A. Y escribiremos a 6 A para decir queel objeto a no
tiene tal propiedad y a tiene tal propiedad? Que frase nos da mas pertenece al conjunto A.
informacion?

on a la L
on a la L
Igualdad entre conjuntos Propiedades y Conjuntos

Algunos ejemplos de propiedades son ser una asignatura del plan de
la Facultad de Filosofa, ser una calle de Sabadell, etc.
Principio de Extensionalidad Asumimos que toda propiedad divide los objetos en dos clases
Si A y B son dos conjuntos tales que todo elemento de A pertenece a B y diferentes: los objetos que cumplen la propiedad y los objetos que no
a su vez todo elemento de B pertenece a A, entonces A = B. cumplen la propiedad. Es decir, solo consideramos propiedades con
esa caracterstica. En otras palabras, no consideramos propiedades
Consecuencia vagas como prodran ser ser un alumno alto de esta asignatura,
Es evidente que para dos conjuntos cualesquiera A y B se cumple que ser un alumno trabajador, etc.
A = B, sii As pues, toda propiedad determina un conjunto, el conjunto de los
objetos que cumplen dicha propiedad.
A y B tienen los mismos elementos.
Usamos letras griegas may usculas , , . . . para referirnos a las
Analogamente, A 6= B sii hay alg
un objeto a tal que o bien a A y a 6 B
propiedades. Si es un propiedad y a un objeto escribiremos
o bien a B y a 6 A.
(a)
para indicar que el objeto a verifica el propiedad .

on a la L
on a la L
Distincion entre conjuntos y propiedades Denotacion de conjuntos

A la hora de explicitar un conjunto hay dos metodos para nombrarlo o
denotarlo: comprension y enumeracion.
Comprension
Cual es la diferencia fundamental entre conjuntos y propiedades? Denotamos un conjunto por comprension dando un propiedad que poseen
Los conjuntos cumplen el principio de extensionalidad, pero las todos los elementos del conjunto y solo ellos. En general, si es un
propiedades no cumplen el principio de extensionalidad. propiedad al conjunto que determina por comprension lo denotamos
{x : (x)} (es decir, {x : x verifica el propiedad }). En tal caso se dice
Un argumento que justifica que las propiedades no cumplen el
que el conjunto determinado es la extension de la propiedad .
principio de extensionalidad es que las propiedades ser un n
umero
natural par menor que 3 y ser un n umero igual a 2 son dos Enumeracion
propiedades diferentes que determinan el mismo conjunto.
Denotamos un conjunto por enumeracion nombrando todos sus elementos
(esto es imposible si el conjunto tiene infinitos elementos). El modo
habitual de denotar conjuntos por enumeracion es escribir entre llaves los
nombres de sus elementos separados por comas. En general, si a1 , . . . , an
son los elementos del conjunto, denotamos al conjunto obtenido por
enumeracion como {a1 , . . . , an }.
on a la L
on a la L
Algunos Ejemplos y Observaciones Inclusion de Conjuntos

{x : x es un planeta} =
{Mercurio, Venus, la Tierra, Marte, Jupiter, Saturno, Urano, Neptuno, Pluton} =
{la Tierra, Marte, Jupiter, Saturno, Urano, Neptuno, Pluton, Mercurio, Venus}. Definicion
{a, b, c} = {a, c, b, a} =6 {b, c, c, b}. Decimos que un conjunto A esta incluido en un conjunto B (o que A es un
Cuantos elementos tiene el conjunto {a}? Tiene un u nico elemento subconjunto de B), en smbolos, A B, si todo elemento de A pertenece
que es precisamente el objeto a. tambien a B. Es decir,
{x : x A} = A, para cualquier conjunto A.
AB sii para todo objeto a, si a A, entonces a B.
a {x : (x)} sii (a), para cualquier objeto a.
Si A = {x : (x)} y B = {x : (x)}, entonces, por el principio de Escribiremos A 6 B para denotar que A no es subconjunto de B. Por
extensionalidad, se tiene que tanto,
I A = B, sii
I Para todo objeto x, se cumple que (x) sii (x). A 6 B sii existe un objeto a tal que a A y a 6 B.
Sea (x) la propiedad x = a1 o x = a2 o . . . o x = an (para unos
objetos a1 , a2 , . . . , an fijados). Cual es el conjunto {x : (x)}? Es
precisamente el mismo conjunto que {a1 , a2 , . . . , an }.
on a la L
on a la L
Varias Observaciones Diferentes usos del verbo ser en el lenguaje natural
Ejemplo Formalizemos los siguientes enunciados del lenguaje natural usando la

convencion siguiente: P es el conjunto de los perros, M es el conjunto de
Sean A, B, C los conjuntos definidos por comprension, respectivamente, a
los mamferos y a es el perro Argos (seg
un la Odisea de Homero se le
traves de los propiedades ser Ulises, ser un mamfero y ser un
considera el perro de Ulises).
hombre. Entonces, A C B.
Argos es un perro. aP
Para cualesquier conjuntos A, B y C , se cumple que
El perro es un mamfero. PM
A A, [reflexividad de la inclusi
on] Argos es el perro de Ulises. a = el perro de Ulises
si A B y B C , entonces A C , [transitividad de la inclusion]
si A B y B A, entonces A = B. [antisimetricidad de la inclusion] Conclusion
Para cualquier conjunto A y cualquier objeto a, se cumple que El lenguaje natural no es una buena gua para distinguir entre la
pertenencia () y la inclusion (), porque en muchas ocasiones usamos el
{a} A sii a A. mismo verbo.

on a la L
on a la L
Inclusion Propia de Conjuntos Un conjunto problematico

Sea A el conjunto de los triangulos cuadrados, y sea B el conjunto de
Definicion
los matrimonios unipersonales. A = B? La respuesta correcta es que
Decimos que un conjunto A esta incluido propiamente en un conjunto B A = B puesto que no hay ning un objeto que este en uno de esos
(o que A es un subconjunto propio de B), en smbolos, A B, si se conjunto y no en el otro
cumple que A B (i.e., es un subconjunto) y A 6= B. Es decir,
Analogamente otros conjuntos que coinciden con el del punto anterior
AB sii A B y A 6= B. son: el conjunto de los dictadores democratas, el conjunto de los
cristianos ateos, el conjunto de los mamferos invertebrados, el
Escribiremos A 6 B para denotar que A no es subconjunto propio de B. conjunto de los seres humanos sin progenitores, . . .
Por tanto, Al conjunto anterior le llamaremos el conjunto vaco, y lo
denotaremos con el smbolo .
A 6 B sii A 6 B o A = B.
es el u
nico conjunto que no posee ning un elemento. Por
que cualquier otro conjunto sin elementos coincide con ? Por el
Observacion principio de extensionalidad usando el mismo argumento que dimos
Para cualesquiera conjuntos A y B, se cumple que en el primer punto.
AB sii A B o A = B. Es claro que es la extension de cualquier propiedad que no posea
ningun objeto. En particular, {x : x 6= x} = .
on a la L
on a la L
Algunos Ejemplos y Observaciones La Paradoja de (Bertrand) Russell

= {}? La respuesta correcta es que =
6 {} porque el conjunto
{} s tiene un elemento, a saber, . Este paradoja justifica que el hecho de asumir que toda propiedad nos
determina un conjunto es en si mismo contradictorio. Por que?
Para cualquier conjunto A, se cumple que A. La razon es porque
un objeto x que este en pero no en A.
no hay ning Argumento
Es posible que {a, b} = {a}? S, pero s
olo en el caso en que el Supongamos que consideramos el conjunto {x : x 6 x} y llamemoslo A.
objeto a coincida con el objeto b. Entonces, sucede que o bien
Cuantos elementos tienen los conjuntos siguientes? J = {2, 2 + 2, 4} A A: En este caso se tiene que A cumple la propiedad que define al
tiene 2 elementos. K = {1, 2, 1, 3} tiene 3 elementos. H = {2, 2} conjunto A, y por tanto A 6 A; lo cual es contradictorio con lo
tiene 2 elementos. M = {{1}, {1, 1}} tiene 1 elemento. anterior.
Clasifica las siguientes afirmaciones seg
un sean verdaderas o falsas. A 6 A: En este caso se tiene que A no cumple la propiedad que define
es falsa. es verdadera. es falsa. {} es al conjunto A, y por tanto A A; lo cual es contradictorio con lo
verdadera. {} es verdadera. {1, } es verdadera. {1, } anterior.
es verdadera. {} {} es falsa. {} {} es verdadera.
{} {1, } es falsa. {} {1, } es verdadera. {1, } {1} es falsa.

on a la L
on a la L
Operaciones Basicas Entre Conjuntos I Operaciones Basicas Entre Conjuntos II
Dados dos o mas conjuntos podemos combinarlos y obtener nuevos Interseccion

conjuntos, i.e., a partir de dos o mas colecciones de objetos podemos La interseccion de dos conjuntos A y B, en smbolos A B, es el conjunto
obtener nuevas colecciones de objetos. cuyos elementos son los objetos que pertenecen a A y a B (i.e., que
Los 3 modos mas simples de operaciones corresponden a las operaciones pertenecen a los dos conjuntos considerados). Es decir,
de union, intersecci
on y diferencia.
A B = {x : x A y x B}.
Union
La union de dos conjuntos A y B, en smbolos A B, es el conjunto cuyos Diferencia
elementos son los objetos que pertenecen a A o a B (i.e., que pertenecen a La diferencia de dos conjuntos A y B, en smbolos A B, es el conjunto
alguno de los dos conjuntos considerados). Es decir, cuyos elementos son los objetos que pertenecen a A pero no a B (i.e., que
pertenecen al primer conjunto pero no al segundo). Es decir,
A B = {x : x A o x B}.
A B = {x : x A y x 6 B}.

on a la L
on a la L
Representacion via Diagramas de Venn Algunos Ejemplos via Diagramas de Venn (orden y)
AB AB
A (B C ) = (A B) (A C )
(A B) C = (A C ) (B C )
A B A B
B B (A C )
(B C ) A
AB BA
A C C (A B)
(A C ) B
A B A B
(A B) C

on a la L
on a la L
Como dibujar 4 conjuntos en un diagrama de Venn? Varias Observaciones
Para todo objeto x, se cumple que

x AB sii x A o x B.
x 6 A B sii x 6 A y x 6 B.
x AB sii x A y x B.
x 6 A B sii x 6 A o x 6 B.
x AB sii x A y x 6 B.
x 6 A B sii x 6 A o x B.
S
olo esta u
ltima es adecuada porque conviene x BA sii x B y x 6 A.
que interseque a todos los otros conjuntos x 6 B A sii x 6 B o x A.
puesto que queremos ser lo mas general posible

on a la L
on a la L
Algunas Observaciones Mas Un Ejemplo Detallado de Argumentacion

En este curso vamos a admitir demostraciones graficas basadas en los
diagramas de Venn, pero a modo de ilustracion de justificaciones no
Diremos que dos conjuntos son disjuntos si no tienen ning un elemento graficas seguidamente comprobamos que para cualesquiera conjuntos A y
en comun. Es decir, A y B son disjuntos si y solo si A B = . En B se cumple que (A B) (A B) (A B) (B A).
ocasiones tambien diremos que A es disjunto de B, y que B es Supongamos que tenemos un objeto a tal que a (A B) (A B).
disjunto de A. Queremos comprobar (de momento no lo sabemos) que
Cuando se dice que un objeto x pertenece a un conjunto A o a un a (A B) (B A).
conjunto B, queremos decir que pertenece a por lo menos uno de los El hecho que a (A B) (A B), nos dice que a A B y que
dos conjuntos, no excluyendo la posibilidad de pertenecer a la vez a a 6 A B. Por tanto, (a A o a B) y (a 6 A o a 6 B). As pues, se ha
ambos conjuntos. En el caso de interesarnos decir que un objeto x de cumplir alguno de los 4 casos siguientes, y vamos a comprobar que en
pertenece a A o a B, pero no a ambos, lo diremos explcitamente. cada uno de ellos se cumple realmente que a (A B) (B A).
Caso a A y a 6 A: Es un caso contradictorio.
Para cualesquiera conjuntos A y B se cumple que
Caso a A y a 6 B: Entonces, a A B, y por tanto
(A B) (A B) = (A B) (B A).
a (A B) (B A).
Caso a B y a 6 A: Entonces, a B A, y por tanto
a (A B) (B A).
Caso a B y a 6 B: Es un caso contradictorio.
on a la L
on a la L
Otro Ejemplo Detallado de Argumentacion Formal Otro Ejemplo Detallado de Argumentacion
Supongamos que tenemos un par de conjuntos A y B tales que Supongamos que tenemos un par de conjuntos A y B tales que
A B = B A. Que relaci on hay entre A y B? A B = B A. Que relacion hay entre A y B?
A continuacion vamos a justificar que en tal caso se cumple que A = B. A continuacion vamos a justificar que en tal caso se cumple que A = B.
Para ello por el principio de extensionalidad es suficiente comprobar que Para ello por el principio de extensionalidad es suficiente comprobar que
A B y que B A. A B y que B A.
Veamos en primer lugar que A B. Para ello consideramos un objeto Ahora en segundo lugar comprobamos que B A (es simetrico al caso
cualesquiera x tal que x A. Hemos de verificar que el objeto x tambien anterior). Para ello consideramos un objeto cualesquiera x tal que x B.
pertenece a B (i.e., x B). Para llegar a esta conclusion vamos a razonar Hemos de verificar que el objeto x tambien pertenece a A (i.e., x A).
por reduccion al absurdo. As pues, es suficiente comprobar que si Para llegar a esta conclusion vamos a razonar por reduccion al absurdo.
asumimos x 6 B entonces obtenemos una contradicci on. Y la As pues, es suficiente comprobar que si asumimos x 6 A entonces
on sera que entonces x A B (porque x A y
contradiccion en cuesti obtenemos una contradiccion. Y la contradiccion en cuestion sera que
x 6 B) mientras que x 6 B A (porque x 6 B). La contradiccion se entonces x B A (porque x 6 A y x B) mientras que x 6 A B
obtiene con la suposicion A B = B A. Esto concluye la justificacion (porque x 6 A). La contradiccion se obtiene con la suposicion
de que A B. A B = B A. Esto concluye la justificacion de que B A.

on a la L
on a la L
Un Ejercicio sobre subconjuntos Otro Ejercicio sobre subconjuntos

Decir cuantos subconjuntos tiene el conjunto {b, {}, {a, b}, a} y
Decir cuantos subconjuntos tiene el conjunto {, {a}, a} y enumerarlos. enumerarlos.
Los subconjuntos del conjunto anterior son precisamente los de la lista Los subconjuntos del conjunto anterior son precisamente los de la
. siguiente lista (estan agrupados por tama
no)
{}. Solo hay un subconjunto que tiene 0 elementos y se trata de .
{{a}}. no 1 son {b} y {{}} y {{a, b}} y {a}.
Los subconjuntos con tama
{a}. Los subconjuntos con tama no 2 son {b, {}} y {b, {a, b}} y {b, a} y
{, {a}}. {{}, {a, b}} y {{}, a} y {{a, b}, a}.
{{a}, a}. Los subconjuntos con tama no 3 son {b, {}, {a, b}} y {b, {}, a} y
{b, {a, b}, a} y {{}, {a, b}, a}.
{, a}.
Solo hay un subconjunto que tiene 4 elementos y se trata de
{, {a}, a}.
{b, {}, {a, b}, a} (i.e., el mismo conjunto del cual estabamos
y por tanto concluimos que tiene 8 subconjuntos. calculando sus subconjuntos).
y por tanto concluimos que tiene 16 subconjuntos.

on a la L
on a la L
Caracterizaciones de las 3 Operaciones Basicas Propiedades de la Union
La union A B de dos conjuntos A y B es el menor conjunto que

incluye a A y a B, puesto que (i) ambos conjuntos estan incluidos en
Para cualesquiera conjuntos A, B y C , se cumple que
su union, y (ii) la uni
on es el menor conjunto que los incluye.
A B = B A.
La interseccion A B de dos conjuntos A y B es el mayor conjunto
incluido en A y en B, puesto que (i) la interseccion esta incluida en (A B) C = A (B C ).
cada uno de ellos, y (ii) la intersecci
on es el mayor conjunto que A = A.
esta incluido en ambos. A A B y B A B.
La diferencia A B de dos conjuntos A y B es el mayor conjunto si X es un conjunto tal que A X y B X , entonces A B X .
incluido en A y disjunto de B, puesto que (i) el conjunto diferencia AB sii A B = B.
esta incluido en el primer conjunto y es disjunto del segundo, y (ii) la
diferencia es el mayor conjunto incluido en el primero y disjunto del
segundo.

on a la L
on a la L
Propiedades de la Interseccion Propiedades de la Diferencia

La diferencia no es commutativa, i.e., en general A B 6= B A.
A B = B A.
La diferencia no es asociativa, i.e., en general
(A B) C = A (B C ). (A B) C 6= A (B C ).
A = . A A = .
A B A y A B B. A B A y (A B) B = .
si X es un conjunto tal que X A y X B, entonces X A B. si X es un conjunto tal que X A y X B = , entonces
AB sii A B = A. X A B.
AB sii A B = .

on a la L
on a la L
Relaciones entre las 3 Operaciones Basicas Propiedades a las que corresponden las Operaciones
Basicas
Para cualesquiera conjuntos A, B, C y D se cumple que Supongamos que A = {x : (x)} y B = {x : (x)}. Entonces,
A (B C ) = (A B) (A C ). A B es el conjunto definido por la propiedad . Es decir,
A (B C ) = (A B) (A C ). A B = {x : ( )(x)}.
(A B) (C D) = (A C ) (A D) (B C ) (B D). A B es el conjunto definido por la propiedad . Es decir,
(A B) (C D) = (A C ) (A D) (B C ) (B D). A B = {x : ( )(x)}.
A (A B) = A. A B es el conjunto definido por la propiedad . Es decir,
A B = {x : ( )(x)}.
A (A B) = A.
A (B C ) = (A B) (A C ). Conclusion
A (B C ) = (A B) (A C ). Las conectivas de la logica proposicional nos dan operaciones entre
(A B) C = (A C ) (B C ). propiedades (i.e., nos permiten combinar propiedades); y acabamos de
observar que las 3 operaciones basicas entre conjuntos corresponden a
(A B) C = (A C ) (B C ).
considerar ciertas operaciones (via conectivas de la logica proposicional) en
el nivel de las propiedades definiendo los conjuntos considerados.
on a la L
on a la L
Relacion entre las igualdades conjuntistas y la logica Relacion entre las igualdades conjuntistas y la logica
proposicional I proposicional II
Ejemplo 1 Ejemplo 3
Las siguientes afirmaciones son equivalentes: Las siguientes afirmaciones son equivalentes:
Para cualesquiera conjuntos A, B, C se cumple que Para cualesquiera conjuntos A y B se cumple que A (A B) = A.
(A B) C = (A C ) (B C ).
Las formulas proposicionales p (p q) y p son equivalentes.
Las formulas proposicionales (p q) r y (p r ) (q r ) son
equivalentes.
Ejemplo 4
Ejemplo 2 Las siguientes afirmaciones son equivalentes:
Las siguientes afirmaciones son equivalentes: Para cualesquiera conjuntos A, B, C y D se cumple que
(A B) (C D) = (A C ) (A D) (B C ) (B D).
Para cualesquiera conjuntos A, B, C se cumple que
(A B) (C A) = B. Las formulas proposicionales (p q) (r s) y
(p r ) (p s) (q r ) (q s) son equivalentes.
Las formulas proposicionales (p q) (r p) y q son equivalentes.

on a la L
on a la L
Relacion entre las igualdades conjuntistas y la logica La Operacion de Complementacion

proposicional III
Supongamos que fijamos un conjunto al que pertenecen todos los objetos
en que estamos interesados en un determinado contexto. A este conjunto
le llamaremos el universo del discurso (porque contiene todos los objetos
de los que queremos hablar) y lo denotamos mediante la letra U.
Ejemplo 5 Dependiendo del contexto en que estemos interesados podemos suponer
Las siguientes afirmaciones son equivalentes: que U es el conjunto de los numeros enteros, o el conjunto de los alumnos
Para cualesquiera conjuntos A, B y C se cumple que matriculados en Filosofa UB, o . . .
A (B C ) = (A B) (A C ). Si A es un subconjunto de U, definimos el complemento o complementario
U
Las formulas proposicionales p (q r ) y (p q) (p r ) son de A con respecto a U, en smbolos A , como el conjunto de todos los
equivalentes. elementos de U que no pertenecen a A, o sea
U
A = U A.

on a la L
on a la L
La Operacion de Complementacion Propiedades del Complemento

Ejemplos
Si el universo U es el conjunto de los n
umeros enteros y A es el Para cualesquiera conjuntos A, se cumple que (recordemos que tenemos
conjunto de los numeros enteros pares, entonces el complementario fijado un conjunto U universo del discurso)
U
A es el conjunto de los n umeros enteros impares. = U y U = .
Si el universo U es el conjunto de los alumnos matriculados en A = A.
Filosofa UB y A es el conjunto de los alumnos no matriculados en el A A = .
grupo B1 de Introducci on a la L
ogica I, entonces el complementario
U Si X es un subconjunto de U tal que A X = entonces X A.
A es el conjunto de los alumnos matriculados en el grupo B1 de
Introduccion a la L
ogica I. A A = U.
Si X es un subconjunto de U tal que A X = U entonces A X .
Por definicion solo tiene sentido hablar del complemento con respecto a un
nico conjunto X tal que (i) A X = , y (ii) A X = U.
A es el u
cierto universo U del discurso. [Esta restriccion se debe esencialmente a
que si no podramos obtener una contradicci on mediante el argumento de [Caracterizacion del Complemento] A es el u
nico conjunto disjunto de
la Paradoja de Russell] No obstante, para simplificar la notacion, en A cuya union con A es U.
muchas ocasiones simplemente escribiremos A (i.e., omitiremos el smbolo
U) dando por sobreentendido que tenemos fijado un conjunto universo U.
on a la L
on a la L
Mas Propiedades del Complemento Leyes de De Morgan para Conjuntos
Para cualesquiera conjuntos A y B, se cumple que (recordemos que Para cualesquiera conjuntos A y B, se cumple que (recordemos que
tenemos fijado un conjunto U universo del discurso) tenemos fijado un conjunto U universo del discurso)
A B sii B A. (A B) = A B.
A = B sii A = B. (A B) = A B.
A B = sii A B sii B A.
A B = (A B).
A B = U sii A B sii B A.
A B = (A B).
A B = A B.

on a la L
on a la L
Argumentaci
on Silogstica Argumentaci
on Silogstica
Tipo de Argumentos a Analizar Representacion Conjuntista de las Proposiciones

Cada uno de los 4 tipos de proposiciones anteriores lo podemos
formalizar conjuntsticamente si pensamos en el conjunto de los
objetos que tienen la propiedad en cuestion. Como?
I A B = (i.e., A B). [Universal Afirmativa]
Consideraremos argumentos con 2 premisas (esto se podra facilmente I A B = . [Universal Negativa]
generalizar a mas) y una sola conclusi
on. I A B 6= . [Particular Afirmativa]
Tanto las premisas como la conclusi on de los argumentos que vamos I A B 6= . [Particular Negativa]
a considerar son proposiciones de alguna de las 4 formas siguientes Todos ellos corresponden a afirmar que una region de un diagrama de
(donde A y B son terminos que expresan propiedades): Venn es o bien vaca o bien no vaca.
I Todo A es B. [Universal Afirmativa] Utilizaremos el convenio de oscurecer (o rayar) una region cuando
I Ningun A es B. [Universal Negativa] sepamos que es vaca, y de colocar una marca (, ~, . . . ) en la
I un A es B. [Particular Afirmativa]
Alg
region cuando sepamos que no es vaca. En el caso de que no
I un A no es B. [Particular Negativa]
Alg
sepamos si una region del diagrama de Venn es vaca o no vaca
simplemente no la marcaremos de ninguna forma.
Al ir marcando (seg un convenga) las regiones de un diagrama de
Venn es aconsejable siempre empezar por las proposiciones universales
(i.e., las que nos dicen que una region es vaca).
on a la L
on a la L
Argumentaci
on Silogstica
Representacion Grafica de cada uno de los 4 tipos Ejemplos de Argumentos Silogsticos

Ning
un A es B Conviene destacar que el orden de las premisas no importa.
Todo A es B
A B A B Ejemplo 1
Los hombres son mamferos Todo A es B
Los mamferos son animales terrestres Todo B es C
Los hombres son animales terrestres Todo A es C
Ejemplo 2
Los mamferos son hombres Todo A es B
Alg
un A es B Alg
un A no es B Alg
un perro es un mamfero Alg
un C es A
A B A B Alg
un perro es un hombre Alg
un C es B
Ejemplo 3

Todo perro es un mamfero Todo A es B
Ning
un perro es un animal con alas Ning
un A es C
Ning
un mamfero es un animal con alas Ning
un B es C
on a la L
on a la L
Argumentaci
on Silogstica
Correccion de un Argumento Silogstico Analisis Grafico de la Correccion de un Argumento

Silogstico
Recordatorio
Como determinar si un argumento silogstico es correcto o no?
La correccion (o validez) de un argumento silogstico solo depende de
Paso 1. Formalizamos el argumento (si no lo estaba ya).
la forma del argumento.
Paso 2. Representamos cada una de las premisas graficamente con
Recordemos que un argumento es correcto (o valido) sii se cumple
diagramas de Venn (es aconsejable empezar representando
que siempre (interpretemos como interpretemos los terminos que
las universales), es decir, procedemos a marcar cada una de
aparecen) que las premisas sean verdaderas entonces la conclusion
las regiones del diagrama seg un la informacion que nos dan
tambien es verdadera.
las premisas. Si tenemos diversas regiones como candidatas
Es decir, no hay diferencia de cara a la correccion en el hecho de que para marcar con un entonces la ponemos en el borde
hablemos de perros, n umeros, mamferos, alumnos, etc. que une todas las regiones entre las que dudamos.
Si un silogismo es correcto entonces es imposible que sus premisas Paso 3. Comprobamos si el diagrama resultante esta de acuerdo con
sean verdaderas mientras que la conclusion sea falsa, y esto solo la representacion de la conclusion. En el caso de estar de
depende de la forma (i.e., estructura) del silogismo. acuerdo el argumento es correcto, y en el caso de no estar de
acuerdo el argumento es incorrecto.

on a la L
on a la L
Argumentaci
on Silogstica
Es correcto o incorrecto este silogismo? I Es correcto o incorrecto este silogismo? II

Problema 1 Problema 2
Todo A es B AB= Todo A es B AB=
Todo B es C BC = Ning
un B es C B C =
Todo A es C AC = Ning
un A es C AC =
Resolucion Resolucion
La representacion grafica de las dos premisas da lugar al siguiente La representacion grafica de las dos premisas da lugar al siguiente
diagrama de Venn. diagrama de Venn.
B B
A C A C
En dicho diagrama observamos que A C = . Por tanto, el argumento En dicho diagrama observamos que A C = . Por tanto, el argumento es
es correcto. correcto.
on a la L
on a la L
Argumentaci
on Silogstica
Es correcto o incorrecto este silogismo? III Es correcto o incorrecto este silogismo? IV

Todo A es B AB= Alg
un A es B A B 6=
Ning
un A es C AC = Todo A es C AC =
Ning
un B es C B C = Alg
un C es B C B 6=
B B
A C
A C
Aqu no podemos concluir que B C = ; y por tanto, el argumento es

incorrecto. No obstante, es mejor justificar que es incorrecto dando un
contrajemplo, en este caso sirve A = {1}, B = {1, 2} y C = {2, 3}. En dicho diagrama observamos que C B 6= ; y por tanto, el argumento
es correcto.
on a la L
on a la L
Argumentaci
on Silogstica
Es correcto o incorrecto este silogismo? V Es correcto o incorrecto este silogismo? VI

Todo A es B AB= Alg
un A es B AB = 6
Alg
un B es C B C 6= Alg
un B es C B C = 6
Alg
un A es C A C 6= Alg
un A es C A C 6=
B B
A C A C

Aqu no podemos concluir que A C 6= ; y por tanto, el argumento es Aqu no podemos concluir que A C 6= ; y por tanto, el argumento es
incorrecto. No obstante, es mejor justificar que es incorrecto dando un incorrecto. No obstante, es mejor justificar que es incorrecto dando un
contrajemplo, en este caso sirve A = {1}, B = {1, 2} y C = {2, 3}. contrajemplo, en este caso sirve A = {1, 2}, B = {2, 3} y C = {3, 4}.
on a la L
on a la L
Argumentaci
on Silogstica
Es correcto o incorrecto este silogismo? VII

Problema 7
Ning
un A es B AB =
Ning
un B es C B C =
Ning
un A es C AC =
Resolucion
La representacion grafica de las dos premisas da lugar al siguiente
diagrama de Venn.
B
A C
Aqu no podemos concluir que A C = ; y por tanto, el argumento es

incorrecto. No obstante, es mejor justificar que es incorrecto dando un
contrajemplo, en este caso sirve A = {1, 2}, B = {3, 4} y C = {2, 5}.
on a la L

Introducción A La Lógica

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Introducción A La Lógica

Загружено:

Авторское право:

Доступные форматы

Metodologa de la Asignatura

4 Nociones de Teora de Conjuntos

F. Bou (bou@ub.edu) Introducci

Metodologa de la Asignatura Metodologa de la Asignatura

Metodologa de la asignatura Metodologa de la asignatura

F. Bou (bou@ub.edu) Introducci

Sistema de Evaluacion Explicado por Neus Castells

Expresiones veritativo-funcionales Expresiones veritativo-funcionales

F. Bou (bou@ub.edu) Introducci

El Lenguaje de la Logica Proposicional Los Lenguajes de la Logica Proposicional

Los Lenguajes de la Logica Proposicional Formulas de un lenguaje de la Logica Proposicional

Sea L un lenguaje de la logica proposicional.

F. Bou (bou@ub.edu) Introducci

Ejemplos en lenguajes de la Logica Proposicional Mas Ejemplos en lenguajes de la Logica Proposicional

F. Bou (bou@ub.edu) Introducci

Subformulas Mas Ejemplos de Subformulas

F. Bou (bou@ub.edu) Introducci

F. Bou (bou@ub.edu) Introducci

Lenguaje Objeto y Metalenguaje I Lenguaje Objeto y Metalenguaje II

Lenguaje Objeto y Metalenguaje III Semantica de los Lenguajes Proposicionales

El Concepto de Asignacion Cuantas asignaciones tiene un Lenguaje Proposicional? I

Cuantas asignaciones tiene un Lenguaje Proposicional? II Asignaciones en un Lenguaje Proposicional

El Significado de la Negacion El Significado de la Conjuncion

F. Bou (bou@ub.edu) Introducci

El Significado de la Disyuncion El Significado del Condicional

El Significado del Bicondicional Resumen del Significado de las Conectivas

Tabla de Verdad de un Formula I Tabla de Verdad de un Formula II

Tautologas y Contradicciones Ejemplos sobre Tautologas y Contradicciones

F. Bou (bou@ub.edu) Introducci

F. Bou (bou@ub.edu) Introducci

F. Bou (bou@ub.edu) Introducci

Ejemplo de Equivalencia Logica Principio de Sustitucion de Formulas Equivalentes

Algunas Equivalencias Logicas Importantes I Omision de Parentesis

A proposito de la negacion Proposicion

Ejemplos de Cadenas de Equivalencias Logicas I Ejemplos de Cadenas de Equivalencias Logicas II

F. Bou (bou@ub.edu) Introducci

Ejemplos de Cadenas de Equivalencias Logicas III Satisfacibilidad I

Satisfacibilidad II Ejemplos sobre Satisfacibilidad I

F. Bou (bou@ub.edu) Introducci

Ejemplos sobre Satisfacibilidad II Consecuencia Logica I

Consecuencia Logica II Consecuencia Logica usando la Tabla de Verdad

Ejemplos usando la Tabla de Verdad I Ejemplos usando la Tabla de Verdad II

Consecuencia Logica usando Demostraciones (In-)Directas Ejemplos usando Demostraciones (In-)Directas I

Ejemplos usando Demostraciones (In-)Directas II Propiedades de la Consecuencia Logica I

Propiedades de la Consecuencia Logica II Ejemplos de Consecuencia Logica I

Ejemplos de Consecuencia Logica II Generalizando la nocion de Tabla de Verdad I

Generalizando la nocion de Tabla de Verdad II De Tablas de Verdad a Formulas I

De Tablas de Verdad a Formulas II Forma Normal Disyuntiva

Forma Normal Conjuntiva Reconocimiento de Formas Normales Conjun./Disyun.

De Tablas de Verdad a Formulas III De Tablas de Verdad a Formulas IV

F. Bou (bou@ub.edu) Introducci

De Tablas de Verdad a Formulas V De Tablas de Verdad a Formulas VI

F. Bou (bou@ub.edu) Introducci

Simbolizacion III Simbolizacion IV

Simbolizacion V Expr. del Leng. Natural Simbolizadas con la Negacion

F. Bou (bou@ub.edu) Introducci

Expr. del Leng. Natural Simbolizadas con el Bicondicional Ejemplos de Simbolizacion I

Ejemplos de Simbolizacion II Ejemplos de Simbolizacion III

Simbolizacion de Argumentos I Simbolizacion de Argumentos II

Ejemplos de Simbolizacion de Argumentos I Ejemplos de Simbolizacion de Argumentos II

Ejemplos de Simbolizacion de Argumentos III Ejemplos de Simbolizacion de Argumentos IV

Ejemplos de Simbolizacion de Argumentos V Ejemplos de Simbolizacion de Argumentos VI

Ejemplos de Simbolizacion de Argumentos VII Ejemplos de Simbolizacion de Argumentos VIII