You are on page 1of 47

Metodolog´ıa de la Asignatura

´Indice

1 Metodolog´ıa de la Asignatura
Introducci´on a la L´ogica I
2 El objeto de la L´ogica
F´elix Bou
bou@ub.edu 3 L´ogica Proposicional

4 Nociones de Teor´ıa de Conjuntos
16 de diciembre de 2009

5 Argumentaci´on Silog´ıstica

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

Metodolog´ıa de la Asignatura Metodolog´ıa de la Asignatura

Metodolog´ıa de la asignatura Metodolog´ıa de la asignatura

Horario
Teor´ıa Consultas Pr´acticas*
Datos Profesor Martes 17:00-18:00h — —
Grupo B1
F´elix Bou. Mi´ercoles 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 pr´acticas son el aula 406.
E-mail: bou@ub.edu (fbou@iiia.csic.es)
Tel´efono: 93 4037978.
Examen Final
1a Convocatoria 2a Convocatoria
Grupo B1 (A. 403) 20 Enero, 16:00-18:00h 8 Sept, 16:00-18:00h

F. Bou (bou@ub.edu) Introducci´
on a la L´
ogica I 16 de diciembre de 2009 3 / 185 F. Bou (bou@ub.edu) Introducci´
on a la L´
ogica I 16 de diciembre de 2009 4 / 185

Metodolog´ıa de la Asignatura El objeto de la L´
ogica

Sistema de Evaluaci´on Explicado por Neus Castells
Evaluaci´on Continua
Tres ex´amenes 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 ex´amenes con una nota m´ınima de 3, y en
tal caso la nota final ser´a la media de los tres ex´amenes parciales.
S´olo se obtendr´a la calificaci´
on de “No Presentado” en caso de no
realizar los tres ex´amenes parciales.
´
Evaluaci´on Unica
Todo el mundo puede realizar el examen final, incluso aquellas
personas que antes han hecho uno o m´as de los ex´amenes parciales.
La asistencia al examen final supone autom´aticamente la renuncia a
on continua, i.e., la nota final ser´a la obtenida
la nota de la evaluaci´
en el examen final.
F. Bou (bou@ub.edu) Introducci´
on a la L´
ogica I 16 de diciembre de 2009 5 / 185 F. Bou (bou@ub.edu) Introducci´
on a la L´
ogica I 16 de diciembre de 2009 6 / 185


ogica Proposicional L´
ogica Proposicional

Expresiones veritativo-funcionales Expresiones veritativo-funcionales

En los lenguajes naturales hay expresiones que nos permiten formar La l´ogica de proposiciones (o enunciados) nos ser´a u
´til para analizar
enunciados compuestos a partir de otros m´as simples. Por ejemplo, la estructura de los enunciados compuestos formados a partir de
los enunciados expresiones veritativo-funcionales.
Messi juega en el Bar¸ca En otras palabras, la l´ogica proposicional nos va a permitir estudiar la
Messi es un fil´
osofo de reconocido prestigio correcci´on de argumentos donde los enunciados se han obtenido a
partir de expresiones veritativo-funcionales.
se pueden combinar con la ayuda de diversas part´ıculas, como por
ejemplo “y”, “o”, “si . . . entonces . . . ”. La gracia de estas Por tanto, no podremos aplicar la l´ogica proposicional al estudio de
part´ıculas (y otras m´as 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 m´as simples que lo componen. As´ı pues, a lo largo de todo este curso hemos de consider la hip´otesis
A las part´ıculas del lenguaje natural con esa caracter´ıstica las implic´ıta de que la verdad de cualquier enunciado que consideremos
llamamos expresiones veritativo-funcionales. depende exclusivamente de sus enunciados m´as simples.

F. Bou (bou@ub.edu) Introducci´
on a la L´
ogica I 16 de diciembre de 2009 7 / 185 F. Bou (bou@ub.edu) Introducci´
on a la L´
ogica I 16 de diciembre de 2009 8 / 185


ogica Proposicional L´
ogica Proposicional

El Lenguaje de la L´ogica Proposicional Los Lenguajes de la L´ogica Proposicional
Todos los lenguajes de la l´ogica proposicional tienen en com´
un los
s´ımbolos siguientes:
En la l´ogica proposicional distinguimos dos n´ıveles: el sint´actico y el 1 Conectivas: ¬, ∧, ∨, → y ↔.
sem´antico. El nivel sint´actico estudia el lenguaje como una pura 2 Par´entesis: ) y (.
manipulaci´on de signos. Por contra, el nivel sem´antico se encarga de Las conectivas son los s´ımbolos l´ogicos del lenguaje. Y los par´entesis
atribuir significado a esos s´ımbolos. Es claro que esta misma son los s´ımbolos auxiliares del lenguaje.
distinci´on sucede en los lenguajes naturales (as´ı como en los otros Todo lenguaje de la l´ogica proposicional est´a caracterizado por los
lenguajes artificiales que conocemos). s´ımbolos que tiene adem´as de los comunes. Estos s´ımbolos
El lenguaje de la l´
ogica proposicional es un lenguaje artificial caracter´ısticos del lenguaje son llamados las letras proposicionales (o
especificamente dise˜nado para analizar enunciados formados con variables). El n´umero 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 s´ımbolos para hablar de las part´ıculas del lenguaje las letras p, q, r , s y t (con o sin sub´ındices).
veritativo-funcionales (tambi´en llamadas conectivas). Un ejemplo de lenguaje de la l´ogica 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 l´ogica proposicional es el dado por las letras proposicionales p1 , p2
y p3 . Observamos que para identificar un lenguaje de la l´ogica
proposicional basta con decir cu´ales son sus letras proposicionales.
F. Bou (bou@ub.edu) Introducci´
on a la L´
ogica I 16 de diciembre de 2009 9 / 185 F. Bou (bou@ub.edu) Introducci´
on a la L´
ogica I 16 de diciembre de 2009 10 / 185


ogica Proposicional L´
ogica Proposicional

Los Lenguajes de la L´ogica Proposicional F´ormulas de un lenguaje de la L´ogica Proposicional

Sea L un lenguaje de la l´ogica proposicional.
El nombre de las conectivas y la forma de leerlas es el dado en la Una expresi´on del lenguaje L es una sucesi´on finita de s´ımbolos del
siguiente tabla lenguaje L.
Conectiva Nombre Lectura Una f´
ormula at´omica del lenguaje L es una letra proposicional del
¬ negaci´on no lenguaje L.
∧ conjunci´on y Una f´
ormula del lenguaje L es una expresi´on que se obtiene a partir
∨ disyunci´on o de un n´
umero finito de aplicaciones de las siguientes reglas:
→ condicional si . . . , entonces 1 Toda f´ormula at´omica de L es una f´ormula de L (i.e., toda letra
↔ bicondicional si y s´
olo si proposicional de L es una f´ormula de L).
2 Si α es una f´ormula entonces ¬α es una f´ormula.
3 Si α y β son f´ormulas entonces (α ∧ β), (α ∨ β), (α → β) y (α ↔ β)
tambi´en son f´ormulas.

F. Bou (bou@ub.edu) Introducci´
on a la L´
ogica I 16 de diciembre de 2009 11 / 185 F. Bou (bou@ub.edu) Introducci´
on a la L´
ogica I 16 de diciembre de 2009 12 / 185


ogica Proposicional L´
ogica Proposicional

Ejemplos en lenguajes de la L´ogica Proposicional M´as Ejemplos en lenguajes de la L´ogica Proposicional
En muchas ocasiones es com´ un hablar de expresiones, f´ormulas
Ejemplo en los lenguajes L1 y L2 , donde L1 es el lenguaje con las at´omicas y f´ormulas 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 At´omica F´ormula En estos casos, simplemente se asume que el lenguaje contiene todos
p), No No No los s´ımbolos que aparecen en la expresi´on en cuesti´on.
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 f´ormulas at´omicas
p∧q S´ı No No p, s, r , p1 , etc.
(¬p) S´ı No No
¬p S´ı No S´ı
Ejemplos de expresiones que no son f´ormulas
¬(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 f´ormulas no at´omicas
¬p, (p ∧ q), (p ∨ q), (p ∨ (q ∧ q)), (p → (q ∧ r )), etc.
F. Bou (bou@ub.edu) Introducci´
on a la L´
ogica I 16 de diciembre de 2009 13 / 185 F. Bou (bou@ub.edu) Introducci´
on a la L´
ogica I 16 de diciembre de 2009 14 / 185


ogica Proposicional L´
ogica Proposicional

Los Diversos Tipos de F´ormulas Justificaci´on de porqu´e una expresi´on es una f´ormula I
Podemos asociar a cada f´ormula de un lenguaje de la l´ogica proposicional
su ´arbol geneal´ogico, que describe la construcci´on o generaci´on de la
f´ormula de acuerdo a las reglas anteriores. Por ejemplo,
ormula de la forma ¬α.
Una negaci´on es una f´ El ´arbol geneal´ogico de ((p ∧ q) → ¬r ) es
ormula de la forma (α ∧ β).
Una conjunci´on es una f´ p q
r
(p ∧ q) ¬r
ormula de la forma (α ∨ β).
Una disyunci´on es una f´
((p ∧ q) → ¬r )
ormula de la forma (α → β).
Un condicional es una f´
y permite justificar que se trata de una f´ormula.
ormula de la forma (α ↔ β).
Un bicondicional es una f´ El ´arbol geneal´ogico de (¬¬(p ∧ q) → ¬r ) es
Toda f´ormula de la l´
ogica proposicional es o bien una negaci´on, o una p q
conjunci´on, o una disyunci´
on, o un condicional, o un bicondicional, o (p ∧ q)
una f´ormula at´omica. 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 f´ormula.
F. Bou (bou@ub.edu) Introducci´
on a la L´
ogica I 16 de diciembre de 2009 15 / 185 F. Bou (bou@ub.edu) Introducci´
on a la L´
ogica I 16 de diciembre de 2009 16 / 185

es decir. Los ´arboles geneal´ ogicos nos permiten justificar que una expresi´on es ??????? una f´ormula. (¬(p → ¬r ) → ¬(¬r → ¬q)) ogico de (¬(p ∧ p) ∨ p) es El ´arbol geneal´ y permite justificar que se trata de una f´ormula. una f´ormula. El ´arbol geneal´ogico 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) y permite justificar que se trata de una f´ ormula.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 17 / 185 F. s´olo hay una forma posible de construir conseguimos (en esta ocasi´on nos salen varios casos). F.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 18 / 185 L´ ogica Proposicional L´ ogica Proposicional Justificaci´on de porqu´e una expresi´on es una f´ormula IV Justificaci´on de porqu´e una expresi´on no es una f´ormula ¿C´omo justificar que la expresi´on ¬(p ∧ ¬q∨) no es una f´ormula? Basta comprobar que si intentamos hacer el ´arbol geneal´ogico no lo Ideas Fundamentales extra´ıdas de los ejemplos anteriores conseguimos.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 20 / 185 . mientras que si p ¬q∨ ogico entonces dicha expresi´on no podemos construir el ´arbol geneal´ (p ∧ ¬q∨) no es una f´ormula.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 19 / 185 F. ¬(p ∧ ¬q∨) Es importante destacar que el ´arbol geneal´ogico de una f´ormula es ¿C´omo justificar que la expresi´on (p ∨ q ∧ r ) no es una f´ormula? u ´nico. En otras palabras. L´ ogica Proposicional L´ ogica Proposicional Justificaci´on de porqu´e una expresi´on es una f´ormula II Justificaci´on de porqu´e una expresi´on es una f´ormula III ogico de (¬p ∨ q) es El ´arbol geneal´ p ¬p q (¬p ∨ q) y permite justificar que se trata de una f´ ormula. no es posible dar dos formas diferentes de construir Basta comprobar que si intentamos hacer el ´arbol geneal´ogico no lo una misma f´ormula. ??????? ??????? p q∧r p∨q r (p ∨ q ∧ r ) (p ∨ q ∧ r ) F. es decir. p p (p ∧ p) ¬(p ∧ p) p (¬(p ∧ p) ∨ p) y permite justificar que se trata de una f´ ormula. si podemos construir el ´arbol q∨ geneal´ogico entonces dicha expresi´ on es una f´ormula. Bou (bou@ub. Bou (bou@ub. Bou (bou@ub. Bou (bou@ub.

α ∨ β.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 24 / 185 .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 22 / 185 L´ ogica Proposicional L´ ogica Proposicional Nota Avanzada sobre (los par´enteresis en) las F´ormulas I Nota Avanzada sobre (los par´enteresis en) las F´ormulas II Pregunta 1 Consideramos la condici´ on Pregunta 2 Consideramos la condici´on Si α y β son f´ormulas entonces α ∧ β.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 23 / 185 F. hay cinco subf´ormulas que son: p. ¿Qu´e ocurriria si en la definici´ on de f´ ormula cambi´aramos la tercera ¿Qu´e ocurriria si en la definici´on de f´ormula cambi´aramos la segunda condici´on por la condici´on anterior? Esta no ser´ıa una buena definici´on condici´on por la condici´on anterior? Con esta definici´on no habr´ıa porque en tal caso habr´ıa ambig¨ uedad debido al que hecho de que por ambig¨uedad pero usar´ıamos una notaci´on innecesariamente larga. el cual es tambi´en 4 subf´ormulas (seg´ un lo que hemos visto en las diapositivas q p anteriores). ¬q. Bou (bou@ub. q. F. hay cinco subf´ ormulas que son: r . (r ∧ ¬q) y Por tanto.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 21 / 185 F. ¿Cu´ales son la subf´ormulas de la f´ormula ((r ∧ ¬q) → q)? Para ¿Cu´antas subf´ormulas tiene la f´ormula ¬(p ∧ ¬q) y cu´ales son? Para responder a esta pregunta comenzamos construyendo el ´arbol responder a esta pregunta comenzamos construyendo el ´arbol geneal´ogico de esta f´ormula. ¬(p ∧ ¬q). Bou (bou@ub. ¬q. hay cinco subf´ormulas que son: p. Bou (bou@ub. Por tanto. y (¬(p ∧ p) ∨ p) tiene geneal´ogico de esta f´ormula. L´ ogica Proposicional L´ ogica Proposicional Subf´ormulas M´as Ejemplos de Subf´ormulas Las subf´ormulas de una f´ ormula son las f´ ormulas que aparecen en su ¿Cu´antas subf´ormulas tiene la f´ormula (¬q → ¬p) y cu´ales son? Para ´arbol geneal´ogico. el cual es geneal´ogico de esta f´ormula. (p ∧ ¬q) y ((r ∧ ¬q) → q). ejemplo podr´ıamos construir la f´ ormula p ∨ q ∧ r de dos formas diferentes. responder a esta pregunta comenzamos construyendo el ´arbol Por ejemplo. α → β y α ↔ β tambi´en son f´ormulas. ¬q y (¬q → ¬p). q. q. Bou (bou@ub. Si α es una f´ormula entonces (¬α) tambi´en es una f´ormula. ¬q ¬p Es evidente que si la f´ormula γ es una subf´ormula de β y β es una (¬q → ¬p) subf´ormula de α entonces γ tambi´en es una subf´ormula de α. (¬p ∨ q) tiene 4 subf´ ormulas. F. el cual es q q r ¬q p ¬q (r ∧ ¬q) q (p ∧ ¬q) ((r ∧ ¬q) → q) ¬(p ∧ ¬q) Por tanto. ¬p. incluida la propia f´ ormula.

¬(p ∧ ¬(q → ¬¬r )) ∨ q. una disyunci´on: (¬p ∧ q) ∨ p o ¬(p ∧ q) ∨ p. todas las f´ormulas ¿Es posible una definici´on de f´ ormula en la que no haya ambig¨ uedad y no que los necesiten (es decir. ¬((p ∧ ¬(q → ¬¬r )) ∨ q) o ¬((p ∧ (¬q → ¬¬r )) ∨ q). ¬p ∧ ¬(q → ¬¬(r ∨ q)). ∨αβ.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 26 / 185 L´ ogica Proposicional L´ ogica Proposicional Ejemplos sobre el uso de los Par´entesis I Ejemplos sobre el uso de los Par´entesis II nadir par´entesis a la expresi´on ¬p ∧ ¬q → ¬¬r ∨ q para que sea A˜ una negaci´on de una disyunci´on: ¬(((p ∧ ¬q) → ¬¬r ) ∨ q). I etc. (¬p ∧ (¬q → ¬¬r )) ∨ q. Esta notaci´on es conocida con el nombre de notaci´on polaca. las obtenidas a trav´es de conectivas se utilicen par´entesis? Basta cambiar la tercera condici´on por la condici´on binarias) supondremos que en realidad los llevan. una negaci´on de una conjunci´ una negaci´on de una conjunci´on: ¬(p ∧ ¬((q → ¬¬r ) ∨ q)). ¬p ∧ ¬(q → (¬¬r ∨ q)). → αβ y ↔ αβ tambi´en I p ∧ q se refiere a la f´ormula (p ∧ q). etc. notaci´on que no tiene problemas es la que se obtiene utilizando la I (p ∨ q) ∨ r se refiere a la f´ormula ((p ∨ q) ∨ r ). q r ¬q r ∧ ¬q q (r ∧ ¬q) → q F. αβ → y αβ ↔ tambi´en podr´ıamos reescribir ahora de la forma siguiente son f´ormulas. ¬p ∧ ¬(q → ¬(¬r ∨ q)). una conjunci´on: ¬p ∧ ¬((q → ¬¬r ) ∨ q). son f´ormulas. etc.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 25 / 185 F. ¬(p ∧ ¬(q → (¬¬r ∨ q))). ¬(p ∧ (¬q → ¬¬(r ∨ q))). etc. condici´on (conocida como notaci´on polaca inversa) Siguiendo este convenio uno de los ´arboles geneal´ogicos anteriores lo Si α y β son f´ormulas entonces αβ∧. Bou (bou@ub. una conjunci´on: ¬p ∧ (q ∨ p). a partir de ahora consideraremos que Si α y β son f´ormulas entonces ∧αβ. F. Bou (bou@ub. Bou (bou@ub. Otra I p ∨ (q ∨ r ) se refiere a la f´ormula (p ∨ (q ∨ r )). ¬((p ∧ ¬q) → ¬¬r ) ∨ q. (¬p ∧ ¬(q → ¬¬r )) ∨ q. ¬(p ∧ (¬q → (¬¬r ∨ q))). Pregunta 3 Aunque no escribamos los par´entesis exteriores. on: ¬(p ∧ (q ∨ p)). Es decir. L´ ogica Proposicional L´ ogica Proposicional Nota Avanzada sobre (los par´enteresis en) las F´ormulas III Convenio: Omisi´on de los Par´entesis Exteriores A partir de ahora los par´entesis exteriores (y s´olo los exteriores) no ser´a necesario escribirlos expl´ıcitamente. I p ∨ q se refiere a la f´ormula (p ∨ q). ¬(p ∧ (¬q → ¬(¬r ∨ q))).edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 28 / 185 . αβ∨. una negaci´on de una disyunci´ ¬((p ∧ ¬q) → ¬(¬r ∨ q)) o ¬((p ∧ ¬q) → ¬¬(r ∨ q)). una disyunci´on: ¬(p ∧ (¬q → ¬¬r )) ∨ q.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 27 / 185 F. A˜ on ¬p ∧ q ∨ p para que sea nadir par´entesis a la expresi´ una negaci´on de un condicional: ¬((p ∧ ¬q) → (¬¬r ∨ q)) on: ¬((p ∧ q) ∨ p). Bou (bou@ub.

valor de verdad asociado a las f´ormulas m´as simples que la componen. en este curso el metalenguaje que utilizamos para estudiar clara la distinci´ on entre la l´ogica es el idioma castellano. q. ∧. este metalenguaje son los enunciados I el lenguaje en el que se habla (llamado metalenguaje). no sucede que haya f´ormulas sin ning´ un valor de I si “p” es una letra proposicional entonces “p” no es una f´ ormula verdad asociado. I si α es una f´ormula entonces ¬α es una f´ormula.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 32 / 185 . Es evidente que ninguno de los cuatro enunciados anteriores es un enunciado del lenguaje objeto. Por atribuir significado nos referimos a asignar un valor de verdad. verdad.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 30 / 185 L´ ogica Proposicional L´ ogica Proposicional Lenguaje Objeto y Metalenguaje III Sem´antica 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 l´ogica referirnos a una expresi´ on del lenguaje natural utilizamos la misma proposicional desde un punto de vista sint´actico. (. un lenguaje puede ser lenguaje objeto en I si p es una letra proposicional entonces p es una f´ormula at´omica. I si p es una letra proposicional entonces p no es una f´ormula at´omica. Es decir. ). I Am´ılcar Barca fund´o la actual Barcelona. F ). anterior deber´ıan escribirse de la forma I “¬” es una conectiva. de si es un lenguaje formal o un lenguaje natural) es importante tener Por contra. p. →. En el primero de los enunciados anteriores el rol de α es el de una variable metalingu´ıstica en el sentido que es una variable que tenemos en el metalenguaje para referirnos a una f´ormula cualquiera. Algunos ejemplos de enunciados en I el lenguaje del que se habla (llamado lenguaje objeto). ↔. El objetivo de un estudio sem´antico es asignar significado a las I “Am´ılcar Barca” acaba con la letra “a”. a las f´ormulas). Bou (bou@ub.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 31 / 185 F. es decir. Bou (bou@ub. F. La sem´antica 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 f´ormula compuesta depende exclusivamente del hacemos y simplemente escribimos lo de la diapositiva anterior. lenguaje natural se forma entrecomillando la expresi´on misma). . estrictamente hablando los tres u ´ltimos enunciados de la diapositiva As´ı pues. F. una situaci´on y metalenguaje en otra situaci´on. Consideramos dos valores de verdad: verdadero (abrev. nos damos cuenta que (abrev. Los conceptos de lenguaje objeto y metalenguaje son relativos a una I ¬ es una conectiva. L´ ogica Proposicional L´ ogica Proposicional Lenguaje Objeto y Metalenguaje I Lenguaje Objeto y Metalenguaje II En el estudio de la l´ogica es evidente que el lenguaje objeto es precisamente el lenguaje formal introducido anteriormente cuyo alfabeto es el formado por los s´ımbolos ¬. I Es verdad que el Bar¸ca gan´o al Dinamo de Kiev. es decir. ∨. . Bou (bou@ub. Algunos ejemplos que ilustran este hecho son A continuaci´on empezamos el estudio sem´antico de estos lenguajes. . expresiones sint´acticamente correctas (es decir. como mera expresi´on entrecomillada (es decir. I “El Bar¸ca gan´o al Dinamo de Kiev” es un enunciado verdadero. at´omica. situaci´on concreta. y Siempre que hablamos (o estudiamos) un lenguaje (indistintamente cuyas expresiones sint´acticamente correctas son las f´ormulas. Bou (bou@ub. el nombre de una expresi´on del manipulaci´on de s´ımbolos.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 29 / 185 F. Aqu´ı est´a impl´ıcito que toda f´ormula tendr´a asociado un valor de I si “p” es una letra proposicional entonces “p” es una f´ ormula at´ omica. el objetivo es asignar valores de verdad a las f´ormulas. V ) y falso Como consecuencia del comentario anterior.

F Sea L el lenguaje proposicional que (s´ olo) tiene las letras Por tanto. p Es habitual utilizar el s´ımbolo v (con sub´ındices o super´ındices si es V necesario) para referirnos a una asignaci´on. ¿Cu´antas 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 dif´ıcilmente nos olvidaremos una asignaci´on.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 36 / 185 . Bou (bou@ub. ¿Cu´antas asignaciones tiene este lenguaje? En este caso las u ´nicas considerado un valor de verdad. V F F Hasta ahora sabemos cu´al es el valor de verdad asignado a una letra F V V proposicional (es decir. proposicionales p y q. Nuestro F V F siguiente objetivo es decir cu´al es el valor de verdad asignado a una F F V f´ormula cualquiera (no s´olo at´omica) con una asignaci´on. L´ ogica Proposicional L´ ogica Proposicional El Concepto de Asignaci´on ¿Cu´antas asignaciones tiene un Lenguaje Proposicional? I Una asignaci´on (de un lenguaje proposicional) es una funci´on (o Consideramos el lenguaje proposicional con s´olo la letra proposicional regla) que asigna a cada una de las letras proposicionales del lenguaje p.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 33 / 185 F. F F F El valor de verdad de una f´ormula compuesta depende. V V V Si v es una asignaci´on. del Conclusi´on significado de las conectivas. f´ormula at´omica) con una asignaci´on. entonces en ese lenguaje hay El significado de una conectiva puede entenderse como una regla que 2n asignaciones. Bou (bou@ub. hay (exactamente) 8 asignaciones. valor de verdad de las letras proposicionales que aparecen en ella. hay (exactamente) 2 asignaciones. entonces diremos que p es verdadera con la V V F asignaci´on v cuando ocurra que v (p) = V . F. Si un lenguaje tiene n letras proposicionales. a cada letra proposicional le asignaciones que hay son las siguientes asignamos o bien el valor V o bien el valor F . ¿Cu´antas asignaciones tiene este lenguaje? En v (p) = V y v (q) = F .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 34 / 185 L´ ogica Proposicional L´ ogica Proposicional ¿Cu´antas asignaciones tiene un Lenguaje Proposicional? II Asignaciones en un Lenguaje Proposicional Consideramos el lenguaje proposicional con s´olo la letras El orden en que escribimos las asignaciones no es importante. Por tanto. Bou (bou@ub. proposicionales p. Y diremos que p es falsa V F V con la asignaci´on v cuando ocurra que v (p) = 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 . Un ejemplo de asignaci´on en este lenguaje Consideramos el lenguaje proposicional con s´olo las letras proposicional (es decir. determina el valor de verdad en funci´on de otros valores de verdad. hay (exactamente) 4 asignaciones. el escribirlas p q r siguiendo el orden anterior s´olo obedece a razones nemot´ecnicas. Bou (bou@ub.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 35 / 185 F. Es decir. en L) es la asignaci´on v que cumple proposicionales p y q. V V Otra notaci´on para referirnos a v y a v 0 que podr´ıamos utilizar ser´ıa 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 notaci´on. F. q y r . adem´as del Por tanto. Es decir.

Dicho de otra forma. la disyunci´on de dos f´ormulas es I verdadero cuando o bien el antecedente es falso o bien el consecuente es verdadero. Dicho en palabras. I verdadera cuando no ocurre que la f´ormula es verdadera.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 40 / 185 . Bou (bou@ub. I falsa cuando no ocurre que al menos una de las f´ ormulas es verdadera. Bou (bou@ub. F. F. L´ ogica Proposicional L´ ogica Proposicional El Significado de la Negaci´on El Significado de la Conjunci´on Recordemos que la conjunci´on ∧ es una conectiva binaria. consecuente es falso. on ∨ es una conectiva binaria.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 37 / 185 F. la negaci´ on de una f´ormula es F F F I verdadera cuando la f´ormula es falsa. Recordemos que la disyunci´ El significado del condicional es el determinado por la funci´on (o El significado de la disyunci´ on es el determinado por la funci´on (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. Recordemos que la negaci´ El significado de la conjunci´on es el determinado por la funci´on (o El significado de la negaci´on es el determinado por la funci´on (o regla) veritativa siguiente regla) veritativa siguiente α β (α ∧ β) α ¬α V V V V F V F F F V F V F Dicho en palabras. I verdadera cuando al menos una de las f´ormulas es verdadera. Bou (bou@ub. on ¬ es una conectiva unaria.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 38 / 185 L´ ogica Proposicional L´ ogica Proposicional El Significado de la Disyunci´on El Significado del Condicional Recordemos que el condicional → es una conectiva binaria. la disyunci´ on de dos f´ormulas es I verdadero cuando no ocurre que el antecedente es verdadero y el I verdadera cuando no ocurre que ambas f´ormulas son falsas. el condicional de dos f´ormulas es Dicho en palabras. I verdadera cuando ambas f´ormulas son verdaderas. Bou (bou@ub. Dicho de otra forma.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 39 / 185 F. la conjunci´on de dos f´ormulas es I falsa cuando no ocurre que la f´ormula es falsa. I falso cuando no ocurre que o bien el antecedente es falso o bien el consecuente es verdadero. la negaci´ on de una f´ormula es I falsa cuando al menos una de las f´ormulas es falsa. I falsa cuando no ocurre que ambas f´ormulas son verdaderas. I falsa cuando ambas f´ormulas son falsas. la conjunci´on de dos f´ormulas es I falsa cuando la f´ ormula es verdadera. I falso cuando el antecedente es verdadero y el consecuente es falso. I verdadera cuando no ocurre que al menos una de las f´ormulas es falsa. Dicho de otra forma. el condicional de dos f´ormulas es Dicho de otra forma.

a una F´ormula con una Asignaci´on I Valor de verdad asoc. p q A partir de una asignaci´on. Bou (bou@ub.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 42 / 185 L´ ogica Proposicional L´ ogica Proposicional Valor de verdad asoc. si tenemos una f´ ormula (con su correspondiente ´arbol arriba a abajo geneal´ogico) y tenemos una regla para asociar un valor de verdad a pV qF r V cada letra proposicional que aparece en la f´ormula. I falso cuando no ocurre que ambas f´ormulas tienen el mismo valor de verdad.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 44 / 185 . F. consideremos el ´arbol geneal´ogico de ((p ∧ q) → ¬r ). el bicondicional de dos f´ormulas es I verdadero cuando no ocurre que las f´ormulas que lo componen no tienen el mismo valor de verdad. Por ejemplo. si utilizamos las condiciones de verdad de r (p ∧ q) ¬r las conectivas (es decir. El significado del bicondicional es el determinado por la funci´on (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.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 43 / 185 F. ((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 F. Bou (bou@ub. F a q y V a r recorremos el ´arbol de Es decir. las reglas escritas en la diapositiva anterior) entonces podemos asociar un valor de verdad a toda f´ormula (no s´olo ((p ∧ q) → ¬r ) a las at´omicas). I falso cuando las f´ormulas que lo componen no tienen el mismo valor de verdad. Bou (bou@ub. Bou (bou@ub. Dicho de otra forma. L´ ogica Proposicional L´ ogica Proposicional El Significado del Bicondicional Resumen del Significado de las Conectivas Recordemos que el bicondicional ↔ es una conectiva binaria.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 41 / 185 F. Para calcular el valor de verdad asociado a esa f´ormula en la asignaci´on que asigna V a p. el bicondicional de dos f´ormulas es F F F F V V I verdadero cuando ambas f´ormulas tienen el mismo valor de verdad. a una F´ormula con una Asignaci´on II Esencialmente decimos que podemos asociar valores de verdad a las subf´ormulas de una f´ormula siguiendo el orden de aparici´on (de arriba Por definici´on una asignaci´ on nos da una funci´on que asocia un valor a abajo) de estas subf´ormulas en el ´arbol geneal´ ogico. de verdad a cada letra proposicional. entonces a partir (p ∧ q) F ¬r F de las condiciones de verdad de las conectivas podemos determinar cu´al es el valor de verdad asociado con esa f´ormula.

la tabla de verdad de la f´ormula (p ∧ q) → ¬(q → r ) es calcular el valor de verdad asociado a una f´ormula 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.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 46 / 185 L´ ogica Proposicional L´ ogica Proposicional Tabla de Verdad de un F´ormula 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 l´ınea hortizontal nos da informaci´on sobre una asignaci´on diferente.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 45 / 185 F.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 47 / 185 F. Bou (bou@ub. V F V V F F F V F V As´ı pues. para construir las tablas de verdad es m´as aconsejable F V V V V V V V V V proceder columna a columna. V F F V F F F V F V V F F F F F F V F V Por contra. 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. Bou (bou@ub. V F F F V F V Y en cada una de las otras l´ıneas horizontales escribimos los valores F V V F V F V correspondientes a una asignaci´ on. Bou (bou@ub. Bou (bou@ub. Este proceder es m´as 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 F. 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 f´ormula ((p → q) → p) → p es f´ormula misma (que es la u´ltima columna). hay tantas l´ıneas F V F F F V V horizontales de este tipo como asignaciones. L´ ogica Proposicional L´ ogica Proposicional Tabla de Verdad de un F´ormula I Tabla de Verdad de un F´ormula II Llamamos tabla de verdad de una f´ ormula a la tabla que se obtiene al Por ejemplo.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 48 / 185 . 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 f´ormula con cualquier posible asignaci´on (no s´olo con una asignaci´on). F F V F V F. Por tanto. l´ıneas diferentes nos aportan informaci´on sobre asignaciones V F V F F F F F F V diferentes. V V F V F V V En la primera l´ınea horizontal de la tabla escribimos las letras V F V F V F V proposicionales as´ı como todas las subf´ormulas de la f´ormula original.

Sea v una asignaci´on cualquiera. Una f´ormula α es una f´ ormula contingente si y s´olo si se cumple que La f´ormula p ∧ q es contingente. Caso v (p) = V : En tal caso es evidente que v (p ∨ q) = V . Por As´ı pues.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 49 / 185 F. Es decir. Bou (bou@ub. si y s´ olo si se cumple que la u ´ltima columna de la tabla de verdad s´olo toma el valor V . Una f´ormula α es una contradicci´ on si y s´olo si se cumple que La f´ormula p ∨ ¬p es una tautolog´ıa. para toda asignaci´on v . F. se tiene que v (α) = F . v (p → (p ∨ q)) = V . se tiene que v (α) = V . Y en consecuencia Caso v (p) = F : En tal caso es evidente que v (p → α) = V v ((p → q) ↔ (¬q → ¬p)) = V . L´ ogica Proposicional L´ ogica Proposicional Tautolog´ıas y Contradicciones Ejemplos sobre Tautolog´ıas y Contradicciones Una f´ormula α es una tautolog´ıa si y s´ olo si se cumple que para toda asignaci´ on v . v (α → (p ∨ q)) = V indistintamente de qui´en sea la f´ormula α. La f´ormula p ∧ ¬p es una contradicci´on. As´ı pues. Por tanto. Es decir. Es decir. La f´ormula (p ∨ q) → p es contingente. ormula α. el valor de verdad asociado a α con toda asignaci´on es F . Nota: Este razonamiento se resume en la tabla p q p→q ¬q → ¬p (p → q) ↔ (¬q → ¬p) V F F F V p q p∨q p → (p ∨ q) resto casos V V V V V /F V V F V /F − V F. si y s´ olo si se cumple que la u ´ltima columna de la tabla de verdad s´olo toma el valor F . Bou (bou@ub. Por tanto.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 50 / 185 L´ ogica Proposicional L´ ogica Proposicional Justificaciones sin usar toda la Tabla de Verdad I Justificaciones sin usar toda la Tabla de Verdad II La f´ormula p → (p ∨ q) es una tautolog´ıa La f´ormula (p → q) ↔ (¬q → ¬p) es una tautolog´ıa Hemos de comprobar que el valor de esta f´ ormula asociado con cualquier Hemos de comprobar que el valor de esta f´ormula asociado con cualquier asignaci´on v es V . indistintamente de qui´en sea la f´ Nota: Este razonamiento se resume en la tabla v (p → (p ∨ q)) = V . es evidente que v (p → q) = v (¬q → ¬p). La f´ormula p es contingente. La f´ormula (p ∧ q) → p es una tautolog´ıa. La f´ormula ¬p es contingente. olo si se cumple que hay alguna asignaci´on v tal que Es decir. v (¬q → ¬p) es F s´olo en el caso que v (¬q) = V como v (¬p) = F . Ahora podemos asignaci´on v es V . Es decir.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 51 / 185 F. si y s´ v (α) = V y tambi´en hay alguna asignaci´ on v tal que v (α) = F . Sea v una asignaci´on cualquiera. no es ni tautolog´ıa ni contradicci´on. La f´ormula p → p es una tautolog´ıa. La f´ormula p → (p ∨ q) es una tautolog´ıa. el valor de verdad asociado a α con toda asignaci´on es V . tanto. v (¬q → ¬p) es F s´olo en el caso que v (q) = F y v (p) = V . si y s´ olo si se cumple que La f´ormula p ↔ p es una tautolog´ıa. si y s´ olo si se cumple que La f´ormula p ↔ ¬p es una contradicci´on. Bou (bou@ub.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 52 / 185 . Bou (bou@ub. Observamos los dos distinguis los dos casos siguientes ya que al menos uno de ellos debe hechos siguientes: cumplirse: v (p → q) es F s´olo en el caso que v (p) = V y v (q) = F .

Sea v una asignaci´ on cualquiera. F F V V V F V V F F F. que v (p) = F y v (q) = V . p q p→q ¬p → ¬q (p → q) ↔ (¬p → ¬q) La negaci´on de una f´ormula contingente es contingente. Por tanto. o que v (p) = F y v (q) = F . Bou (bou@ub. Y s´olo puede ser una de estas tres v ((p → q) ↔ (¬p → ¬q)) = F si consideramos la asignaci´on v tal cosas. L´ ogica Proposicional L´ ogica Proposicional Justificaciones sin usar toda la Tabla de Verdad III Justificaciones sin usar toda la Tabla de Verdad IV La f´ormula (¬p ∨ ¬q) ↔ (p ∧ q) es una contradicci´on La f´ormula p → (p ∧ q) es contingente Hemos de comprobar que el valor de esta f´ ormula asociado con cualquier asignaci´on v es F .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 53 / 185 F.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 56 / 185 . Comprobemos ambas cosas: v ((p → q) ↔ (¬p → ¬q)) = V si consideramos la asignaci´on v tal Toda f´ormula es o bien una tautolog´ıa. Bou (bou@ub. As´ı pues. La negaci´on de una tautolog´ıa es una contradicci´on. Bou (bou@ub. v (¬p ∨ ¬q) es F s´ olo en el caso que tanto v (¬p) como v (¬q) son F . es evidente que v (¬p ∨ ¬q) 6= v (p ∧ q). Observamos los dos Hemos de comprobar que hay una asignaci´on que le asocia el valor V y hechos siguientes: que tambi´en 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 . Nota: Este razonamiento se resume en la tabla Nota: Este razonamiento se resume en la tabla p q p∧q p → (p ∧ q) p q p∧q ¬p ∨ ¬q (¬p ∨ ¬q) ↔ (p ∧ q) F V /F − V V V V F F V F F F resto casos F V F F. bien una f´ormula contingente. Bou (bou@ub. v (¬p ∨ ¬q) es F s´olo 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 . o bien una contradicci´on. v (p → (p ∧ q)) = V si consideramos una asignaci´on v tal que v (p) = F (da igual quien sea v (q)).edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 54 / 185 L´ ogica Proposicional L´ ogica Proposicional Justificaciones sin usar toda la Tabla de Verdad V Propiedades Fundamentales de las Tautolog´ıas y Contradicciones La f´ormula (p → q) ↔ (¬p → ¬q) es contingente Hemos de comprobar que hay una asignaci´ on que le asocia el valor V y que tambi´en hay una que le asocia el valor F . Y en consecuencia v ((¬p ∨ ¬q) ↔ (p ∧ q)) = F .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 55 / 185 F. Nota: Este razonamiento se resume en la tabla La negaci´on de una contradicci´on es una tautolog´ıa.

Y escribiremos α 6≡ β para indicar que sentido de justificar que algo sucede en unas asignaciones concretas. I no es contingente tiene que ser un argumento de c´aracter universal (en α ≡ β (es decir. La f´ormula (α → β) ∨ (β → α) es una tautolog´ıa α → α (ley de identidad). Bou (bou@ub. que la suposici´on es falsa. la relaci´on de equivalencia l´ogica es reflexiva. En este tipo de argumentaci´on suponemos que la f´ormula no es una α ∨ ¬α (ley del tercio excluso). I no es una contradicci´on tiene que ser un argumento de c´aracter particular (en el sentido de justificar que algo sucede en una asignaci´ on Es decir. f´ormula (α → β) ∨ (β → α). y usando el segundo hecho se tiene que v (β) = V y v (α) = F . (¬α → α) → α (ley de Clavius). que existe una asignaci´on v tal que hace falsa a la ¬α → (α → β) (ley de Duns Scoto). En tal caso se tiene que v (α → β) = F y que ((α → β) → α) → α (ley de Peirce). Bou (bou@ub. [En particular. transitiva.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 57 / 185 F. L´ ogica Proposicional L´ ogica Proposicional Algunas Tautolog´ıas con Nombre Propio Ejemplo de argumentaci´on por Reducci´on al Absurdo A continuaci´on listamos algunas tautolog´ıas especialmente interesantes. es decir. el sentido de justificar que algo sucede para todas las asignaciones). Escribiremos α ≡ β para indicar que dichas dos f´ormulas son I es contingente tiene que ser un argumento de c´aracter particular (en el l´ogicamente equivalentes. Y como es evidente que estas cosas no pueden suceder simult´anemente ((α → β) ∧ ¬β) → ¬α.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 59 / 185 F. usando el primer hecho se tiene que v (α) = V y ((α → β) ∧ α) → β. (en el sentido de justificar que algo sucede para todas las asignaciones). Es evidente que: Conviene enfatizar que una justificaci´ on que una f´ormula I α ≡ α. (en el sentido de justificar que algo sucede en una asignaci´ on concreta). dichas dos f´ormulas no son l´ogicamente equivalentes. p → p. Bou (bou@ub. contradicci´on o contingente? Decimos que dos f´ormulas son l´ogicamente equivalentes si son Conviene enfatizar que una justificaci´ on que una f´ormula verdaderas en exactamente las mismas asignaciones. v (β → α) = F . (no puede ser que a la vez ocurra que v (α) = V y v (α) = F ). F. principio (es decir. v (β) = F . la contradicci´on que busc´abamos y concluimos que la suposici´on hecha al (α → β) ∨ (β → α). dos f´ormulas son l´ogicamente equivalentes si y s´olo si toman el mismo I es una contradicci´on tiene que ser un argumento de c´aracter universal valor en toda asignaci´on. tautolog´ıa y de aqu´ı obtenemos una contradicci´on. I es una tautolog´ıa tiene que ser un argumento de c´aracter universal (en tambi´en son falsas en exactamente las mismas asignaciones.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 60 / 185 . F. que la f´ormula no es una tautolog´ıa) es falsa.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 58 / 185 L´ ogica Proposicional L´ ogica Proposicional ¿C´omo son las justificaciones para clasificar una f´ormula en Equivalencia L´ogica tautolog´ıa. llegamos a ((α → β) ∧ (β → γ)) → (α → γ). sim´etrica y concreta). Vamos a argumentar por reducci´on al absurdo. ¬p → ¬p y (p ∧ q) → (p ∧ q) son ejemplos de tautolog´ıas obtenidas por la ley de identidad]. Bou (bou@ub. Y por tanto. nos da igual lo que pase en las otras asignaciones). concluyendo por tanto ¬(α ∧ ¬α) (principio de no contradicci´ on). As´ı pues. Por tanto. I no es una tautolog´ıa tiene que ser un argumento de c´aracter particular I si α ≡ β entonces β ≡ α. α ↔ β es una tautolog´ıa. I si α ≡ β y β ≡ γ entonces α ≡ γ. α y β son equivalentes) si y s´olo si ocurre que el sentido de justificar que algo sucede para todas las asignaciones). Supongamos. pues. que la f´ormula s´ı es una tautolog´ıa.

gracias a la omisi´on de par´entesis en virtud de lo dicho α ∨ α ≡ α (idempotencia) antes podemos reescribir α ∨ β ≡ β ∨ α (commutatividad) I (p ∧ q) ∧ r como p ∧ q ∧ r . α ∧ (β ∨ γ) ≡ (α ∧ β) ∨ (α ∧ γ) (distributiva de la conjunci´on I r → (¬t ∨ (p ∨ q)) como r → (¬t ∨ p ∨ q). α ∨ (β ∧ γ) ≡ (α ∨ β) ∧ (α ∨ γ) (distributiva de la disyunci´on respecto a la conjunci´ on) F. α ∧ (β ∧ γ) ≡ (α ∧ β) ∧ γ (asociatividad) As´ı pues. V F F F V F Si α ≡ β entonces γ ∧ α ≡ γ ∧ β. Examinado esta tabla es obvio que ambas f´ormulas son equivalentes (porque las correspondientes columnas son iguales).edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 61 / 185 F. a partir de ahora este tipo de par´entesis se pueden omitir si uno quiere. Hemos de comprobar que hay para toda asignaci´on v se cumple que tanto entonces toda f´ormula es equivalente a la que resulta de sustituir (en dicha p ↔ q como (p → q) ∧ (q → p) tienen asociado el mismo valor de verdad. Bou (bou@ub. I p ∧ (q ∧ r ) como p ∧ q ∧ r . Algunas Aplicaciones del Principio de Sustituci´on p q p↔q p→q q→p (p → q) ∧ (q → p) Si α ≡ β entonces ¬α ≡ ¬β. F V F V F F F F V V V V Si α ≡ β entonces α ∨ γ ≡ β ∨ γ. Combinaci´on de conjunciones y disyunciones I (p ∧ q) ∧ (q ∨ r ) como p ∧ q ∧ (q ∨ r ). Bou (bou@ub. V V V V V V Si α ≡ β entonces α ∧ γ ≡ β ∧ γ. (p ∨ q) ∧ (p ∨ q) ≡ (p ∨ q).edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 62 / 185 L´ ogica Proposicional L´ ogica Proposicional Algunas Equivalencias L´ogicas Importantes I Omisi´on de Par´entesis A prop´osito de la conjunci´on α ∧ α ≡ α (idempotencia) [Ej: p ∧ p ≡ p. Si α1 ≡ β1 y α2 ≡ β2 entonces α1 ∧ α2 ≡ β1 ∧ β2 . Si α1 ≡ β1 y α2 ≡ β2 entonces α1 → α2 ≡ β1 → β2 . A prop´osito de la disyunci´on Por ejemplo. I (p ∧ ¬q) ∧ (r ∧ s) como p ∧ ¬q ∧ r ∧ s. f´ormula) la subf´ormula α con β. etc. A continuaci´on razonamos construyendo las tablas de verdad de estas dos f´ ormulas. respecto a la disyunci´ on) I etc. Bou (bou@ub.] Las leyes asociativas de la conjunci´on y de la disyunci´on justifican el hecho de omitir los par´entesis cuya u´nica finalidad es agrupar o bien α ∧ β ≡ β ∧ α (commutatividad) una sucesi´on de conjunciones o bien una sucesi´on de disyunciones.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 64 / 185 . F. si α ≡ β).edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 63 / 185 F. Si α ≡ β entonces α → γ ≡ β → γ. Bou (bou@ub. α ∨ (β ∨ γ) ≡ (α ∨ β) ∨ γ (asociatividad) I p ∨ (q ∨ r ) como p ∨ q ∨ r . I (p → ¬t) ∧ (q ∧ (r ∨ p)) como (p → ¬t) ∧ q ∧ (r ∨ p). L´ ogica Proposicional L´ ogica Proposicional Ejemplo de Equivalencia L´ogica Principio de Sustituci´on de F´ormulas Equivalentes Principio de Sustituci´on de F´ormulas Equivalentes La f´ormulas p ↔ q y (p → q) ∧ (q → p) son equivalentes Si α y β son dos f´ormulas l´ogicamente equivalentes (es decir.

Bou (bou@ub. ∧ y ∨. L´ ogica Proposicional L´ ogica Proposicional Algunas Equivalencias L´ogicas Importantes II Es suficiente que la negaci´on s´olo afecte a letras proposicionales Como consecuencia de la diapositiva anterior se obtiene lo siguiente. Bou (bou@ub. u Toda f´ormula es equivalente a una con las mismas letras y cuyas Usando ¬ y ∨ para obtener el resto de conectivas binarias ´nicas conectivas son la negaci´on ¬ y la disyunci´ u on ∨. A prop´osito de la negaci´on Proposici´on ¬¬α ≡ α (ley de la doble negaci´ on) Toda f´ormula es equivalente a una f´ormula en que la negaci´on ¬ s´olo afecta a letras proposicionales (es decir. Bou (bou@ub.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 67 / 185 F. F.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 65 / 185 F. ¬(α ∨ β) ≡ ¬α ∧ ¬β (ley de De Morgan) ¬(α → β) ≡ α ∧ ¬β Ejemplos ¬(α ↔ β) ≡ (α ∧ ¬β) ∨ (¬α ∧ β) [Esta u ´ltima equivalencia se puede ¬(¬p ∨ ¬q) ≡ ¬¬p ∧ ¬¬q ≡ p ∧ q deducir f´acilmente utilizando el principio de sustituci´on 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 F. Bou (bou@ub. Hemos obtado por utilizar cinco conectivas simplemente α ∧ β ≡ ¬(α → ¬β) porque desde el punto de vista de la comprensi´on del lenguaje formal y de α ∨ β ≡ ¬α → β su aplicaci´on al an´alisis de argumentos es preferible tener a nuestra α ↔ β ≡ ¬((α → β) → ¬(β → α)) disposici´on las cinco conectivas consideradas. α ∨ β ≡ ¬(¬α ∧ ¬β) Proposici´on α → β ≡ ¬(α ∧ ¬β) Toda f´ormula es equivalente a una con las mismas letras y cuyas α ↔ β ≡ ¬(¬(α ∧ ¬β) ∧ ¬(¬α ∧ β)) ´nicas conectivas son la negaci´on ¬ y la conjunci´on ∧. no afecta a f´ ormulas compuestas) ¬(α ∧ β) ≡ ¬α ∨ ¬β (ley de De Morgan) y que como mucho utiliza las conectivas ¬. α ∧ β ≡ ¬(¬α ∨ ¬β) Toda f´ormula es equivalente a una con las mismas letras y cuyas α → β ≡ ¬α ∨ β ´nicas conectivas son la negaci´on ¬ y el condicional →. observamos que a pesar de como hemos introducido el lenguaje Usando ¬ y → para obtener el resto de conectivas binarias de la l´ogica proposicional de hecho es suficiente utilizar s´olo dos conectivas. u α ↔ β ≡ ¬(¬(¬α ∨ β) ∨ ¬(α ∨ ¬β)) As´ı pues.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 66 / 185 L´ ogica Proposicional L´ ogica Proposicional Algunas Equivalencias L´ogicas 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.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 68 / 185 .

. . entender el concepto de satisfacibilidad en el fondo es p → (q ∨ r ) ≡ ¬p ∨ q ∨ r (igual de dif´ıcil y f´acil) que entender el concepto de contradicci´on. (p → q) ∨ (p → r ) ≡ ¬p ∨ q ∨ ¬p ∨ r ≡ ¬p ∨ q ∨ r F. Bou (bou@ub. . En tal (p → r ) ∧ (q → r ) ≡ (¬p ∨ r ) ∧ (¬q ∨ r ) ≡ (¬p ∧ ¬q) ∨ r caso tambi´en diremos que v satisface Γ. . . . Comprobar que p → (q ∨ r ) ≡ (p → q) ∨ (p → r ) Por tanto. (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 insatisfacible sii {α1 ∧ . . . . . Entre las f´ormulas con esa propiedad se encuentran tautolog´ıa. αn } es satisfacible sii α1 ∧ .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 70 / 185 L´ ogica Proposicional L´ ogica Proposicional Ejemplos de Cadenas de Equivalencias L´ogicas III Satisfacibilidad I Comprobar que (p ∨ q) → r ≡ (p → r ) ∧ (q → r ) Decimos que un conjunto Γ de f´ormulas es satisfacible si existe una (p ∨ q) → r ≡ ¬(p ∨ q) ∨ r ≡ (¬p ∧ ¬q) ∨ r asignaci´on v que hace verdadera a todas las f´ormulas de Γ. . I {α1 . . si no existe una asignaci´on que hace verdadera a (p ∧ q) → r ≡ ¬(p ∧ q) ∨ r ≡ ¬p ∨ ¬q ∨ r todas las f´ormulas de Γ). p → (q ∧ r ) ≡ ¬p ∨ (q ∧ r ) Y tambi´en es obvio que (p → q) ∧ (p → r ) ≡ (¬p ∨ q) ∧ (¬p ∨ r ) ≡ ¬p ∨ (q ∧ r ) I {α1 . . . Bou (bou@ub. ∧ αn es una contradicci´on. I {α1 . . ∧ αn } es satisfacible. αn } es satisfacible sii {α1 ∧ . . .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 72 / 185 . . F. . .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 71 / 185 F. por ejemplo. p ∨ ¬p] las f´ormulas siguientes: p ∧ q. Bou (bou@ub. ∧ αn } es insatisfacible.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 69 / 185 F. . p ∨ q y p → q. αn } es insatisfacible sii α1 ∧ . Comprobar que (p ∧ q) → r ≡ (p → r ) ∨ (q → r ) Y decimos que un conjunto Γ de f´ormulas es insatisfacible si no es satisfacible (es decir. Bou (bou@ub. . ∧ αn no es una contradicci´on. . L´ ogica Proposicional L´ ogica Proposicional Ejemplos de Cadenas de Equivalencias L´ogicas I Ejemplos de Cadenas de Equivalencias L´ogicas II Ejemplo (encontrar f´ormulas equivalentes que s´olo usen ¬ y ∧) Ejemplo (encontrar f´ormulas equivalentes que s´olo 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 f´ormulas equivalentes que s´olo 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 ) Observaci´on Avanzada ¬(p ∧ q) → ¬(q ∧ p) ≡ (p ∧ q) ∨ ¬(q ∧ p) ≡ (p ∧ q) ∨ ¬q ∨ ¬p ≡ Hay f´ormulas que no son equivalentes a ninguna f´ormula que s´olo utilice ¬(¬p ∨ ¬q) ∨ ¬q ∨ ¬p [De hecho es equivalente a cualquier las conectivas ¬ y ↔.

Γ. F. v (p → ¬r ) = V ). Usando v (q → (p → ¬r )) = V y v (q) = V resulta que Notaci´on: escribiremos Γ |= α para indicar que α es consecuencia de v (p → ¬r ) = V . As´ı pues. se cumple que verdaderas a todas las f´ satisfacen Γ. la existencia de una asignaci´on que hace asignaci´ on que hace verdaderas todas las f´ ormulas de Γ. verdaderas a todas las f´ormulas del conjunto. y escribiremos Γ 6|= α para indicar que no lo es. Para concluir que es satisfacible falta mostrar una asignaci´on que Y tambi´en es obvio que haga todas las f´ ormulas del conjunto verdaderas. Bou (bou@ub. v (p ∨ ¬r ) = V y v (r ∧ q) = V . conjunto. Es decir. Y tambi´en diremos que Γ implica (l´ogicamente) α. Para poder concluir que Γ es satisfacible s´olo falta verificar que realmente hay una v (p) = V . y podemos concluir que dicho conjunto de f´ormulas es insatisfacible. 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 f´ormulas contradicci´on (parece perfectamente posible que v (p ∨ ¬r ) = V y del conjunto Γ tambi´en hacen verdadera a la f´ormula α. entonces podemos concluir (sin ninguna duda) que el conjunto Γ es insatisfacible. Por la condiciones v (p → ¬q) = V y v (q) = V sabemos que I Si somos capaces de derivar una contradicci´ on. r ∧ q}? Por lo anterior podemos utilizar las tablas de verdad para averiguar si un conjunto de f´ ormulas es satisfacible o insatisfacible. q ∧ (p ∨ ¬r )}? Decimos que una f´ormula α es consecuencia (l´ogica) de un conjunto Comenzamos suponiendo que existe una asignaci´on v tal que hace de f´ormulas Γ si α es verdadera en todas las asignaciones que ormulas del conjunto. verdadera las tres f´ormulas es contradictoria.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 73 / 185 F. premisas (o hip´otesis) Γ y la conclusi´on α es (l´ogicamente) correcto.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 76 / 185 . pero el hecho de que no seamos nosotros capaces I Γ 6|= α sii hay una asignaci´on que hace verdadera a todas las f´ormulas de encontrar una contradicci´on no significa que no la haya. I Γ |= α sii no ocurre que hay una asignaci´on que hace verdadera a todas las f´ormulas del conjunto Γ y hace falsa a la f´ormula α. I Si no somos capaces de derivar una contradicci´ on. Usando v (q ∧ (p ∨ ¬r )) = V resulta que v (q) = V y v (p ∨ ¬r ) = V . p ∨ ¬r . v (p) = F . insatisfacible en general es m´as eficiente comenzar suponiendo que Por la condici´on v (r ∧ q) = V sabemos tanto que v (r ) = V como existe una asignaci´on que hace verdaderas todas las f´ormulas del que v (q) = V . Es decir. pero en Comenzamos suponiendo que existe una asignaci´on v tal que hace general este es un m´etodo muy poco eficiente. L´ ogica Proposicional L´ ogica Proposicional Satisfacibilidad II Ejemplos sobre Satisfacibilidad I ¿Es satisfacible el conjunto {p → ¬q. 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 f´ormulas del conjunto Γ tambi´en hacen verdadera a la f´ormula α. se cumple que Para averiguar si un conjunto Γ de f´ ormulas es satisfacible o v (p → ¬q) = V . Bou (bou@ub.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 74 / 185 L´ ogica Proposicional L´ ogica Proposicional Ejemplos sobre Satisfacibilidad II Consecuencia L´ogica I ¿Es satisfacible el conjunto {q → (p → ¬r ). En tal caso. por ejemplo. F. entonces es bastante Por la condiciones v (p ∨ ¬r ) = V y v (r ) = V sabemos que v (p) = V . tambi´en diremos que el argumento formado por las v (q → (p → ¬r )) = V y v (q ∧ (p ∨ ¬r )) = V .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 75 / 185 F. del conjunto Γ y hace falsa a la f´ormula α. 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 f´ormulas del conjunto Γ. Bou (bou@ub. e intentar ver que esto es contradictorio. Bou (bou@ub.

. . [∅ es el conjunto vac´ıo que por definici´ on no contiene ninguna f´ormula] I 6|= α para indicar que ∅ 6|= α. . . γn } y conclusi´on α es m´as habitual utilizar la notaci´on vertical γ1 Para decidir si un argumento es correcto o no (es decir.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 79 / 185 F.e. . γn 6|= α para indicar que {γ1 . F V F − − rrecto. Bou (bou@ub. . . si Γ |= α o . el argumento s´ı es correcto). el argumento es correcto (porque no hay ninguna asignaci´on que F F F − − las premisas y falsa la conclu- hace verdadera a todas las premisas y falsa a la conclusi´on). Γ 6|= α) primero construimos la tabla de verdad de todas las f´ormulas . . . . Bou (bou@ub. En este caso se tiene que Γ |= α (i. Bou (bou@ub. al argumento en cuesti´ on. .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 80 / 185 . Si cambiamos de orden las Es importante destacar que la correcci´on o no de un argumento premisas seguimos teniendo el mismo argumento.e. F. γn } |= α. γn } 6|= α. argumento. . En este caso se tiene que Γ 6|= α (i.. y a continuaci´on comprobamos en la tabla de γn verdad si α I hay una asignaci´ on que hace verdad todas las f´ormulas de Γ y falsa a Conviene enfatizar que con esta notaci´ on simplemente nos referimos α. 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 naci´on hace verdaderas todas F V V V F As´ı pues. . γn |= α para indicar que {γ1 . que el argumento sea (l´ ogicamente) correcto (a diferencia de lo que ocurre con las notaciones Γ |= α y Γ 6|= α). p q r p↔q r ↔ (p ∧ q) p↔r 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 p→q p As´ı pues. de Γ as´ı como de α. ..edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 78 / 185 L´ ogica Proposicional L´ ogica Proposicional Ejemplos usando la Tabla de Verdad I Ejemplos usando la Tabla de Verdad II p↔q p Ejemplo: ¿El argumento r ↔ (p ∧ q) es correcto o no? Ejemplo: ¿El argumento p → q es correcto o no? p↔r q p q p p→q q Comenzamos construyendo la tabla de verdad (recordemos que la V V V V V correcci´on o no de un argumento s´ olo depende de las asignaciones que V F V F − As´ı pues. que estas asignaciones tambi´en hacen verdadera la conclusi´on del I γ1 . I |= α para indicar que ∅ |= α. F. . . si´on). en ning´ un momento se afirma ni se niega I no hay una asignaci´on que hace verdad todas las f´ormulas de Γ y falsa a α. el argumento es co- hacen verdaderas todas las premisas). hemos de asegurarnos I γ1 . .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 77 / 185 F. Bou (bou@ub. . L´ ogica Proposicional L´ ogica Proposicional Consecuencia L´ogica II Consecuencia L´ogica usando la Tabla de Verdad Al referirnos a un argumento con premisas Γ = {γ1 . depende s´olo de qu´e ocurre en aquellas asignaciones que hacen Notaci´on: escribiremos verdaderas todas las premisas del argumento. . el argumento no es correcto). ..

y sean α y β dos f´ormulas. γn |= α sii γ1 ∧ . γn . . v (q) = V . . (todas aquellas que hacen verdaderas las premisas). F. Bou (bou@ub. . L´ ogica Proposicional L´ ogica Proposicional Consecuencia L´ogica usando Demostraciones (In-)Directas Ejemplos usando Demostraciones (In-)Directas I Justificar que un argumento no es correcto (es decir. γn f´ormulas. . . 2 γ |= α sii γ → α es una tautolog´ıa. . on. que Γ |= α) es en general no tan r´apido porque hemos de verificar muchas asignaciones A continuaci´on damos una demostraci´on directa de este hecho. tal que pero en general es bastante poco eficiente. que Γ |= α) es m´as habitual seguir una de las dos Por la condici´on v (¬q) = V deducimos que v (q) = F .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 83 / 185 F. hemos visto que Γ |= α se supone que v es una asignaci´on cualquiera que satisface Γ y el argumento es correcto. hace falsa a α y se demuestra que esto es contradictorio. . hemos demostrado que ninguna asignaci´on hace verdadera las 5 γ1 . I En una demostraci´on directa de que Γ |= α se supone que v es una Por tanto se cumple que v (¬p) = V . γn |= α sii (γ1 ∧ . β |= α (monoton´ıa).edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 82 / 185 L´ ogica Proposicional L´ ogica Proposicional Ejemplos usando Demostraciones (In-)Directas II Propiedades de la Consecuencia L´ogica I p↔q Proposici´on Justificar que el argumento r ↔ (p ∧ q) es correcto Sea Γ un conjunto de f´ormulas. v (q) = V y v (r ) = F es contradictorio con 3 γ1 . ¬p Justificar que un argumento s´ı es correcto (es decir. El hecho que v (p) = V . Para justificar sin recurrir a las tablas de verdad que un argumento es correcto (es decir.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 81 / 185 F. on cualquiera que satisface Γ y se demuestra que v tambi´en asignaci´ hace verdadera a α. Bou (bou@ub. . Por tanto. hemos demostrado que toda asignaci´on que hace verdadera las I En una demostraci´on indirecta (o. Sean α. Comenzamos suponiendo que existe una asignaci´on v que hace 3 si Γ |= α y α |= β entonces Γ |= β (transitividad). ∧ γn ) → α es una tautolog´ıa. p→r 1 α |= α (reflexividad). γn |= γ → α. es decir. . estrategias siguientes. γ |= α sii γ1 . γ1 . premisas y falsa la conclusi´ 6 γ |= α y α |= γ sii α ≡ γ. v (¬q) = V y v (p → q) = V . . Por tanto. que Γ 6|= α) es ¬q en general r´apido porque es suficiente con mostrar una asignaci´on que Justificar que el argumento p → q es correcto hace verdaderas las premisas y falsa la conclusi´on. . . Proposici´on Por la condici´on v (p → r ) = F deducimos que v (p) = V y v (r ) = F . verdaderas las dos premisas. . el hecho que v (r ↔ (p ∧ q)) = V . El m´etodo de las Comenzamos suponiendo que existe una asignaci´on v que hace tablas de verdad nos permite justificar que un argumento es correcto.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 84 / 185 . Es decir. 2 si Γ |= α entonces Γ. . . ∧ γn |= α. es decir. . ∅ |= α) sii α es una tautolog´ıa. . Bou (bou@ub. Por la condiciones v (p) = V y v (p ↔ q) = V sabemos que 1 |= α (es decir. Por la condiciones v (q) = F y v (p → q) = V sabemos que v (p) = F . 4 γ1 . verdaderas las dos premisas y falsa la conclusi´on. . . . v (r ↔ (p ∧ q)) = V y v (p → r ) = F . . el argumento es correcto. A continuaci´on damos una demostraci´ on indirecta de este hecho. F. Bou (bou@ub. tal que v (p ↔ q) = V . . γ. Es decir. por reducci´ on al absurdo) de que premisas tambi´en hace verdadera la conclusi´on. . .

. Bou (bou@ub. . γn f´ ormulas. Ejemplos de tabla de verdad para las letras proposicionales p. . γ1 . . v (q) = F y v (r ) = F ). . . ¬r Sea P un conjunto no vac´ıo de letras proposicionales. γn |= α sii {γ1 . . 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 . γn . γn . . ¬α} es insatisfacible. f´ormula. Bou (bou@ub. . . Una tabla de 2 ¿ (p ∧ q) ↔ r ? Correcto (sale f´acil con una demostraci´on directa). F. γn . . v (q) = F y v (r ) = V ).edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 85 / 185 F. ¬γ |= α 4 ¿ p ∧ q ? Correcto (sale f´acil con una demostraci´on directa). . . 3 ¿ r → (p ∨ s) ? Correcto (sale f´acil con demostraci´on indirecta). q Proposici´on p → ¬q Si ocurre tanto que γ1 . . . 1 ¿ p → ¬q ? Correcto (sale f´acil con una demostraci´on indirecta). Bou (bou@ub. ¬α} es satisfacible. . entonces 3 ¿ p ∨ q ? Correcto (sale f´acil con una demostraci´on indirecta). . . . pero es claro que podemos generalizar dicha noci´on hasta ¬p ∧ ¬q ahora considerada. ¬p p→q Proposici´on 2 ¿ ¬p → q ? Correcto (sale f´acil con una demostraci´on indirecta). . F V F F V F F V V q → ¬r ¬r F F F F F F F F V F.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 86 / 185 L´ ogica Proposicional L´ ogica Proposicional Ejemplos de Consecuencia L´ogica II Generalizando la noci´on de Tabla de Verdad I Determinar la correci´on o no de los siguientes argumentos Hasta ahora la noci´on de tabla de verdad considerada siempre ha estado ligada a f´ormulas. . . . γn |= α. verdad para P es una tabla que hace corresponder un valor de verdad ¬p ∨ ¬q a cada una (sin excepci´on) de las posibles asignaciones de valores de verdad de las letras proposicionales de P. . . Bou (bou@ub. 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 . γn . p→q Si α es una tautolog´ıa. Si α es una contradicci´ on. γ |= α para cualquier f´ormula γ. p→q γ1 . γn 6|= α sii {γ1 . . γ1 . .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 88 / 185 . . . Esta noci´on claramente (p ∨ q) → r generaliza la noci´on de tabla de verdad asociada a una f´ormula. L´ ogica Proposicional L´ ogica Proposicional Propiedades de la Consecuencia L´ogica II Ejemplos de Consecuencia L´ogica I Proposici´on (Reducci´on a Satisfacibilidad) Determinar la correci´on o no de los siguientes argumentos Sean α. . .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 87 / 185 F. entonces r γ1 . γ |= α como que γ1 . entonces q α |= γ para cualquier f´ormula γ. .

Ejemplos que no son tablas de verdad para las letras p. . α1 ∨ . v (q) = F y v (r ) = V est´a caracterizada por la F F V V F F V F F F V F f´ormula p ∧ ¬q ∧ r (porque esa asignaci´on es la u´nica que hace F F F V F F F F F F F F verdadera esa f´ormula). pero V V F V V V F V V V F V antes de entrar en materia comentamos una observaci´on que de V F V V V F V F V F V V hecho ser´a crucial para respoder positivamente a la pregunta anterior.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 90 / 185 L´ ogica Proposicional L´ ogica Proposicional De Tablas de Verdad a F´ormulas II Forma Normal Disyuntiva Sea P un conjunto no vac´ıo de letras proposicionales. .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 89 / 185 F. Bou (bou@ub. . p q Una conjunci´on de literales (con respecto a las letras de P) es una V V F f´ormula de la forma 1 V F V es la tabla asociada a p ∧ ¬q. ∨ αn F V V con n ≥ 1 y cada αi (con 1 ≤ i ≤ n) es una conjunci´on de literales en F F V los que aparecen todas las letras de P una y s´olo una vez. α1 ∨ . q.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 92 / 185 . Ejemplo: Encontrar f´ormulas que tengan asociadas las siguientes Un literal (con respecto a las letras de P) es una letra proposicional tablas de verdad. v (q) = V y v (r ) = V est´a caracterizada por la f´ormula ¬p ∧ q ∧ r (porque esa asignaci´on es la u´nica que hace p q p q p q verdadera esa f´ormula). ∨ αn F V V con n ≥ 1 y cada αi (con 1 ≤ i ≤ n) es una conjunci´on de literales. de P o la negaci´on de una letra proposicional de P. F. β1 ∧ . Bou (bou@ub. Por ejemplo. F F F Una f´ormula est´a 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). . V F F V V F F F V F F F Es fundamental observar que toda asignaci´on se puede caracterizar for F V V V F V V V F V V V una f´ormula. p q Una f´ ormula est´a 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). V V F F. . v (q) = V y v (r ) = V est´a caracterizada por la V V V V F F V V F ormula p ∧ q ∧ r (porque esa asignaci´on es la u f´ ´nica asignaci´on que V F V F V F F V V hace verdadera esa f´ormula). q I v tal que v (p) = F . 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 f´ormula?. F V F F F F F F V I etc. . V V V I v tal que v (p) = V . L´ ogica Proposicional L´ ogica Proposicional Generalizando la noci´on de Tabla de Verdad II De Tablas de Verdad a F´ormulas I Ejemplos de tabla de verdad para las letras proposicionales p. V V V V V V V F V V V F Justificaremos que la respuesta a la pregunta anterior es S´I. ∧ βm F V F F F F con m ≥ 1 y cada βi (con 1 ≤ i ≤ m) es un literal. la asignaci´on F V F V F V F F F V F F I v tal que v (p) = V .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 91 / 185 F. Bou (bou@ub. Bou (bou@ub.

r .. ¬q. ¬r . p ∧ ¬q ∧ r . ¬q. . Ejemplo con las letras proposicionales p.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 96 / 185 . f´ ormula? Seguidamente comprobamos que S´ı. F V F coincide con la tabla de verdad asociada a una contradicci´on (da igual F F F la contradicci´on que consideremos). p ∧ q ∧ r . con m ≥ 1 y cada βi (con 1 ≤ i ≤ m) es un literal. r Un literal (con respecto a las letras de P) es una letra proposicional Literales: hay exactamente 6 literales. ∧ αn (p ∨ q ∨ r ) ∧ (p ∨ ¬q ∨ r ). . V F V V (p ∧ q ∧ ¬r ) ∨ La tabla de verdad asociada con una f´ormula 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. q. . Bou (bou@ub. ¬r . . Sea P un conjunto no vac´ıo de letras proposicionales. con n ≥ 1 y cada αi (con 1 ≤ i ≤ n) es una disyunci´on de literales. que son p.p ∨ q. r . ¬p. (p ∨ ¬q ∨ r ) ∧ (¬p ∨ q ∨ r ) ∧ (p ∨ q ∨ r ).p ∧ q. p ∧ ¬q. . Conjunci´on de literales: algunos ejemplos son p. ¬r .p ∨ (p ∧ ¬q). F. . ¬p. 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 f´ormula V V F V en FND completa.(p ∧ q) ∨ (p ∧ ¬q ∧ r ). p ∨ ¬q. F F V F F F F F F. . r . p ∧ ¬q. . .p ∧ (p ∨ ¬q).¬p. α1 ∧ . . p q Proposici´on 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 contradicci´on). p ∨ q ∨ r . ¬r . (p ∧ ¬q ∧ r ) ∨ (¬p ∧ q ∧ r ). Una disyunci´on de literales (con respecto a las letras de P) es una p ∧ q. ∧ αn FND completa: algunos ejemplos son p ∧ ¬q ∧ r . Bou (bou@ub. Bou (bou@ub. ¬p. ∨ βm Disyunci´on de literales: algunos ejemplos son p. q. p ∨ ¬q ∨ r . .p ∨ q.(p ∧ q ∧ r ) ∨ (p ∧ ¬q ∧ r ) ∨ (¬p ∧ q ∧ r ). con n ≥ 1 y cada αi (con 1 ≤ i ≤ n) es una disyunci´on de literales en (p ∨ ¬q ∨ r ) ∧ (¬p ∨ q ∨ r ). r . . . (p ∧ ¬q ∧ r ) ∨ (¬p ∧ q ∧ r ) ∨ (p ∧ q ∧ r ).edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 93 / 185 F./Disyun. p ∧ ¬q ∧ r . q. de P o la negaci´ on de una letra proposicional de P.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 94 / 185 L´ ogica Proposicional L´ ogica Proposicional De Tablas de Verdad a F´ormulas III De Tablas de Verdad a F´ormulas IV Ejemplo: Encontrar f´ormulas que tengan asociadas las siguientes ¿Toda tabla de verdad coincide con la tabla de verdad dada por alguna tablas de verdad.(p ∨ q ∨ r ) ∧ (p ∨ ¬q ∨ r ) ∧ (¬p ∨ q ∨ r ).. p ∨ ¬q.p ∧ q. a las letras de P) si es de la forma p ∨ q ∨ r . ¬q. r . FND: algunos ejemplos son p. q. FNC completa: algunos ejemplos son p ∨ ¬q ∨ r . . Una f´ormula est´a en forma normal conjuntiva completa (con respecto FNC: algunos ejemplos son p. ¬q. ¬q. f´ormula de la forma β1 ∨ . ¬p.. Una f´ormula est´a en forma normal conjuntiva FNC (con respecto a p ∧ q ∧ r . nunca F V V V (¬p ∧ q ∧ r ) F V F F es la tabla de verdad de una contradicci´ on). q. p ∨ q. . . . los que aparecen todas las letras de P una y s´olo una vez. q.. p ∨ ¬q ∨ r .(p ∨ q) ∧ (p ∨ ¬q ∨ r ). . L´ ogica Proposicional L´ ogica Proposicional Forma Normal Conjuntiva Reconocimiento de Formas Normales Conjun. las letras de P) si es de la forma (p ∧ q ∧ r ) ∨ (p ∧ ¬q ∧ r ). .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 95 / 185 F. ¬r . α1 ∧ . . Bou (bou@ub.

edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 97 / 185 F. 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. seguidamente damos f´ormulas para cada una ellas (tal vez no est´an ni en FND ni en FNC). nunca F F V F es la tabla de verdad de una tautolog´ıa). 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 tautolog´ıa (da igual la p q r tautolog´ıa que consideremos). L´ ogica Proposicional L´ ogica Proposicional De Tablas de Verdad a F´ormulas V De Tablas de Verdad a F´ormulas VI ¿Toda tabla de verdad coincide con la tabla de verdad dada por alguna Ejemplo: Encontrar f´ormulas que tengan asociadas las siguientes ormula? Antes vimos que s´ı utilizando FND completas y ahora vamos a f´ tablas de verdad. V V V Proposici´on 1 V F V es la tabla asociada a p ∨ ¬p (o a otra tautolog´ıa). Toda f´ormula α es equivalente a una f´ ormula en FNC contruida con 1 p ∨ ¬p 5 p→q 9 ¬p ∨ ¬q 13 ¬p las mismas letras proposicionales que α. 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 f´ormula en FNC. Bou (bou@ub. Bou (bou@ub. hacerlo con FNC completas (la idea es considerar la negaci´on de la tabla p q de verdad inicial). FND y FNC.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 98 / 185 L´ ogica Proposicional L´ ogica Proposicional De Tablas de Verdad a F´ormulas VII Todas las Tablas de Verdad con dos Letras Proposicionales Proposici´on 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 f´ormula en FND.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 100 / 185 . F. Bou (bou@ub. 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 f´ormula V F V V (¬p ∨ q ∨ r ) ∧ en FNC completa. Bou (bou@ub. 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 f´ormula α es equivalente a una f´ ormula en FND contruida con Ya sabemos que todas estas tablas est´an asociadas a f´ormulas en las mismas letras proposicionales que α. F F F F F. 2 p∨q 6 q 10 ¬(p ↔ q) 14 ¬p ∧ q Toda f´ormula α que no sea una contradicci´on es equivalente a una f´ormula en FND completa contruida con las mismas letras que α. 3 q→p 7 p↔q 11 ¬q 15 ¬p ∧ ¬q Toda f´ormula α que no sea una tautolog´ıa es equivalente a una 4 p 8 p∧q 12 p ∧ ¬q 16 p ∧ ¬p f´ormula en FNC completa contruida con las mismas letras que α.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 99 / 185 F.

S´ı que podr´ıamos hablar del significado en una aprueba la asignatura: (¬p ∧ p) → p. respectivamente.e. Si Luis aprueba la asignatura y ahora llueve. Por ejemplo. nombres de barra de Sheffer | y flecha de Sheffer ↓. entonces ¬α ≡ (α ↓ α) y α ∧ β ≡ ((α ↓ α) ↓ (β ↓ β)). mismas que las de un enunciado Eα que es una interpretaci´on de α. entonces Luis Por tanto. ejemplo. entonces obtener todo el resto de conectivas (es decir. formalizado con la misma f´ormula. F. Luis aprueba la asignatura. F. entonces ahora llueve: Observamos que los dos primeros ejemplos anteriores los hemos (p ∧ q) → q. de verdad) E el proceso para simbolizarlo consiste en dar una f´ormula α 2 Es primavera y los p´ajaros cantan: p ∧ q. Si Luis aprueba la asignatura y Luis no aprueba la signatura... podemos obtener todo el resto de conectivas (es decir.. L´ ogica Proposicional L´ ogica Proposicional Nota Avanzada: Las conectivas de Sheffer Interpretaciones (en el Lenguaje Natural) de una F´ormula Sheffer consider´ o conectivas primitivas para las tablas de verdad Definici´on anteriores n´ umeros 9 y 15. entonces Luis diferentes. 6 Se hizo famoso y escribi´o una novela: q ∧ p. una oraci´ on a la que le podemos asignar un valor 1 Juan camina y Antonio canta: p ∧ q. todas las otras tablas de verdad). Bou (bou@ub. con ella s´ola podemos Si Luis aprueba la asignatura y Luis no aprueba la signatura. tal que 3 Es primavera o los p´ajaros cantan: p ∨ q. verdad). no se puede hablar del significado de una f´ormula (por no aprueba la asignatura: (p ∧ ¬p) → ¬p. Ejemplo: ¿C´omo simbolizar los enunciados siguientes? Si Luis aprueba la asignatura y ahora llueve. Por ejemplo. Bou (bou@ub. Bou (bou@ub. Las condiciones de verdad del enunciado E son (en el caso ideal) las 4 El aire es claro y di´afano: p ∧ q. Y lo mismo ocurre con la flecha de Sheffer. puesto que una f´ormula admite interpretaciones Si Luis no aprueba la asignatura y Luis aprueba la signatura.e. interpretaci´on concreta de una f´ormula.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 101 / 185 F. 7 . F V V F F F V V la sustituci´on de los s´ımbolos de conectiva que aparecen en α por la La barra de Sheffer tiene la propiedad interesante de que con ella s´ola correspondiente conectiva del lenguaje natural. con los Sea α una f´ormula. 5 o una novela y se hizo famoso: p ∧ q. Una interpretaci´on de α es cualquier enunciado (i. una oraci´on a la que le podemos asignar un valor de verdad) Eα del α β (α|β) (α ↓ β) lenguaje natural obtenido mediante V V F F la sustituci´on de las letras proposicionales de α por ciertos enunciados V F V F del lenguaje natural. p ∧ q). todas las otras tablas de Luis no aprueba la asignatura. conocidas. Si Luis no aprueba la asignatura y Luis aprueba la signatura..edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 102 / 185 L´ ogica Proposicional L´ ogica Proposicional Simbolizaci´on Simbolizaci´on II Proceso de Simbolizaci´on Ejemplo: ¿C´omo simbolizar los enunciados siguientes? Dado un enunciado (i.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 103 / 185 F. Bou (bou@ub. entonces ahora llueve.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 104 / 185 . Escribi´ La estructura de α refleja lo m´as fielmente posible la estructura sint´actica de E . Ejemplos de interpretaciones de (p ∧ q) → q ¬α ≡ (α|α) y α ∧ β ≡ ((α|β)|(α|β)).

edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 107 / 185 F. I Creo que el Bar¸ca ganar´a la liga este a˜ no.. no se pueden simbolizar. I Pinocho era incapaz de mentir: ¬p. a partir de expresiones veritativo-funcionales del lenguaje natural). I Pinocho no era capaz de mentir: ¬p. I No es verdad que Machado escribi´o La Pla¸ca del Diamant: ¬p. F. L´ ogica Proposicional L´ ogica Proposicional Simbolizaci´on III Simbolizaci´on IV Ventajas de la Simbolizaci´on La estructura gramatical de un enunciado ayuda a simbolizarlo. Cualquier enunciado del lenguaje natural formado con expresiones veritativo-funcionales se pueden simbolizar satisfactoriamente en l´ogica proposicional (como consecuencia del hecho que toda tabla de verdad es la tabla de verdad asociada a alguna f´ormula). En ocasiones hay matices en un enunciado E que no se captan con el As´ı pues.) para simbolizar. enunciados como I Machado no escribi´o La Pla¸ca del Diamant: ¬p.. pero La ventaja del enunciado Eα comparadado con el enunciado E es la no siempre lo hace. no hay reglas (recetas. natural es el dado en los ejemplos 5o y 6o de la trasparencia anterior. Tampoco hay reglas del tipo “tal part´ıcula del lenguaje natural se simboliza siempre del mismo modo”.e.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 105 / 185 F. Bou (bou@ub. Bou (bou@ub. F. Bou (bou@ub. Como contraejemplo podemos considerar precisi´on.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 106 / 185 L´ ogica Proposicional L´ ogica Proposicional Simbolizaci´on V Expr. condiciones de verdad de E y de Eα son las mismas.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 108 / 185 . I . donde utilizamos en un caso “y” y en el otro caso “o” para expresar Desventajas de la Simbolizaci´on lo mismo. I No ocurre que Machado escribiera La Pla¸ca del Diamant: ¬p. Esta precisi´ on se muestra fundamentalmente en dos hechos: I Antonio y Pedro se aburrieron en el cine: p ∧ q. Ejemplo: ¿C´omo simbolizar los enunciados siguientes? Por tanto. ¿Podemos simbolizar todos los enunciados del lenguaje natural? Usamos la negaci´on ¬ 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. oraciones a las que podemos asignar un valor de verdad). Bou (bou@ub. misma que la de las conectivas correspondientes del lenguaje natural).. S´ en el lenguaje de la l´ olo en el caso ideal las I analizar con cuidado el enunciado para averiguar qu´e quiere decir. Natural Simbolizadas con la Negaci´on S´olo podemos simbolizar oraciones del lenguaje natural que sean enunciados (i. I y a continuaci´on pensar en c´omo expresar lo mismo con la u´nica ayuda Un ejemplo donde observar la p´erdida de matices con respecto al lenguaje de la interpretaci´on can´onica de las conectivas. etc. I Luis fue a ver al m´edico porque se sent´ıa enfermo. del Leng. I Un n´umero natural es par o impar. los formados tienen un sentido negativo. Como contraejemplo podemos no existe ambig¨ uedad en el significado de las lecturas can´onicas de las considerar los enunciados conectivas (porque se supone que la sem´antica de las conectivas es la I Los n´ umeros naturales son los pares y los impares. La mejor enunciado Eα (porque en el lenguaje natural hay muchos m´as matices que estrategia para simbolizar correctamente consiste en ogica proposicional). as´ı como para enunciados que a pesar de ser afirmaciones de verdad de los enunciados que lo componen (es decir. I Antonio y Pedro se comieron el pastel: r . la estructura sint´actica de Eα est´a perfectamente determinada (porque reproduce con exactitud la de α).

si”. corresponda al condicional → de la l´ogica proposicional cl´asica.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 111 / 185 F. La part´ıcula por excelencia simbolizada con la conjunci´on ∧ de la [Disyunci´on Excluyente] l´ogica proposicional cl´asica es obviamente la conjunci´on “y” (aunque I Es martes o no es martes: p ∨ ¬p. Natural Simbolizadas con la Disyunci´on Usamos la disyunci´on ∨ 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 consideraci´on (es enunciados son verdaderos. [Disyunci´on Excluyente] I Aunque es jueves. pero otras expresiones que en ciertos p ∨ ¬p ≡ (p ∨ ¬p) ∧ ¬(p ∧ ¬p)] contextos corresponden a la conjunci´ on ∧ son las part´ıculas “pero”.XIX. “sin embargo”. con la asignaci´ on dada. . I Larsson escribi´o la Trilog´ıa Millenium y se muri´o: p ∧ q. una disyunci´on no excluyente). . .XVI. . del Leng. del Leng. I Roma est´a en Francia o Roma est´a en Italia: (p ∨ q) ∧ ¬(p ∧ q). . antecedente y el consecuente). I S´olo las mujeres tienen hijos: q → p [donde p se interpreta como “la I o antes que Kant: p → q. . I O bien iremos al cien o bien iremos al teatro: (p ∨ q) ∧ ¬(p ∧ q). I Poe escribi´o El Cuervo y El Coraz´on Delator: p ∧ q. otras parecidas a ´esta (en algunos usos) son “es necesario”. Si Leibniz naci´o en el s. .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 109 / 185 F. Natural Simbolizadas con el Condicional I Expr. q como “hay nubes”]. I Si Antonio sabe ingl´es o inform´atica. Ejemplo: ¿C´omo simbolizar los enunciados siguientes? Ejemplo: ¿C´omo simbolizar los enunciados siguientes? I Poe escribi´o El Cuervo y Picasso pint´o El Guernica: p ∧ q. . “s´olo I S´olo llueve si hay nubes: p → q [donde p se interpreta como “llueve” y . Bou (bou@ub. La part´ıcula por excelencia simbolizada con la disyunci´on ∨ de la “aunque”. trabajo: (p ∨ q) → r . “es suficiente” (esta suele cambiar el orden). 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 relaci´on entre el interpreta como “hay nubes” y q como “llueve”]. La I Para que llueva es necesario que haya nubes: p → q [donde p se que m´as se aproxima a tener esta propiedad es “si . [Destacamos que no siempre corresponde a ∧). Bou (bou@ub. . y interpreta como “llueve” y q como “hay nubes”].edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 112 / 185 . Bou (bou@ub. decir. entonces naci´ I Si Leibniz naci´o en el s. hay partido de la Champions League: p ∧ q. l´ogica proposicional cl´asica es obviamente la disyunci´on “o” (aunque no siempre corresponde a la disyunci´on ∨ no excluyente). Natural Simbolizadas con la Conjunci´on Expr. entonces”. I Luisa se fue a L’Hospitalet o a un concierto: p ∨ q. I Hay nubes si llueve: q → p [donde p se interpreta como “hay nubes” y Ejemplo: ¿C´omo simbolizar los enunciados siguientes? q como “llueve”]. F. Si Leibniz naci´o en el s. Bou (bou@ub. entonces no naci´ o despu´es que Kant: No hay ninguna part´ıcula (del lenguaje natural) protot´ıpica que p → ¬q. L´ ogica Proposicional L´ ogica Proposicional Expr. Natural Simbolizadas con el Condicional II Usamos el condicional → del lenguaje formal para simbolizar que no Ejemplo: ¿C´omo simbolizar los enunciados siguientes? sucede. del Leng.XIX. puede conseguir conseguir el I Poe escribi´o El Cuervo y Poe escribi´o El Coraz´ on Delator: p ∧ q. .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 110 / 185 L´ ogica Proposicional L´ ogica Proposicional Expr. entonces naci´ persona P es una mujer” y q como “la persona P tiene hijos”]. del Leng. I o despu´es que Kant: p → q. F. I Larsson se muri´o y escribi´o la Trilog´ıa Millenium: q ∧ p.

Bou (bou@ub. cuando la asignatura Cuando no llueve no sale el arco iris. P → (S → F ) Si. no sale el arco iris y no estoy contento si no hace sol: B↔D ¬p → (¬r ∧ (¬q → ¬s)) Es necesario estudiar mucho para obtener el aprobado. F. 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”]. q como “tomo caf´e” y r como “puedo dormir”]. En muchas ocasiones en el lenguaje natural se usan condicionales (p ∨ q) → ¬r . “cuando y s´olo cuando” y “si y s´olo si”. M → L Los peatones s´olo cruzan la calle cuando el sem´aforo est´a en verde: [donde como “estoy contento”]. sale el arco iris y estoy contento: p ∧ q ∧ r ∧ s interpreta como “te comportas bien” y D como “podr´as ir a Disneylandia”]. 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 n´umero es par si no es impar: p ↔ ¬q [donde p se interpreta como demasiado caliente” y q como “se rompen algunos platos”]. y no estoy contento si no hace sol: es dif´ıcil: [donde E se interpreta como “estudias mucho”.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 116 / 185 . estoy contento si hace sol: al avi´on: [donde P se interpreta como “las plazas del avi´on est´an llenas”. “ceno mucho”. q como “hace sol”.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 115 / 185 F. Bou (bou@ub. Bou (bou@ub. Cuando no llueve.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 114 / 185 L´ ogica Proposicional L´ ogica Proposicional Ejemplos de Simbolizaci´on II Ejemplos de Simbolizaci´on III Cuando llueve y hace sol. D → (A → E ) Sale el arco iris cuando llueve. no puedo dormir: [donde p se interpreta como suficiente”. Por ejemplo. sale el arco iris y estoy contento: [donde p se S´olo cuando llueve te mojas: [donde L se interpreta como “llueve” y M interpreta como “llueve”. para expresar bicondicionales. p → q “x es par” y q como “x es impar”] S´ olo aprobar´as el examen si asistes al examen: [donde p se interpreta como I Dos f´ormulas son equivalentes si toda asignaci´ on les asocia el mismo “t´ u apruebas el examen” y q como “t´ u asistes al examen”]. Bou (bou@ub. r como “sale el arco iris” y s como “te mojas”]. entonces sale el arco iris y estoy contento: est´a en verde”]. 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”. Natural Simbolizadas con el Bicondicional Ejemplos de Simbolizaci´on I Apenas hay part´ıculas en el lenguaje natural que se usen para expresar bicondicionales: entre las m´as habituales destacan “es necesario y Si ceno mucho o tomo caf´e. q como Destacamos que en todos estos casos esencialmente sucede que al “leo el diario” y r como “entro en el agua”]. T → A F. p → q valor de verdad: p ↔ q [donde p se interpreta como “ϕ y ψ son equivalentes” y q como “toda asignaci´on asocia el mismo valor de Cuando voy a la playa. L´ ogica Proposicional L´ ogica Proposicional Expr.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 113 / 185 F. p → ((q ∨ r ) ∧ ¬(q ∧ r )) definir un concepto en el lenguaje natural la part´ıcula “si” en el fondo coincide con “si y s´ olo si”. podr´as ir a Disneylandia: [donde B se Llueve. (p ∧ q) → (r ∧ s) C se interpreta como “los peatones cruzan la calle” y V como “el sem´aforo Si cuando llueve hace sol. hace sol. 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. del Leng. A como “obtener (¬p → ¬r ) ∧ (¬q → ¬s) el aprobado” y D como “la asignatura es dif´ıcil”]. F (p ∧ r ) → (q → s) como “eres famoso” y S como “subir al avi´on”]. y s´olo si te comportas bien. C → V (p → q) → (r ∧ s) Si las plazas de avi´on est´an llenas es necesario ser famoso para poder subir Cuando llueve y sale el arco iris.

Bou (bou@ub. Bou (bou@ub. v (S) = V . S como “hace sol”. que v (L) = V . lenguaje natural (a trav´es de interpretaciones en el lenguaje natural). Modus Ponens y Modus Tollens) Para analizar la correcci´on o no de un argumento del lenguaje natural p→q p→q realizamos el proceso inverso. No llueve 1 En primer lugar. En primer lugar. simbolizamos los p y ¬q enunciados del argumento en el lenguaje de la l´ogica proposicional. el hecho que argumentos como los siguientes (llamados. el arco iris sale Si Pepe es el marido de Ana entonces Pepe est´a casado El arco iris sale si no hay contaminaci´on Hace sol y hay contaminaci´on y nos planteamos si es correcto o no. v (A) = V y v (C ) = V . nos garantiza que en el lenguaje natural lenguaje de la l´ogica proposicional.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 120 / 185 . el argumento inicial (en el lenguaje natural) no es correcto. Bou (bou@ub. resulta que el se simboliza como argumento se simboliza como (L ∧ S) → A M ¬C → A M→C S ∧C ¬L 2 A continuaci´on estudiamos la correci´ on del argumento anterior. estudiamos la correcci´on o no del argumento en el son l´ogicamente correctos. A l´ogica proposicional. El hecho que un argumento de la l´ ogica proposicional sea En la trasparencia anterior hemos visto c´omo transformar argumentos (l´ogicamente) correcto nos garantiza que lo es en cada una de las del lenguaje formal de la l´ogica proposicional en argumentos del interpretaciones de las letras proposicionales en el lenguaje natural. el argumento inicial (en el lenguaje natural) no es correcto. Este 2 Estudiamos la correci´on del argumento anterior.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 119 / 185 F. y esto se puede justificar considerando la incorrecto. los argumentos Si llueve me mojo Si llueve me mojo Llueve y No me mojo Me mojo No llueve F. Bou (bou@ub. el argumento el marido de Ana” y C como “Pepe est´a casado”. 3 Por tanto. El siguiente paso natural es simbolizar argumentos para as´ı poder averiguar si un argumento es (l´ ogicamente) correcto o no. entre otros. Este argumento es argumento es incorrecto. Y hemos comentado que esta transformaci´on preserva la correcci´on. respectivamente. Y q ¬p a continuaci´on. simbolizamos el argumento en el lenguaje de la 1 Suponiendo que intepretamos L como “llueve”. L´ ogica Proposicional L´ ogica Proposicional Simbolizaci´on de Argumentos I Simbolizaci´on de Argumentos II Hasta ahora hemos simbolizado u ´nica y exclusivamente enunciados. 3 Por tanto. son correctos.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 118 / 185 L´ ogica Proposicional L´ ogica Proposicional Ejemplos de Simbolizaci´on de Argumentos I Ejemplos de Simbolizaci´on de Argumentos II Consideramos el argumento Nos planteamos la correcci´on o no del argumento Pepe es el marido de Ana Cuando llueve y hace sol. Por ejemplo. Suponiendo que intepretamos M como “Pepe es como “el arco iris sale” y C como “hay contaminaci´on”. y esto se puede justificar considerando la asignaci´on v tal asignaci´on v tal que v (M) = V y v (C ) = F .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 117 / 185 F. F.

Bou (bou@ub. M como como “el arco iris sale” y C como “hay contaminaci´on”. el argumento inicial (en el lenguaje natural) no es correcto. Bou (bou@ub. y esto se puede justificar con una demostraci´on indirecta. su hijo llora No llueve O bien el hijo de Pedro llora. el argumento inicial (en el lenguaje natural) s´ı es correcto. Este argumento es correcto. obtenemos obtenemos ¬D ∨ ¬P A→E B→P H→E ¬D → ¬A A→H A 2 Estudiamos la correci´on del argumento anterior. B como “hay bocadillos” y A como “hay az´ ucar”. E como 1 Suponiendo que intepretamos D como “hay dulces”. 3 Por tanto.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 121 / 185 F. y esto se puede justificar con una demostraci´on indirecta. el argumento se simboliza como (L ∧ S) → A J ∧M A → ¬C P → ¬M S ∧C ¬P → H ¬L H ∨ ¬J 2 Estudiamos la correci´on del argumento anterior. correcto. P como “hay “esperas en el aeropuerto” y H como “tienes malos humos”. P como “Pedro est´a contento” y H como “el hijo se simboliza como de Pedro llora”. el argumento inicial (en el lenguaje natural) s´ı es correcto. Bou (bou@ub. y esto se puede justificar con una demostraci´on indirecta. Este argumento es que v (A) = V . 3 Por tanto. L´ ogica Proposicional L´ ogica Proposicional Ejemplos de Simbolizaci´on de Argumentos III Ejemplos de Simbolizaci´on de Argumentos IV Nos planteamos la correcci´ on o no del argumento Nos planteamos la correcci´on o no del argumento Cuando llueve y hace sol.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 123 / 185 F. 3 Por tanto. v (E ) = V y v (H) = F . Este argumento es 2 Estudiamos la correci´on del argumento anterior. o bien Juan no llega tarde. Este argumento es ¬B incorrecto. y esto se puede justificar considerando la asignaci´on v tal 2 Estudiamos la correci´on del argumento anterior. F. S como “hace sol”. el argumento inicial (en el lenguaje natural) s´ı es correcto. o las dos cosas 1 Suponiendo que intepretamos L como “llueve”.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 122 / 185 L´ ogica Proposicional L´ ogica Proposicional Ejemplos de Simbolizaci´on de Argumentos V Ejemplos de Simbolizaci´on de Argumentos VI Nos planteamos la correcci´ on o no del argumento Nos planteamos la correcci´on o no del argumento No hay dulces o no hay pan Hace falta que haya pan para que haya bocadillos Cuando viajas en avi´on te esperas en el aeropuerto S´olo si no hay az´ ucar no hay dulces S´olo cuando esperas en el aeropuerto tienes malos humos Azucar s´ı hay Cuando viajas en avi´on tienes malos humos No es el caso que haya bocadillos 1 Suponiendo que intepretamos A como “viajas en avi´on”. 3 Por tanto. F. pan”.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 124 / 185 . A 1 Suponiendo que intepretamos J como “Juan llega tarde”. el argumento “Mar´ıa se enfada”. el arco iris sale Juan llega tarde y Mar´ıa se enfada El arco iris s´ olo sale si no hay contaminaci´on Pedro est´a contento s´olo cuando Mar´ıa no se enfada Hace sol y hay contaminaci´on Si Pedro no est´a contento. correcto. Bou (bou@ub.

Si suben las ganacias y bajan los Bonos del Estado.”. Este argumento es 2 Estudiamos la correci´on del argumento anterior. P como de ir” y E como “estoy enfermo”. I →G (A ∧ ¬(T → H)) → P (B ∨ I ) → X (H ∧ T ) → E A → (G → ¬E ) 2 Estudiamos la correci´on del argumento anterior. el argumento inicial (en el lenguaje natural) s´ı es correcto. y esto se puede justificar con una demostraci´on indirecta. (A ∧ T ) → (M → P) 3 Por tanto.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 128 / 185 . T “me quedo en casa”. I como “la tormentas se cumple que la presi´on es alta si hay monta˜nas inflaci´on es baja” y X como “hay inversi´ on extranjera”. el argumento inicial (en el lenguaje natural) no es correcto.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 127 / 185 F. S como “el supervisor se enfada”. T como “hay riesgo de tormentas”. para que se Las ganancias suben si hay inflaci´ on baja forme granizo. v (A) = F y v (E ) = F . C como 1 Suponiendo que intepretamos M como “el maquinista se duerme”. 3 Por tanto. A como “aviso a mis amigos de que tengo ganas como “el tren llega tarde”. y esto se puede justificar considerando la asignaci´on v tal correcto. y esto se puede justificar con una demostraci´on directa. H como B → (G ∧ E ) “hay riesgo de huracanes”. Bou (bou@ub. G como “las Cuando la temperatura de la alta atmosfera es baja y hay riesgo de ganancias suben”. G como “se forma granizo” y M como “hay monta˜ nas”. L´ ogica Proposicional L´ ogica Proposicional Ejemplos de Simbolizaci´on de Argumentos VII Ejemplos de Simbolizaci´on de Argumentos VIII Nos planteamos la correcci´on o no del argumento Nos planteamos la correcci´on 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. Bou (bou@ub. obtenemos “los pasajeros gritan” y R como “hay reclamaciones”. v (C ) = V . entonces la presi´on es alta La inflaci´on es baja s´olo si bajan los Bonos del Estado S´ olo hay riesgo de huracanes y tormentas si la atmosfera est´a cargada de electr. el supervisor se enfada y los pasajeros gritan Cuando tengo ganas de ir aviso a mis amigos S´olo 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”. el argumento inicial (en el lenguaje natural) s´ı es correcto. 3 Por tanto. F.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 126 / 185 L´ ogica Proposicional L´ ogica Proposicional Ejemplos de Simbolizaci´on de Argumentos IX Ejemplos de Simbolizaci´on de Argumentos X Nos planteamos la correcci´ on o no del argumento Nos planteamos la correcci´on o no del argumento 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. Bou (bou@ub. que v (G ) = F . Este argumento es M→G correcto. en la alta atmosfera es baja”. Bou (bou@ub. P I →E como “la presi´on es alta”. obtenemos 1 Intepretando A como “la temp. E como “los Bonos del Estado bajan”. F. Este argumento es incorrecto. 2 El argumento s´ı es correcto (con una demostraci´on indirecta sale). hay inversi´ on extranjera Hace falta que la atmosfera no est´e cargada de electr. obtenemos G ∨C T →M G →A M → (S ∧ P) E →C R→T ¬A → E R P 2 Estudiamos la correci´on del argumento anterior.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 125 / 185 F. E como “la atmosfera est´a cargada de (G ∧ E ) → X electr. siempre que la temperatura de la alta atmosfera sea baja Ha de haber inversi´on extranjera para que suba la Bolsa o haya inflaci´on baja Se forma granizo si hay monta˜ nas 1 Suponiendo que intepretamos B como “la Bolsa sube”.

Bou (bou@ub. La raz´on por la que se ha escrito “nivel ingenuo” en la definici´on anterior Los objetos los clasificamos en dos categor´ıas disjuntas (i.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 131 / 185 F. Bou (bou@ub. obtenemos 1 Suponiendo que intepretamos H como “tengo hambre”. incluso Nota conjuntos.e.). Bou (bou@ub. etc. F.. Bou (bou@ub. un n´ umero. obtenemos ¬C → E H → (C → S) E ¬(S → H) 2 El argumento s´ı es correcto (con una demostraci´on indirecta sale). Se permite cualquier tipo de objeto como elemento de un conjunto (objeto f´ısico. L´ ogica Proposicional L´ ogica Proposicional Ejemplos de Simbolizaci´on de Argumentos XI Ejemplos de Simbolizaci´on de Argumentos XII Nos planteamos la correcci´on o no del siguiente argumento de San Agust´ın Nos planteamos la correcci´ on o no del argumento (es un precedente del famoso Cogito ergo sum de Descartes) Si me equivoco al creer que existo. entidades abstractas. los objetos) pertenecen al conjunto considerado. se solapan): o bien son conjuntos o bien son objetos primitivos.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 130 / 185 Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos ¿Qu´e es un conjunto? Reflexiones sobre la definici´on Los objetos que est´an entre la colecci´on de objetos de un conjunto son llamados los elementos de dicho conjunto. Para eso. y (2) la 2a premisa es verdadera porque si no me equivoco al creer un enunciado entonces ese enunciado debe ser verdadero. 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. v (S) = V y v (C ) = F . S como C →E “tengo sed” y C como “estoy cansado”. ¬(C → ¬S) San Agust´ın utiliza la correcci´on del argumento anterior para justificar que 2 Estudiamos la correci´on del argumento anterior.e. a parte de la incorrecto. entonces existo Siempre que tengo hambre. Tambi´en se dice que Definici´on (nivel ingenuo) los elementos (i..edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 129 / 185 F. 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”. y esto se puede justificar considerando la asignaci´on v tal correcci´on del argumento San Agust´ın tambi´en justifica que las dos que v (H) = F . tengo sed si estoy cansado Si no me equivoco al creer que existo. F. Un conjunto es una colecci´ on de objetos. existen no se pueden equivocar. que no ser´a explicada al analizar la Paradoja de Russell (si tenemos tiempo).edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 132 / 185 . Por definici´on los objetos primitivos son todos aquellos objetos que no son conjuntos. Este argumento es la conclusi´on del argumento es verdadera.

toda propiedad determina un conjunto. C . Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos Convenio Notacional I Convenio Notacional II Usamos letras may´ usculas latinas (A. Y escribiremos ”a 6∈ A” para decir que“el objeto a no tiene tal propiedad” y “a tiene tal propiedad”? ¿Qu´e frase nos da m´as pertenece al conjunto A”. Bou (bou@ub. el conjunto de los objetos que cumplen dicha propiedad. . Es decir. “a = b” para decir que“los objetos a y b son el mismo”. Φ(a) para indicar que el objeto a verifica el propiedad Φ. . escribiremos “a ∈ A” para decir que“el objeto a pertenece al Pregunta: ¿Cu´al es el contenido diferente aportado por las frases “A conjunto A”. 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. . sii As´ı pues. escribiremos conjuntos. Z ) para referirnos a El s´ımbolo = denota la igualdad entre objetos. b. z tanto pueden referirse a El s´ımbolo ∈ denota la pertenencia de un objeto a un conjunto.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 133 / 185 F. etc. “ser una calle de Sabadell”. Es objetos primitivos como a conjuntos. . F. Si Φ es un propiedad y a un objeto escribiremos o bien a ∈ B y a 6∈ A. . Es evidente que para dos conjuntos cualesquiera A y B se cumple que “ser un alumno trabajador”. Es decir. B. z) para referirnos a los escribiremos “a 6= b“ para decir que“los objetos a y b son diferentes”. c. . Y Usamos letras min´ usculas latinas (a. . Bou (bou@ub. A y B tienen los mismos elementos. En otras palabras. decir. informaci´on? F. para referirnos a las An´alogamente. Bou (bou@ub. Ψ. Por tanto.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 134 / 185 Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos Igualdad entre conjuntos Propiedades y Conjuntos Algunos ejemplos de propiedades son “ser una asignatura del plan de la Facultad de Filosof´ıa”. los s´ımbolos a.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 136 / 185 . b. entonces A = B. c. A 6= B sii hay alg´ un objeto a tal que o bien a ∈ A y a 6∈ B propiedades. Usamos letras griegas may´ usculas Φ. . . no consideramos propiedades Consecuencia vagas como prodr´ıan ser “ser un alumno alto de esta asignatura”. . etc.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 135 / 185 F. . s´olo consideramos propiedades con esa caracter´ıstica. Bou (bou@ub. . objetos. . . . A = B. cumplen la propiedad.

Urano. {x : x ∈ A} = A. I A = B. c} = {a. . a} =6 {b. En general. Venus. J´upiter. b}.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 138 / 185 Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos Algunos Ejemplos y Observaciones Inclusi´on de Conjuntos {x : x es un planeta} = {Mercurio. b. . Comprensi´on ¿Cu´al es la diferencia fundamental entre conjuntos y propiedades? Denotamos un conjunto por comprensi´on dando un propiedad que poseen Los conjuntos cumplen el principio de extensionalidad. A ⊆ B. si a1 . Es decir. entonces. Plut´on} = {la Tierra. A⊆B sii para todo objeto a. o x = an ” (para unos objetos a1 . si todo elemento de A pertenece que es precisamente el objeto a. an fijados). por el principio de Escribiremos A 6⊆ B para denotar que A no es subconjunto de B. ¿Cu´al es el conjunto {x : Φ(x)}? Es precisamente el mismo conjunto que {a1 . b. Decimos que un conjunto A est´a incluido en un conjunto B (o que A es un ¿Cua´ntos elementos tiene el conjunto {a}? Tiene un u ´nico elemento subconjunto de B). . Definici´on {a. a2 . . Neptuno. si Φ es un propiedades no cumplen el principio de extensionalidad. Saturno. F. a ∈ {x : Φ(x)} sii Φ(a). Por extensionalidad. pero las todos los elementos del conjunto y s´olo ellos. . Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos Distinci´on entre conjuntos y propiedades Denotaci´on de conjuntos A la hora de explicitar un conjunto hay dos m´etodos para nombrarlo o denotarlo: comprensi´on y enumeraci´on.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 140 / 185 . . . c. Mercurio. la Tierra. {x : x verifica el propiedad Φ}). Bou (bou@ub. sii I Para todo objeto x. J´upiter. tambi´en a B. se cumple que Φ(x) sii Ψ(x). .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 139 / 185 F. propiedad al conjunto que determina por comprensi´on lo denotamos {x : Φ(x)} (es decir. en s´ımbolos. . El modo habitual de denotar conjuntos por enumeraci´on es escribir entre llaves los nombres de sus elementos separados por comas. denotamos al conjunto obtenido por enumeraci´on como {a1 . a2 . Marte. F. . c. Denotamos un conjunto por enumeraci´on nombrando todos sus elementos (esto es imposible si el conjunto tiene infinitos elementos). . Sea Φ(x) la propiedad “x = a1 o x = a2 o . entonces a ∈ B. Bou (bou@ub. . 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 Enumeraci´on propiedades diferentes que determinan el mismo conjunto. para cualquier objeto a. c. si a ∈ A. Neptuno. para cualquier conjunto A. Plut´on. . Saturno. Bou (bou@ub. . an }. Urano. Bou (bou@ub. Marte. . an son los elementos del conjunto. . En tal caso se dice Un argumento que justifica que las propiedades no cumplen el que el conjunto determinado es la extensi´on de la propiedad Φ. En general. an }. Si A = {x : Φ(x)} y B = {x : Ψ(x)}. . Venus}. A 6⊆ B sii existe un objeto a tal que a ∈ A y a 6∈ B.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 137 / 185 F. . se tiene que tanto.

Bou (bou@ub. B. en s´ımbolos.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 142 / 185 Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos Inclusi´on Propia de Conjuntos Un conjunto problem´atico Sea A el conjunto de los tri´angulos cuadrados. conjunto de los seres humanos sin progenitores. el conjunto de los mam´ıferos invertebrados. Es decir.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 141 / 185 F. es un subconjunto) y A 6= B. porque en muchas ocasiones usamos el {a} ⊆ A sii a ∈ A. a los mam´ıferos y a es el perro Argos (seg´ un la Odisea de Homero se le trav´es de los propiedades “ser Ulises”. Argos es un perro. [transitividad de la inclusi´on] si A ⊆ B y B ⊆ A. Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos Varias Observaciones Diferentes usos del verbo “ser” en el lenguaje natural Ejemplo Formalizemos los siguientes enunciados del lenguaje natural usando la convenci´on siguiente: P es el conjunto de los perros. Al conjunto anterior le llamaremos el conjunto vac´ıo. “ser un mam´ıfero” y “ser un considera el perro de Ulises). se cumple que El lenguaje natural no es una buena gu´ıa para distinguir entre la pertenencia (∈) y la inclusi´on (⊆). a = “el perro de Ulises” si A ⊆ B y B ⊆ C . se cumple que en el primer punto.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 144 / 185 . ¿Por qu´e cualquier otro conjunto sin elementos coincide con ∅? Por el Observaci´on principio de extensionalidad usando el mismo argumento que dimos Para cualesquiera conjuntos A y B. si se conjunto y no en el otro cumple que A ⊆ B (i. A 6⊂ B sii A 6⊆ B o A = B. Bou (bou@ub. En particular. Bou (bou@ub. ∅ es el u ´nico conjunto que no posee ning´ un elemento. F. B y C . F. . a∈P Para cualesquier conjuntos A. Bou (bou@ub. el conjunto de los cristianos ateos. M es el conjunto de Sean A. el Escribiremos A 6⊂ B para denotar que A no es subconjunto propio de B. y lo denotaremos con el s´ımbolo ∅.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 143 / 185 F. . Por tanto. A⊆B sii A ⊂ B o A = B.. A ⊂ B. Es claro que ∅ es la extensi´on de cualquier propiedad que no posea ning´un objeto. C los conjuntos definidos por comprensi´on. [reflexividad de la inclusi´ on] Argos es el perro de Ulises. respectivamente. se cumple que El perro es un mam´ıfero. [antisimetricidad de la inclusi´on] Conclusi´on Para cualquier conjunto A y cualquier objeto a. entonces A ⊆ C . son: el conjunto de los dictadores dem´ocratas. entonces A = B. mismo verbo. P⊆M A ⊆ A. . ¿A = B? La respuesta correcta es que Decimos que un conjunto A est´a incluido propiamente en un conjunto B A = B puesto que no hay ning´ un objeto que est´e en uno de esos (o que A es un subconjunto propio de B). Entonces. hombre”. An´alogamente otros conjuntos que coinciden con el del punto anterior A⊂B sii A ⊆ B y A 6= B. A ⊆ C ⊆ B. {x : x 6= x} = ∅. y sea B el conjunto de Definici´on los matrimonios unipersonales.e.

∅} anterior. A ∪ B = {x : x ∈ A o x ∈ B}. es el conjunto cuyos Diferencia elementos son los objetos que pertenecen a A o a B (i. anterior. Entonces.e. lo cual es contradictorio con lo tiene 2 elementos. Clasifica las siguientes afirmaciones seg´ un sean verdaderas o falsas. Bou (bou@ub. que Los 3 modos m´as simples de operaciones corresponden a las operaciones pertenecen a los dos conjuntos considerados). a partir de dos o m´as colecciones de objetos podemos La intersecci´on de dos conjuntos A y B. ∅ ∈ {∅} es al conjunto A. cuyos elementos son los objetos que pertenecen a A y a B (i.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 145 / 185 F. ∅. ∅ ⊆ {∅} es verdadera.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 148 / 185 . {∅} ⊆ {1.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 146 / 185 Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos Operaciones B´asicas Entre Conjuntos I Operaciones B´asicas Entre Conjuntos II Dados dos o m´as conjuntos podemos combinarlos y obtener nuevos Intersecci´on conjuntos. es el conjunto alguno de los dos conjuntos considerados). F. Uni´on La uni´on de dos conjuntos A y B. Es decir. Es decir. Bou (bou@ub. {1.e. se cumple que ∅ ⊆ A. 1}} tiene 1 elemento.. es el conjunto obtener nuevas colecciones de objetos. es verdadera. sucede que o bien ¿Cu´antos elementos tienen los conjuntos siguientes? J = {2. pero s´ olo en el caso en que el Supongamos que consideramos el conjunto {x : x 6∈ x} y llam´emoslo A. La raz´on es porque un objeto x que est´e en ∅ pero no en A. objeto a coincida con el objeto b. ∅} es verdadera. 1. ∅ ∈ {1.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 147 / 185 F. que pertenecen al primer conjunto pero no al segundo). M = {{1}. en s´ımbolos A − B. F.e.. 2. ∅} es verdadera. ∅} es falsa. {1. 2} conjunto A.e. cuyos elementos son los objetos que pertenecen a A pero no a B (i. K = {1. {∅} ⊆ {∅} es verdadera. de uni´on. en s´ımbolos A ∩ B. {∅} ∈ {∅} es falsa. b} = {a}? S´ı. Este paradoja justifica que el hecho de asumir que toda propiedad nos determina un conjunto es en si mismo contradictorio. no hay ning´ Argumento ¿Es posible que {a. en s´ımbolos A ∪ B. {∅} ∈ {1. H = {−2. Bou (bou@ub. a saber. que pertenecen a La diferencia de dos conjuntos A y B. Es decir.. lo cual es contradictorio con lo verdadera. A 6∈ A: En este caso se tiene que A no cumple la propiedad que define ∅ ∈ ∅ es falsa. y por tanto A ∈ A. 3} tiene 3 elementos.. 4} A ∈ A: En este caso se tiene que A cumple la propiedad que define al tiene 2 elementos. intersecci´ on y diferencia. Bou (bou@ub. 2 + 2. A ∩ B = {x : x ∈ A y x ∈ B}. i. A − B = {x : x ∈ A y x 6∈ B}. ¿Por qu´e? Para cualquier conjunto A. y por tanto A 6∈ A. ∅ ⊆ {1. Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos Algunos Ejemplos y Observaciones La Paradoja de (Bertrand) Russell ¿∅ = {∅}? La respuesta correcta es que ∅ = 6 {∅} porque el conjunto {∅} s´ı tiene un elemento. ∅ ⊆ ∅ es verdadera. ∅} ⊆ {1} es falsa. ∅ ⊂ ∅ es falsa.

Bou (bou@ub. x 6∈ A − B sii x 6∈ A o x ∈ B.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 149 / 185 F.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 151 / 185 F. x ∈A∩B sii x ∈ A y x ∈ B. Bou (bou@ub. x 6∈ A ∩ B sii x 6∈ A o x 6∈ B. x ∈A−B sii x ∈ A y x 6∈ B.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 150 / 185 Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos ¿C´omo dibujar 4 conjuntos en un diagrama de Venn? Varias Observaciones Para todo objeto x. puesto que queremos ser lo m´as general posible F. Bou (bou@ub.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 152 / 185 . se cumple que x ∈A∪B sii x ∈ A o x ∈ B. Bou (bou@ub. x 6∈ A ∪ B sii x 6∈ A y x 6∈ B. que interseque a todos los otros conjuntos x 6∈ B − A sii x 6∈ B o x ∈ A. Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos Representaci´on via Diagramas de Venn Algunos Ejemplos via Diagramas de Venn (orden y) A∩B A∪B 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 A−B B−A A C C − (A ∪ B) (A ∩ C ) − B A B A B (A ∩ B) ∩ C F. S´ olo esta u ´ltima es adecuada porque conviene x ∈B−A sii x ∈ B y x 6∈ A.

y que B es Supongamos que tenemos un objeto a tal que a ∈ (A ∪ B) − (A ∩ B).edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 154 / 185 Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos Otro Ejemplo Detallado de Argumentaci´on Formal Otro Ejemplo Detallado de Argumentaci´on 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. pero no a ambos. F. Bou (bou@ub. se ha ambos conjuntos. Hemos de verificar que el objeto x tambi´en anterior). 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). A − B = B − A. pero a modo de ilustraci´on de justificaciones no Diremos que dos conjuntos son disjuntos si no tienen ning´ un elemento gr´aficas seguidamente comprobamos que para cualesquiera conjuntos A y en com´un. Bou (bou@ub. Para llegar a esta conclusi´on vamos a razonar Hemos de verificar que el objeto x tambi´en pertenece a A (i.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 153 / 185 F. y por tanto (A ∪ B) − (A ∩ B) = (A − B) ∪ (B − A). es suficiente comprobar que si Para llegar a esta conclusi´on vamos a razonar por reducci´on al absurdo. A ⊆ B y que B ⊆ A. nos dice que a ∈ A ∪ B y que dos conjuntos. lo diremos expl´ıcitamente. x ∈ A). ¿Qu´e relaci´ on hay entre A y B? A − B = B − A.e. A continuaci´on vamos a justificar que en tal caso se cumple que A = B. En B se cumple que (A ∪ B) − (A ∩ B) ⊆ (A − B) ∪ (B − A). • Veamos en primer lugar que A ⊆ B. ¿Qu´e relaci´on hay entre A y B? A continuaci´on vamos a justificar que en tal caso se cumple que A = B. Y la contradicci´on en cuesti´on ser´ıa que x 6∈ B) mientras que x 6∈ B − A (porque x 6∈ B). La contradicci´on se obtiene con la suposici´on de que A ⊆ B. Caso a ∈ A y a 6∈ A: Es un caso contradictorio. a ∈ (A − B) ∪ (B − A). Esto concluye la justificaci´on (porque x 6∈ A). La contradicci´on se entonces x ∈ B − A (porque x 6∈ A y x ∈ B) mientras que x 6∈ A − B obtiene con la suposici´on A − B = B − A. Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos Algunas Observaciones M´as Un Ejemplo Detallado de Argumentaci´on En este curso vamos a admitir demostraciones gr´aficas basadas en los diagramas de Venn. asumimos x 6∈ B entonces obtenemos una contradicci´ on. F. A y B son disjuntos si y s´olo si A ∩ B = ∅.e.. (a ∈ A o a ∈ B) y (a 6∈ A o a 6∈ B). Bou (bou@ub. Para ello consideramos un objeto • Ahora en segundo lugar comprobamos que B ⊆ A (es sim´etrico al caso cualesquiera x tal que x ∈ A. ocasiones tambi´en diremos que A es disjunto de B. pertenece a B (i. Para cualesquiera conjuntos A y B se cumple que Caso a ∈ A y a 6∈ B: Entonces. queremos decir que pertenece a por lo menos uno de los El hecho que a ∈ (A ∪ B) − (A ∩ B). Y la As´ı pues. As´ı pues. Caso a ∈ B y a 6∈ B: Es un caso contradictorio. a ∈ B − A. disjunto de A. es suficiente comprobar que si asumimos x 6∈ A entonces on ser´ıa que entonces x ∈ A − B (porque x ∈ A y contradicci´on en cuesti´ obtenemos una contradicci´on. a ∈ A − B. x ∈ B). Por tanto. no excluyendo la posibilidad de pertenecer a la vez a a 6∈ A ∩ B. conjunto B. En el caso de interesarnos decir que un objeto x de cumplir alguno de los 4 casos siguientes. As´ı pues. y vamos a comprobar que en pertenece a A o a B. Caso a ∈ B y a 6∈ A: Entonces. cada uno de ellos se cumple realmente que a ∈ (A − B) ∪ (B − A). por reducci´on al absurdo. Bou (bou@ub. Para ello consideramos un objeto cualesquiera x tal que x ∈ B.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 155 / 185 F. Esto concluye la justificaci´on de que B ⊆ A. y por tanto a ∈ (A − B) ∪ (B − A).edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 156 / 185 .. 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. Es decir.

y (ii) la uni´ on es el menor conjunto que los incluye. {∅}. {∅}. Bou (bou@ub. puesto que (i) ambos conjuntos est´an incluidos en Para cualesquiera conjuntos A. a} y {{∅}. est´a incluido en el primer conjunto y es disjunto del segundo. cada uno de ellos. A ∪ B = B ∪ A. no 1 son {b} y {{∅}} y {{a. b}. a} y {{a. {a. entonces A ∪ B ⊆ X . calculando sus subconjuntos). el mismo conjunto del cual est´abamos y por tanto concluimos que tiene 8 subconjuntos. S´olo hay un subconjunto que tiene 0 elementos y se trata de ∅. incluido en A y disjunto de B. Los subconjuntos del conjunto anterior son precisamente los de la lista Los subconjuntos del conjunto anterior son precisamente los de la ∅. y (ii) la diferencia es el mayor conjunto incluido en el primero y disjunto del segundo. S´olo hay un subconjunto que tiene 4 elementos y se trata de {∅. {a}}.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 158 / 185 Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos Caracterizaciones de las 3 Operaciones B´asicas Propiedades de la Uni´on La uni´on A ∪ B de dos conjuntos A y B es el menor conjunto que incluye a A y a B. a}. {{a}. a} y {b. Bou (bou@ub. a} y Decir cu´antos subconjuntos tiene el conjunto {∅. est´a incluido en ambos. {a. b}. {∅}} y {b.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 160 / 185 . b}. a}.. se cumple que su uni´on. {a. {∅}. {a. a}. a}. y (ii) la intersecci´ on es el mayor conjunto que A ∪ ∅ = A. b}} y {{∅}. 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 . puesto que (i) el conjunto diferencia A⊆B sii A ∪ B = B. {∅. B y C . La intersecci´on A ∩ B de dos conjuntos A y B es el mayor conjunto incluido en A y en B. F. b}} y {b. enumerarlos. a} y enumerarlos. {a. y por tanto concluimos que tiene 16 subconjuntos. {a. b}. siguiente lista (est´an agrupados por tama˜ no) {∅}. {{a}}.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 159 / 185 F. a} y {∅.e. Los subconjuntos con tama˜ no 3 son {b. Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos Un Ejercicio sobre subconjuntos Otro Ejercicio sobre subconjuntos Decir cu´antos subconjuntos tiene el conjunto {b. b}. Los subconjuntos con tama˜ {a}. puesto que (i) la intersecci´on est´a incluida en (A ∪ B) ∪ C = A ∪ (B ∪ C ). {∅}. {{∅}. Bou (bou@ub. a}. {b. {a.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 157 / 185 F. b}} y {a}. b}} y {b. Bou (bou@ub. {a}. A ⊆ A ∪ B y B ⊆ A ∪ B. F. Los subconjuntos con tama˜ no 2 son {b. a} (i. {a}.

si X es un conjunto tal que X ⊆ A y X ⊆ B. A − B ⊆ A y (A − B) ∩ B = ∅. F. A ∩ B = B ∩ A. propiedades (i.. en general (A ∩ B) ∩ C = A ∩ (B ∩ C ). Bou (bou@ub. X ⊆ A − B. considerar ciertas operaciones (via conectivas de la l´ogica proposicional) en el nivel de las propiedades definiendo los conjuntos considerados. entonces X ⊆ A ∩ B. A ∩ ∅ = ∅. B. A − B es el conjunto definido por la propiedad Φ ∧ ¬Ψ. (A − B) − C 6= A − (B − C ). A ∩ B = {x : (Φ ∧ Ψ)(x)}.. Es decir. La diferencia no es asociativa. se cumple que La diferencia no es commutativa. A ∩ (A ∪ B) = A. i. Conclusi´on A − (B ∪ C ) = (A − B) ∩ (A − C ). A ∩ B es el conjunto definido por la propiedad Φ ∧ Ψ. C y D se cumple que Supongamos que A = {x : Φ(x)} y B = {x : Ψ(x)}.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 161 / 185 F. Bou (bou@ub. A ∪ B = {x : (Φ ∨ Ψ)(x)}. A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ C ). y acabamos de observar que las 3 operaciones b´asicas entre conjuntos corresponden a (A ∩ B) − C = (A − C ) ∩ (B − C ). en general A − B 6= B − A. Es decir. si X es un conjunto tal que X ⊆ A y X ∩ B = ∅.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 164 / 185 . A ∪ (A ∩ B) = A. A − (B ∩ C ) = (A − B) ∪ (A − C ). F.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 162 / 185 Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos Relaciones entre las 3 Operaciones B´asicas Propiedades a las que corresponden las Operaciones B´asicas Para cualesquiera conjuntos A. Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos Propiedades de la Intersecci´on Propiedades de la Diferencia Para cualesquiera conjuntos A.. A − B = {x : (Φ ∧ ¬Ψ)(x)}.e. A⊆B sii A − B = ∅. (A ∩ B) ∪ (C ∩ D) = (A ∪ C ) ∩ (A ∪ D) ∩ (B ∪ C ) ∩ (B ∪ D). Entonces. B y C . Las conectivas de la l´ogica proposicional nos dan operaciones entre (A ∪ B) − C = (A − C ) ∪ (B − C ). A − A = ∅. Es decir. Bou (bou@ub.e.e. A ∪ B es el conjunto definido por la propiedad Φ ∨ Ψ. se cumple que Para cualesquiera conjuntos A. nos permiten combinar propiedades).edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 163 / 185 F. A ∩ B ⊆ A y A ∩ B ⊆ B. B y C . entonces A⊆B sii A ∩ B = A. Bou (bou@ub. i. A ∪ (B ∩ C ) = (A ∪ B) ∩ (A ∪ C ). (A ∪ B) ∩ (C ∪ D) = (A ∩ C ) ∪ (A ∩ D) ∪ (B ∩ C ) ∪ (B ∩ D).

Ejemplo 5 Dependiendo del contexto en que estemos interesados podemos suponer Las siguientes afirmaciones son equivalentes: que U es el conjunto de los n´umeros enteros. o . Si A es un subconjunto de U. A − (B ∩ C ) = (A − B) ∪ (A − C ).edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 166 / 185 Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos Relaci´on entre las igualdades conjuntistas y la l´ogica La Operaci´on de Complementaci´on proposicional III Supongamos que fijamos un conjunto al que pertenecen todos los objetos en que estamos interesados en un determinado contexto. C se cumple que (A ∩ B) ∩ (C ∩ A) = B. Las f´ormulas proposicionales (p ∧ q) ∧ (r ∧ p) y q son equivalentes. en s´ımbolos A . B. F. B. 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. Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos Relaci´on entre las igualdades conjuntistas y la l´ogica Relaci´on entre las igualdades conjuntistas y la l´ogica proposicional I proposicional II Ejemplo 1 Ejemplo 3 Las siguientes afirmaciones son equivalentes: Las siguientes afirmaciones son equivalentes: Para cualesquiera conjuntos A. Bou (bou@ub. Bou (bou@ub. (A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C ).edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 167 / 185 F. F.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 165 / 185 F. o el conjunto de los alumnos Para cualesquiera conjuntos A. definimos el complemento o complementario U Las f´ormulas proposicionales p ∧ ¬(q ∧ r ) y (p ∧ ¬q) ∨ (p ∧ ¬r ) son de A con respecto a U. . elementos de U que no pertenecen a A. C y D se cumple que (A ∪ B) ∩ (C ∪ D) = (A ∩ C ) ∪ (A ∩ D) ∪ (B ∩ C ) ∪ (B ∩ D). B y C se cumple que matriculados en Filosof´ıa UB. Ejemplo 4 Ejemplo 2 Las siguientes afirmaciones son equivalentes: Las siguientes afirmaciones son equivalentes: Para cualesquiera conjuntos A. Para cualesquiera conjuntos A. Bou (bou@ub. Las f´ormulas proposicionales (p ∨ q) ∧ (r ∨ s) y (p ∧ r ) ∨ (p ∧ s) ∨ (q ∧ r ) ∨ (q ∧ s) son equivalentes. como el conjunto de todos los equivalentes.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 168 / 185 . C se cumple que Para cualesquiera conjuntos A y B se cumple que A ∩ (A ∪ B) = A. Bou (bou@ub. Las f´ormulas proposicionales p ∧ (p ∨ q) y p son equivalentes. o sea U A = U − A. B. . Las f´ormulas proposicionales (p ∧ q) ∨ r y (p ∨ r ) ∧ (q ∨ r ) son equivalentes.

A es el u cierto universo U del discurso. en A cuya uni´on con A es U. para simplificar la notaci´on. 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. ∅ = U y U = ∅. Bou (bou@ub. F. A ∩ B = (A ∪ B).edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 169 / 185 F. F. A − B = A ∩ B. Si X es un subconjunto de U tal que A ∪ X = U entonces A ⊆ X . A ∪ B = (A ∩ B). muchas ocasiones simplemente escribiremos A (i. A ∪ B = U sii A ⊆ B sii B ⊆ A. A es el conjunto de los alumnos matriculados en el grupo B1 de Introducci´on a la L´ ogica I.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 172 / 185 . Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos La Operaci´on de Complementaci´on Propiedades del Complemento Ejemplos Si el universo U es el conjunto de los n´ umeros enteros y A es el Para cualesquiera conjuntos A. Bou (bou@ub. se cumple que (recordemos que tenemos conjunto de los n´umeros enteros pares. grupo B1 de Introducci´ on a la L´ ogica I. Bou (bou@ub. Filosof´ıa UB y A es el conjunto de los alumnos no matriculados en el A ∩ A = ∅.e.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 171 / 185 F. entonces el complementario U Si X es un subconjunto de U tal que A ∩ X = ∅ entonces X ⊆ A. Si el universo U es el conjunto de los alumnos matriculados en A = A. A ∩ B = ∅ sii A ⊆ B sii B ⊆ A. omitiremos el s´ımbolo U) dando por sobreentendido que tenemos fijado un conjunto universo U. A = B sii A = B. se cumple que (recordemos que Para cualesquiera conjuntos A y B.. y (ii) A ∪ X = U.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 170 / 185 Nociones de Teor´ıa de Conjuntos Nociones de Teor´ıa de Conjuntos M´as Propiedades del Complemento Leyes de De Morgan para Conjuntos Para cualesquiera conjuntos A y B. (A ∩ B) = A ∪ B. Por definici´on s´olo tiene sentido hablar del complemento con respecto a un ´nico conjunto X tal que (i) A ∩ X = ∅. [Esta restricci´on se debe esencialmente a que si no podr´ıamos obtener una contradicci´ on mediante el argumento de [Caracterizaci´on del Complemento] A es el u ´nico conjunto disjunto de la Paradoja de Russell] No obstante. Bou (bou@ub. entonces el complementario fijado un conjunto U universo del discurso) U A es el conjunto de los n´ umeros enteros impares. A ∪ A = U.

En el caso de que no I un A no es B.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 175 / 185 F. ¿C´omo? I A − B = ∅ (i. [Universal Negativa] sepamos que es vac´ıa. [Particular Negativa] Alg´ sepamos si una regi´on del diagrama de Venn es vac´ıa o no vac´ıa simplemente no la marcaremos de ninguna forma. Bou (bou@ub... .edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 173 / 185 F. ~. F. .e. las que nos dicen que una regi´on es vac´ıa). [Particular Afirmativa] Tanto las premisas como la conclusi´ on de los argumentos que vamos I A − B 6= ∅. [Particular Afirmativa] Alg´ regi´on cuando sepamos que no es vac´ıa. [Particular Negativa] a considerar son proposiciones de alguna de las 4 formas siguientes Todos ellos corresponden a afirmar que una regi´on de un diagrama de (donde A y B son t´erminos que expresan propiedades): Venn es o bien vac´ıa o bien no vac´ıa. A ⊆ B). [Universal Afirmativa] Consideraremos argumentos con 2 premisas (esto se podr´ıa f´acilmente I A ∩ B = ∅.e. [Universal Negativa] generalizar a m´as) y una sola conclusi´ on. Bou (bou@ub. . Bou (bou@ub.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 174 / 185 Argumentaci´ on Silog´ıstica Argumentaci´ on Silog´ıstica Representaci´on Gr´afica de cada uno de los 4 tipos Ejemplos de Argumentos Silog´ısticos Ning´ un A es B Conviene destacar que el orden de las premisas no importa. I Todo A es B. y de colocar una marca “×” (†. Todo A es B A B A B Ejemplo 1 Los hombres son mam´ıferos Todo A es B Los mam´ıferos son animales terrestres Todo B es C Los hombres son animales terrestres Todo A es C Ejemplo 2 Los mam´ıferos son hombres Todo A es B Alg´ un A es B Alg´ un A no es B Alg´ un perro es un mam´ıfero 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 mam´ıfero Todo A es B Ning´ un perro es un animal con alas Ning´ un A es C Ning´ un mam´ıfero es un animal con alas Ning´ un B es C F. ) en la I un A es B. Argumentaci´ on Silog´ıstica Argumentaci´ on Silog´ıstica Tipo de Argumentos a Analizar Representaci´on Conjuntista de las Proposiciones Cada uno de los 4 tipos de proposiciones anteriores lo podemos formalizar conjunt´ısticamente si pensamos en el conjunto de los objetos que tienen la propiedad en cuesti´on. [Universal Afirmativa] Utilizaremos el convenio de oscurecer (o rayar) una regi´on cuando I Ning´un A es B. Bou (bou@ub. I A ∩ B 6= ∅.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 176 / 185 . Al ir marcando (seg´ un convenga) las regiones de un diagrama de Venn es aconsejable siempre empezar por las proposiciones universales (i.

F.e. F. no hay diferencia de cara a la correcci´on en el hecho de que para marcar con un “×” entonces la ponemos en el borde hablemos de “perros”. Argumentaci´ on Silog´ıstica Argumentaci´ on Silog´ıstica Correcci´on de un Argumento Silog´ıstico An´alisis Gr´afico de la Correcci´on de un Argumento Silog´ıstico Recordatorio ¿C´omo determinar si un argumento silog´ıstico es correcto o no? La correcci´on (o validez) de un argumento silog´ıstico s´olo depende de Paso 1. Formalizamos el argumento (si no lo estaba ya). B B A C A C En dicho diagrama observamos que A − C = ∅. etc. En el caso de estar de depende de la forma (i. las premisas. el argumento En dicho diagrama observamos que A ∩ C = ∅. procedemos a marcar cada una de aparecen) que las premisas sean verdaderas entonces la conclusi´on las regiones del diagrama seg´ un la informaci´on que nos dan tambi´en es verdadera. Bou (bou@ub.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 179 / 185 F. que une todas las regiones entre las que dudamos. Paso 2.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 180 / 185 . Por tanto. correcto.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 177 / 185 F. “n´ umeros”. Bou (bou@ub. el argumento es es correcto. “alumnos”. y esto s´olo la representaci´on de la conclusi´on. Representamos cada una de las premisas gr´aficamente con Recordemos que un argumento es correcto (o v´alido) sii se cumple diagramas de Venn (es aconsejable empezar representando que siempre (interpretemos como interpretemos los t´erminos que las universales). Bou (bou@ub. estructura) del silogismo. la forma del argumento.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 178 / 185 Argumentaci´ on Silog´ıstica Argumentaci´ on Silog´ıstica ¿Es correcto o incorrecto este silogismo? I ¿Es correcto o incorrecto este silogismo? II Problema 1 Problema 2 Todo A es B A−B=∅ Todo A es B A−B=∅ Todo B es C B−C =∅ Ning´ un B es C B ∩C =∅ Todo A es C A−C =∅ Ning´ un A es C A∩C =∅ Resoluci´on Resoluci´on La representaci´on gr´afica de las dos premisas da lugar al siguiente La representaci´on gr´afica de las dos premisas da lugar al siguiente diagrama de Venn. Bou (bou@ub. diagrama de Venn. es decir.. Por tanto. acuerdo el argumento es correcto. Comprobamos si el diagrama resultante est´a de acuerdo con sean verdaderas mientras que la conclusi´on sea falsa. Si un silogismo es correcto entonces es imposible que sus premisas Paso 3. “mam´ıferos”. Si tenemos diversas regiones como candidatas Es decir. y en el caso de no estar de acuerdo el argumento es incorrecto.

Bou (bou@ub. B = {1.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 182 / 185 Argumentaci´ on Silog´ıstica Argumentaci´ on Silog´ıstica ¿Es correcto o incorrecto este silogismo? V ¿Es correcto o incorrecto este silogismo? VI Problema 5 Problema 6 Todo A es B A−B=∅ Alg´ un A es B A∩B = 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= ∅ Resoluci´on Resoluci´on La representaci´on gr´afica de las dos premisas da lugar al siguiente La representaci´on gr´afica de las dos premisas da lugar al siguiente diagrama de Venn. 3}. Argumentaci´ on Silog´ıstica Argumentaci´ on Silog´ıstica ¿Es correcto o incorrecto este silogismo? III ¿Es correcto o incorrecto este silogismo? IV Problema 3 Problema 4 Todo A es B A−B=∅ Alg´ un A es B A ∩ B 6= ∅ Ning´ un A es C A∩C =∅ Todo A es C A−C =∅ Ning´ un B es C B ∩C =∅ Alg´ un C es B C ∩ B 6= ∅ Resoluci´on Resoluci´on La representaci´on gr´afica de las dos premisas da lugar al siguiente La representaci´on gr´afica de las dos premisas da lugar al siguiente diagrama de Venn. No obstante. B B A C A × C Aqu´ı no podemos concluir que B ∩ C = ∅. es mejor justificar que es incorrecto dando un contrajemplo. 2}. y por tanto. B B A × C A C ×× Aqu´ı no podemos concluir que A ∩ C 6= ∅. el argumento es Aqu´ı no podemos concluir que A ∩ C 6= ∅.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 184 / 185 . No obstante. es mejor justificar que es incorrecto dando un incorrecto. 4}. En dicho diagrama observamos que C ∩ B 6= ∅. el argumento es correcto. el argumento es incorrecto. contrajemplo. el argumento es incorrecto. y por tanto.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 183 / 185 F. F. Bou (bou@ub. 2} y C = {2. diagrama de Venn. 3} y C = {3. 2} y C = {2. No obstante. F. 3}. y por tanto. es mejor justificar que es incorrecto dando un contrajemplo. diagrama de Venn. B = {2. en este caso sirve A = {1. en este caso sirve A = {1}. Bou (bou@ub. Bou (bou@ub. y por tanto.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 181 / 185 F. B = {1. en este caso sirve A = {1}.

en este caso sirve A = {1. Bou (bou@ub. No obstante. B A C Aqu´ı no podemos concluir que A ∩ C = ∅.edu) Introducci´ on a la L´ ogica I 16 de diciembre de 2009 185 / 185 . B = {3. 5}. 4} y C = {2. el argumento es incorrecto. Argumentaci´ on Silog´ıstica ¿Es correcto o incorrecto este silogismo? VII Problema 7 Ning´ un A es B A∩B =∅ Ning´ un B es C B ∩C =∅ Ning´ un A es C A∩C =∅ Resoluci´on La representaci´on gr´afica de las dos premisas da lugar al siguiente diagrama de Venn. F. 2}. es mejor justificar que es incorrecto dando un contrajemplo. y por tanto.