Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Modulo Lã"gica
Modulo Lã"gica
Pedro Moschetto
Esmeraldas, 2007
PRESENTACIN
BIBLIOGRAFA
consultada
Nota: Las obras precedidas por dos asteriscos son las que utilic de una manera
especial.
* Arnaz, Jos Antonio - Iniciacin a la Lgica Simblica - Trillas, Mxico, 1994, pp.
106.
* Barreiro de Nudler, Telma; Nudler, Oscar Elementos de Lgica Simblica Kapelusz, Buenos Aires, Argentina, 1973, pp. 133.
* Barreiro de Nudler, Telma; Nudler, Oscar Elementos de Lgica Simblica.
Ejercicios Kapelusz, Buenos Aires, Argentina, 1973, pp. 72.
* Barreiro de Nudler, Telma Lgica Dinmica (Nociones tericas y ejercicios de
Lgica Tradicional y Simblica) Kapelusz, Buenos Aires, Argentina, 1980, pp. 184.
* Bovio, E.; Manzone Bertone, L. Aritmetica Moderna Lattes, Torino, Italia, 1991,
pp. 665.
* * Carrol, Lewis El juego de la lgica Alianza Editorial, Madrid, Espa, 1996
pp. 173.
* * Garca Trevijano, Carmen El arte de la lgica Tecnos, Madrid, Espaa, 1999
pp. 206
* Gortari (de), Eli Iniciacin a la Lgica Editorial Grijalbo, Mxico, 1969, pp. 289.
* Jasso Gutirrez, Pedro Lgica Matmatica Mxico, 1988, pp. 68.
* * Montaner, Pedro Arnau, Hilari Teora y prctica de la Lgica Proposicional
Biblioteca Didctica de Filosofa Vicens Vives, Barcelona, Espaa, 1997 pp. 171.
* National Council of Teachers of Mathematics U.S.A. Trillas, Mxico, 1970, pp. 64.
* * Pellerey, Michele Costruiamo la Matemtica 3 SEI, Torino, Italia, 1994, pp.
703.
* Prior, Arthur N. Historia de la Lgica Editorial Tecnos, Madrid, Espaa, 1976, pp.
252.
* * Siviglia, Paolo; Sala, Nicoletta Il testo di Matemtica 1 Morano Editore, Napoli,
Italia, 1993, pp. 953.
Estudiante:
Protgoras:
Simbolizacin de Proposiciones
1 SIMBOLIZACIN DE PROPOSICIONES
1.1
Proposiciones o Enunciados
Las primeras tres frases son ciertas, las tres sucesivas son falsas. La 7 expresa una
opinin personal. La 8 representa una previsin y no se puede saber con seguridad si es
verdadera o falsa. La 9 es una pregunta. La 10 es una orden.
En Lgica definimos proposicin o enunciado toda frase de la cual podemos decir
que es cierta o falsa; o sea, toda frase a la cual se puede asignar un valor de certeza.
Recuerda:
- Toda oracin es una expresin, pero no toda expresin es una oracin.
- Todo enunciado es una oracin, pero no toda oracin es un enunciado.
- En Lgica utilizamos indistintamente la palabra enunciado y la palabra
proposicin.
Analizando los ejemplos anteriores, podemos decir que las primeras seis son
proposiciones(o enunciados), mientras que las ltimas cuatro no lo son (son simples
oraciones) y no pertenecen a la Lgica.
c) Existen en Lgica dos clases de proposiciones: unas se denominan atmicas y otras
moleculares:
* atmicas (o simples): son las proposiciones ms sencillas;
* moleculares (o compuestas): son las que se forman juntando una o varias
proposiciones atmicas por medio de un conector o trmino de enlace.
- Veamos dos proposiciones atmicas:
Estoy enfermo.
Me quedo en casa.
1.2
no
si...entonces
es una proposicin molecular que utiliza el trmino de enlace no, el cual acta sobre
una sola proposicin atmica:
La luna es una estrella.
* La proposicin:
es una proposicin molecular que utiliza el conector si...entonces, que acta sobre dos
proposiciones atmicas:
Soy esmeraldeo.
Soy ecuatoriano.
* La proposicin
Ejercicio 1
A) Seala las frases que son proposiciones lgicas y las que no pertenecen a la Lgica.
Explica el por qu.
1. Adnde vas?
2. Cierra la puerta!
3. Cristbal Coln vino a Amrica.
4. Qu bonito!
5. 99 es un nmero primo.
6. El 25 de diciembre es Navidad.
7. Va a comprar la leche!
8. Colombia se encuentra en Centroamrica.
9. Has ido a clase?
10. La pelcula es aburrida.
B) Seala cada proposicin atmica con una A y cada proposicin molecular con una
M (escribiendo a lado el trmino de enlace utilizado).
1. Hoy vamos a comer a las dos.
2. El tigrillo andaba por el sendero.
3. La msica es muy suave o la puerta est cerrada.
4. A este perro le gusta cazar gatos.
5. l pregunta por su cachimba y pide tabaco.
6. Si Luis es un buen jugador, entonces participar en el partido del Barcelona.
7. Se puede encontrar a Charito en casa de Cristina.
8. A las focas no les crece el pelo.
9. x = 2 y z = 10.
10. y + z 2.
11. Luisa lloraba con la cara oculta entre las manos.
12. All, entre las sombras, he visto brillar un rayo de luz.
13. Hoy no se fa, maana tampoco.
14. Cuando lloro no me salen las lgrimas.
15. No puedo dormir pensando en los exmenes.
C) Formar cuatro proposiciones moleculares utilizando una o dos de las proposiciones
escritas a continuacin (utilizar cada uno de los trminos de enlace una sola vez).
1.
2.
3.
4.
5.
6.
7.
8.
D) Diga cules son los trminos de enlace en las proposiciones siguientes y cuntas
proposiciones atmicas se encuentran en cada proposicin molecular.
1.
2.
3.
4.
1.3
Se pueden sustituir los espacios por cualquier proposicin (sea atmica sea molecular) y
la forma es la misma.
Ejemplo: Juan no est aqu y Pedro no ha ido a casa (el trmino de enlace y enlaza
dos proposiciones moleculares).
b) Podemos aplicar lo que hemos dicho a los dems trminos de enlace:
* (Sigo durmiendo) o (voy a caminar).
* Si (quieres ir a la playa), entonces (te acompao).
* No (tengo suerte).
Se pueden llenar los espacios contenidos entre parntesis con cualquier proposicin:
Luis va al estadio o Elena va de paseo.
Si 1 + 2 = x, entonces x = 3.
Si Mara no est enferma, entonces Juanita est contenta.
No voy al mercado.
c) Algunas veces en castellano se usan dos o ms palabras para un trmino de enlace.
- Se puede usar la nica palabra o:
Es muy bueno o es sencillo.
- Se puede aadir tambin la palabra o al principio:
10
La Lgica no es difcil
x1
x no es igual a uno.
11
Ejercicio 2
A) Utilizar los parntesis para evidenciar la forma de las proposiciones moleculares
siguientes:
1.
2.
3.
4.
).
1.4
Simbolizacin de proposiciones
A veces las proposiciones atmicas del lenguaje corriente son largas y de difcil
manejo. En Lgica se soluciona el problema utilizando smbolos en lugar de las
proposiciones en lenguaje corriente.
+ Todo aquello que representa o evoca otra cosa lo definimos signos. Las seales de
trfico, las palabras, el humo, las representaciones de figuras geomtricas, las notas
12
musicales, las banderas, etc., son signos. Para que algo pueda ser considerado signo
es necesario que tenga significado para un intrprete (=receptor). Cuando la relacin
entre signo y su significado es puramente arbitraria, se habla de smbolos. Las
palabras, los nmeros, las banderas son smbolos.
+ La lgica formal y la matemtica son lenguajes artificiales. Su aplicacin al
terreno cientfico ha permitido el desarrollo extraordinario de las ciencias.
+ Un lenguaje artificial se denomina lenguaje formal cuando utiliza una tabla de
smbolos formales (formas que carecen de significado fijo) y cuyas reglas
sintcticas facilitan las operaciones y el clculo. La lgica y la matemtica son
lenguajes formales.
+ Los smbolos pueden ser variables y constantes.
* Son variables los smbolos que carecen de significado fijo, y pueden recibir
una gran cantidad de contenidos. En matemtica, los nmeros pueden utilizarse
para contabilizar caballos, conjuntos, ngulos, conceptos, etc., pero nunca decimos
que el nmero 3 se refiere slo a caballos, conjuntos, etc. En lgica, el smbolo A
puede traducir cualquier enunciado afirmativo, como Pablo es un joven de
Esmeraldas o El mercado general se encuentra muy lejos. Los smbolos variables
constituyen el vocabulario primitivo del lenguaje formal.
+ Los smbolos constantes son smbolos con un sentido fijo, que sirven para
enlazar entre s los smbolos del vocabulario primitivo. En los lenguajes formales
los smbolos constantes se llaman tambin operadores. En matemtica, los signos
de sumar, restar o dividir son smbolos constantes u operadores. En lgica, los
smbolos de los trminos de enlace (ver el prrafo siguiente) son signos operadores
que enlazan unas variables con otras.
+ El conjunto de frmulas de un lenguaje formal (en nuestro caso, del clculo
proposicional) son construcciones (= esquemas o frmulas) sin sentido fijo o
determinado, y cobran su significado mediante la interpretacin.
+ La interpretacin es una categora semntica que consiste en dotar de una
significacin a un smbolo o tambin atribuir un conjunto de significaciones a un
conjunto de smbolos.
La expresin simblica P o Q adquiere significado cuando a P le damos el valor
de Juan estudia, y a Q el valor de Juan trabaja.
Los smbolos que se usan para representar proposiciones son letras o maysculas o
minsculas. Nosotros utilizaremos letras maysculas: A, B, C, D...,K, X, Q, etc.
Por ejemplo: P = La nieve es profunda.
Q = El tiempo es fro.
Con estas dos proposiciones atmicas formamos una proposicin molecular, encerrando
entre parntesis las proposiciones atmicas:
(La nieve es profunda) y (el tiempo es fro).
13
(R) o (S).
- Si una proposicin tiene el trmino de enlace no, la palabra se coloca delante del
smbolo que sustituye la proposicin atmica (por lo general en castellano la negacin
se encuentra dentro de la proposicin).
Ejemplo: Los pjaros no son animales de cuatro patas.
Sea:
No (Q).
- Utilizando smbolos para las proposiciones atmicas es ms fcil trabajar con las
proposiciones moleculares, que son a veces complicadas. Los ejercicios siguientes
sirven para adquirir prctica en la simbolizacin de las proposiciones.
Ejercicio 3
A) Simbolizar las proposiciones moleculares sustituyendo las atmicas por letras
maysculas.
1.
2.
3.
4.
5.
6.
4. (No (E).
5. Si (R), entonces (S).
6. No (L).
14
C) Cada una de las proposiciones siguientes es molecular. Primero indicar cules son
los trminos de enlace de cada proposicin, despus escribir separadamente las
proposiciones atmicas que se encuentran en cada una de las proposiciones
moleculares.
1.
2.
3.
4.
5.
6.
1.5
Si x = y, entonces x = 2
Si x 2, entonces y 1
Si x 2 o x 3, entonces x = 1.
Si x + y = 3, entonces y + x = 3
x + y + z = 2 o x + y = 10
Utilizamos smbolos distintos para los trminos de enlace distintos. Vamos a considerar
cada trmino de enlace por separado.
Ejemplo:
Los ojos de tu hermano son azules y los ojos de tu primo son verdes.
Simbolizando:P = Los ojos de tu hermano son azules.
Q = Los ojos de tu primo son verdes.
Tendremos::
Importante!
Las expresiones del lenguaje natural tales como ni, pero, que, e, mas, aunque,
etc., muchas veces significan y, y se sustituyen por el smbolo &. A veces tambin la
coma puede indicar una y.
Ejemplos:
- Estos problemas no son muy difciles para m, aunque he tardado en resolverlos (el
trmino aunque puede ser sustituido por y).
- Me van bien los estudios, pero no los apruebo (el trmino pero se sustituye por
y).
Ejercicio 4
A) Simbolizar completamente las proposiciones siguientes. Indicar la proposicin
atmica que corresponde a cada letra.
1.
2.
3.
4.
5.
3. (H) y (K).
4. A la vez (M) y (N).
16
(Recuerda: en castellano, se puede utilizar tambin una o al comienzo, pero las dos o
constituyen un solo trmino de enlace.).
Ejemplo:
Sea:
Importante!
Las expresiones del lenguaje natural tales como bien...bien, ya...ya, etc., tienen
significado de disyuncin y se sustituyen por el smbolo v.
Advertencia: Para simbolizar una proposicin del tipo: Deseo estudiar en la
Politcnica Salesiana o en la Pontificia Universidad Catlica, hay que tener presente
que la expresin en la Pontificia Universidad Catlica no es una proposicin si no se la
completa repitiendo deseo estudiar:
A = Deseo estudiar en la Politcnica Salesiana.
B = Deseo estudiar en la Pontificia Universidad Catlica.
A B.
Ejercicio 5
A) Simbolizar completamente las proposiciones siguientes. Indicar la proposicin
atmica sustituida por cada letra.
1.
2.
3.
4.
5.
(P) o (Q).
(R) o (S).
O (P) o (Q).
O (M) o (N).
17
2. (M) (N).
3. (R) (S).
3. O x = 3 o x 2.
4. A la vez z = 0 y x = 0.
no
La proposicin
No (P).
18
2. No (R).
4. No es cierto que no (S).
2. No (R) y no (S).
3. O (A) o no (B).
D) Primero sealar cada trmino de enlace en las proposiciones que siguen. Despus,
simbolizar la proposicin entera sustituyendo:
P = Jos es puntual.
Q = Mara llega tarde.
1.
2.
3.
4.
5.
3. (R) (S).
4. (T) & (S).
5. (P).
6. (L) (M).
Si...entonces...
Ejemplo:
20
La otra es:
Se suspende el paseo.
PQ
21
1.
2.
3.
4.
1. 6
Agrupamientos y parntesis
)&(
).
Es una conjuncin, y los espacios entre parntesis se pueden llenar tanto con
proposiciones atmicas como con proposiciones moleculares. Si se utilizan
proposiciones moleculares, stas a su vez contienen otros trminos de enlace; sin
embargo, la & se mantiene como trmino de enlace dominante o mayor.
Ejemplo: Luis no estudia en el colegio y Carlos no estudia en la escuela.
Es la conjuncin de dos negaciones.
Sea:
( T) & ( A).
Vamos a considerar ahora una conjuncin cuyo primer miembro sea a su vez una
disyuncin:
A la vez x = 1 o x = 2, y z = 3.
Sea:
P: x = 1
Q: x = 2
22
R: z = 3
La disyuncin es:
(P) (Q),
R = El libro es verde.
QR
23
(P Q).
Ejercicio 8
A) Cada una de las proposiciones siguientes es una conjuncin. Poner los parntesis
para indicar que y es dominante.
1) P Q & R
2) Q & R P
3) M N & S
B) Cada una de las proposiciones siguientes es una disyuncin. Poner los parntesis
para indicar que la o es dominante.
1) P Q & S
2) Q & S R
3) M & N P
C) De cada una de las proposiciones siguientes se dice que es una conjuncin o una
disyuncin. Indicar el agrupamiento adecuado poniendo los parntesis oportunos.
1) disyuncin: S T & R
3) conjuncin: T S & Q
2) conjuncin: T & S R
4) disyuncin: P Q & T
D) En cada una de las proposiciones siguientes uno de los smbolos (, , &) domina.
Por tanto, las proposiciones son disyunciones, conjunciones, condicionales. Sin ningn
cambio ms que la adicin de parntesis, convertir cada proposicin en una negacin.
1) P R
2) P Q
3) R & S
4) Q & S
E) Dar la negacin de cada una de las proposiciones siguientes aadiendo smbolos de
negacin, y parntesis si es necesario.
1) S
4) A B
3) M
6) (A & B)
2) Q & R
5) A B
negacin: P R
condicional: P R
conjuncin: P & R
negacin: R & T
5) disyuncin: Q R
6) negacin: T S
7) condicional: P R
8) negacin: P Q
1.7
(P & Q) R
P (Q R)
se puede escribir
se puede escribir
P&QR
PQR
As, la proposicin
tiene significado distinto de
Regla 2: El signo de negacin es ms dbil que cualquiera de los otros tres trminos
de enlace.
En vez de
En vez de
En vez de
( P) & Q
P ( Q)
( P) ( Q)
se escribe
se escribe
se escribe
P&Q
P Q
PQ
Finalmente, puesto que & y son igualmente fuertes, cuando se presentan ambos en
una proposicin, se tiene que poner siempre los parntesis para indicar cul es el
trmino de enlace dominante.
As, el significado de
PQ&R
no es claro.
Pues,
(P Q) & R
P (Q & R)
es una conjuncin;
es una disyuncin.
Ejercicio 9
A) Junto a cada una de las proposiciones siguientes se indica el tipo de proposicin
molecular al que pertenece. Utilizando las reglas de prioridad sobre las potencias de
los smbolos, aadir los parntesis slo donde son necesarios.
1.
2.
3.
4.
5.
condicional P Q R
disyuncin P Q & R
conjuncin R S & T
negacin R & S
condicional P Q R
6. Negacin P Q
7. Conjuncin A & B C
8. Disyuncin M N P
9. Negacin P Q
10. Conjuncin A B & C
26
Conjuncin
Disyuncin
Condicional
Conjuncin
Disyuncin
Condicional
Condicional
Conjuncin
x0xy&y=z
x=yx0y=0
x=0xy&yz
x=yx=z&yz
x=0x0&y=z
x=y&y=zx=z
xy&yzxz
x=yx=z&yz
Ejercicio 10
Ejercicios de repaso
A) Poner una A despus de cada proposicin atmica y una M despus de cada
proposicin molecular (escribir el trmino de enlace utilizado en la proposicin
molecular).
1. Las bacterias en el agua o se destruyen hirviendo el agua o se destruyen por
clorizacin.
2. Este libro tiene ms pginas que el otro.
3. La guerra no puede explicarse totalmente por una sola causa.
4. Un mineral tiene propiedades fsicas y tiene propiedades qumicas.
5. Si voy a Muisne, entonces tomar el sol en la playa.
6. No se puede terminar el trabajo hoy.
7. Somos capaces de hacer todos los ejercicios de esta pgina.
8. Rosa es mayor de edad y su hermano es menor de edad.
9. Las proposiciones moleculares tienen trminos de enlace.
10. Voy a clase o voy al estadio.
B) Escribir cuatro proposiciones atmicas y cuatro proposiciones moleculares (con
trminos de enlace distintos).
C) Simbolizar las proposiciones siguientes, indicando por cada proposicin atmica la
letra correspondiente.
1) Si son ms de las seis, entonces la asamblea ha empezado.
2) O mi reloj va mal o llegaremos tarde.
3) Si las clulas de las plantas no tienen clorofila, entonces no pueden sintetizar los
alimentos.
4) Ayer llovi todo el da y hoy el sol nos quema.
5) No puedo ir de paseo y tengo que quedarme en casa.
D) Simbolizar las proposiciones siguientes, utilizando los smbolos indicados:
27
Si P, entonces Q.
O P o Q.
O no P o no Q.
No ocurre que o P o Q.
Si no P, entonces no Q y R.
6. No Q, y, si P, entonces R.
7. P y, si Q, entonces no R.
8) O P y Q, o R y S.
9) No ocurre que, si P, entonces Q.
10) Si o P o Q, entonces no R.
Disyuncin
Negacin
Proposicin condicional
Proposicin molecular
Antecedente
Consecuente
Conjuncin
Proposicin atmica.
a) P Q
b) (P & Q)
c) P Q
d) Q en la proposicin P Q
e) P
f) P en la proposicin P Q
g) P & Q
h) Cualquier proposicin con trmino
de enlace.
j) Cualquier proposicin sin trmino de
enlace.
28
I)
2) A B
4) M & N R
6) P & Q R.
1) Todo nmero decimal peridico infinito, se puede escribir como una fraccin.
2) Todo nmero racional se puede escribir como un decimal finito, o como un decimal
peridico infinito.
3) El orden de los sumandos no altera la suma.
4) El orden de los factores no altera el producto.
5) Si A y B son dos elementos distintos, no puede suceder que a la vez A se relacione
con B y que B se relacione con A.
6) Si un elemento A se relaciona con otro elemento B y ste con C, tambin el primero
deber relacionarse con el tercero.
7) Todo nmero mayor que 1, o es primo o puede expresarse como producto de factores
primos.
8) Todo lo que es, es.
9) Es imposible que una misma cosa sea y no sea.
10) Preguntar si una ciencia es posible supone que se ha dudado de su realidad (Kant,
Prolegmenos, Prefacio).
29
11) El entendimiento no puede intuir nada y los sentidos no pueden pensar nada (Kant,
Crtica de la Razn Pura, Introduccin).
12) Si una sustancia pudiese ser producida por otra, su conocimiento debera depender
del conocimiento de su causa (Spinoza, Etica).
13) Todo es perfecto al salir de las manos del hacedor; todo degenera entre las manos
del hombre (Rousseau, El Emilio).
14) Los grados de velocidad adquiridos por el mismo mvil sobre planos de diversa
inclinacin son iguales si son iguales las alturas de los diversos planos (Galileo,
Discursos).
15) Se dice que un cuerpo est uniformemente acelerado cuando partiendo del reposo
adquiere, durante intervalos iguales, incrementos iguales de velocidad (Galileo,
Discursos).
16) Si se enuncia el ser como el predicado de lo Absoluto, se obtiene la primera
definicin de ste: lo Absoluto es el ser (Hegel, El Ser y la Nada, Enc., 86).
17) Toda la objecin se reduce a esta verdad innecesaria: no hay trabajo asalariado
donde no hay capital (Marx, Manifiesto Comunista).
M)
Leer las siguientes proposiciones simbolizadas, indicando primeramente cul es
la dominante.
1) ( A B) A B
2) A B ( A B & C)
3) ( B & C) (B D E)
4) ( P & ( Q R) B) C
5) (A B) (C D & E)
6) ( A B) & ( C D E)
7) ( A & B) D (C & E F)
8) (B C ( E F G))
30
2 INFERENCIA LGICA
4.1
INTRODUCCIN
1) Hasta ahora hemos aprendido a dividir las proposiciones en sus partes lgicas y
hemos llegado a conocer algo sobre la forma lgica de las proposiciones. Podemos
dirigirnos ya hacia una parte importante de la lgica formal: inferencia y deduccin.
Podemos definir la Lgica como la teora de las condiciones del razonamiento
formalmente vlido.
(Razonamiento, inferencia, argumento son sinnimos).
Un razonamiento es un proceso mental que se caracteriza porque en l se produce un
paso de uno o ms enunciados (las premisas) a otro posterior (la conclusin) que se
deduce necesariamente de las premisas.
Las reglas de inferencia que rigen el uso de los trminos de enlace son muy simples.
Damos el nombre de frmulas lgicas a las proposiciones simbolizadas.
Se empieza con conjuntos de frmulas que se denominan premisas.
Utilizando las reglas de inferencia, las premisas nos conducen a otras frmulas que se
denominan conclusiones.
El paso lgico de las premisas a la conclusin es una deduccin.
La conclusin que se obtiene se dice que es una consecuencia lgica de las premisas si
cada paso que se da para llegar a la conclusin est permitido por una regla.
La idea de inferencia se puede expresar de la siguiente manera:
De premisas verdaderas se obtienen slo conclusiones que son verdaderas.
31
Un razonamiento es formalmente vlido cuando existe una conexin adecuada entre las
premisas y la conclusin.
Hagamos un ejemplo: supongamos tener dos premisas:
- la frmula
- y la frmula
PQ
P
que se da
y que se da
PQ
P
+ Adems, los juegos y los clculos se caracterizan por ser sistemas cerrados en los que,
no respetar las reglas supone salir del juego.
+ Por otra parte, clculos y juegos carecen de finalidades externas a s mismos, esto es,
finalidades distintas a los de jugar o calcular. Slo si se consideran clculos
interpretados, la matemtica puede aplicarse a la construccin de puentes, la lgica a
32
4.2
33
II Ejemplo:
Premisa 1:
Premisa 2:
Conclusin:
PQ
P
Q
II Ejemplo:
A = Hoy sale el avin.
B = Me voy a Quito.
Primera premisa:
Segunda premisa:
Conclusin:
A B
A
B
P
PQ
----------Q
P&QR
P&Q
------------R
PQ
P
----------Q
34
PQ&R
P
-------------Q&R
PRS&Q
PR
------------------------S&Q
( P R) (S & Q)
( P R)
-----------------------------(S & Q)
Ejercicio 1
A.
1. Si usted est en Quito, su reloj seala la misma hora que en Loja. Usted est en
Quito.
2. Si no salimos ahora, entonces no cumpliremos nuestro plan. No salimos ahora.
3. Si esta planta no crece, entonces o necesita ms agua o necesita mejor abono. Esta
planta no crece.
4. Son las cinco. Si son las cinco, entonces la oficina est cerrada.
5. Si Pablo vive en Riobamba, entonces no vive en la Costa. Pablo vive en Riobamba.
B.
Utilizando el modus ponendo ponens, sacar una conclusin de cada uno de los
conjuntos de premisas siguientes. Escribir las conclusiones en la lnea (3).
1. (1) P Q R
(2) P Q
(3)
3. (1) P
(2) P Q
(3)
35
5. (1) P Q R
(2) P
(3)
C.
Poner una C junto a cada ejemplo en el que la conclusin es correcta. Poner una
I junto a cada conclusin incorrecta.
Premisas: S , S T; conclusin: T
2. Premisas: T V , T; conclusin: V
3. Premisas: P Q , Q; conclusin: P
4. S , R S; conclusin: R
1.
D.
Utilizar el modus ponendo ponens para deducir una conclusin de cada uno de
los conjuntos de premisas siguientes:
1.
2.
3.
4.
Si x 0, entonces x + y 1. x 0
Si x + y = z, entonces y + x = z. x + y = z
Si x z y z y , entonces x y. A la vez x z y z y.
A la vez x = z y z = y. Si x = z y z = y, entonces x = y.
Demostraciones
Empezamos con presentar algunos ejercicios complejos y veamos si somos capaces de
desarrollar un razonamiento aplicando ms de una vez siempre la nica regla lgica que
por ahora conocemos (modus ponendo ponens): se trata, como diremos ms adelante,
de cadenas deductivas.
Estos seis ejercicios en este momento pueden parecer a la mayora muy difciles; y,
efectivamente, para los que empiezan el razonamiento deductivo a travs de la lgica,
presentan un grado notable de dificultad. Si alguien puede llegar a la conclusin sin que
nadie le haya dado indicaciones, significa que su mente ya est preparada para el
razonamiento deductivo y el camino de la lgica le parecer una...autopista. Si los
alumnos no pueden resolverlos por su cuenta, no hay que desalentarse. Aprendern,
poco a poco, cmo desarrollar la capacidad deductiva; y dentro de pocas semanas,
retomando estos mismos ejercicios, se darn cuenta de que han caminado en su
capacidad lgica porque los encontrarn...fciles.
36
1. Demostrar: P
1) M N
2) T M
3) N P
4) T
5)
6)
7)
2. Demostrar: P Q
1) (R & S) M
2) M P Q
3) (R & S)
4)
5)
3. Demostrar: T
4. Demostrar: (R S)
1) P Q
1) (P & Q) N
2) Q N
2) T (P & Q)
3) N M
3) N (R S)
4) M R
4) T
5) R T
6) P
5. Demostrar: ( M & N)
6. Demostrar: P ( T U)
1) ( S T) ( P Q)
1) Q (P ( T U))
2) ( P Q) W
2) ( M N) R S
3) W ( M & N)
3) (R S) Q
4) S T
4) M N
Cuando se usa una regla de inferencia lgica para pasar de un conjunto de proposiciones
a otra proposicin, se demuestra que la ltima proposicin es consecuencia lgica de las
otras. Esto se puede expresar de muchas maneras. Se puede decir que se ha derivado la
conclusin de las premisas, que la conclusin se infiere o se deduce de las
premisas, etc.
Ejercicio 2
A.
Ejemplo:
1. (1) A B
(2) A
3. (1) R
(2) R T Q
(1) P S
(2) P
(3) S
P
P
PP
2. (1) M
(2) M N
4. (1) B D & A
(2) B
37
B.
Algunas veces no se puede ir directamente a la conclusin con un solo paso. Pero, cada
vez que se deduce una proposicin por medio de una regla, esta proposicin se puede
utilizar junto con las premisas para deducir otra proposicin.
Veamos un ejemplo con tres premisas:
(1) A B
(2) B C
(3) A
P
P
P
Se quiere demostrar C. Para llegar a C se necesitan dos pasos, cada uno permitido por el
modus ponendo ponens (PP). Estos dos pasos son las lneas (4) y (5).
(1) A B
(2) B C
(3) A
(4) B
(5) C
P
P
P
PP 1,3
PP 2,4
Cada lnea est numerada y justificada, sea por ser premisa (indicada por P), sea por ser
deducida por una regla de inferencia (indicada por la abreviatura PP). Adems, despus
de las abreviaturas correspondientes a las reglas empleadas para obtener las lneas
deducidas, se ha indicado el nmero de las lneas a partir de las cuales se ha deducido
esta lnea.
En este caso, en la lnea (4) la sigla PP 1,3 significa que B se ha deducido por el
modus ponendo ponens de las lneas (1) y (3). En la lnea (5), C se ha deducido por
medio de la misma regla PP de las lneas (2) y (4).
Otro ejemplo: se dan tres premisas y se quiere deducir (o demostrar) R.
(1) S T
(2) S
(3) T R
(4) T
P
P
P
PP 1,2
38
(5) R
PP 3,4
Se utiliza PP para deducir la lnea (4); despus se aplica el PP a aquella lnea y a la (3)
para deducir la conclusin (5).
Ejercicio 3
A.
Aplicando las indicaciones dadas, deducir las conclusiones que sean
consecuencia lgica de los siguientes conjuntos de premisas.
1. Demostrar: T
(1) R T
P
(2) S R
P
(3) S
P
(4)
(5)
4. Demostrar: M N
(1) J M N
(2) F G J
(3) F G
(4)
(5)
C)
2. Demostrar: G
3. Demostrar: C
(1) H J
P
(1) A B & D
(2) H
P
(2) B & D C
(3) J G
P
(3) A
(4)
(4)
(5)
(5)
5. Demostrar: S
P
(1) T
P
P
(2) T Q
P
P
(3) Q S
P
(4)
(5)
P
P
P
39
2. Demostrar: B
(1) G E
(2) E K
(3) G
(4) K L
(5) L M
(6) M B
P
P
P
P
3. Demostrar: R S
(1) C D
(2) C D F
(3) F A & B
(4) A & B R S
P
P
P
P
P
P
P
P
P
P
E) Corazn loco
Angelita est agobiada por problemas amorosos. No se aclara. Si ama a Pedro, no ama a
Don Marceln, pero si no ama a Don Marceln, ama a Roberto. Si ama a Roberto, deja
de amar a Vicente, pero si no ama a Vicente, entonces ama a Francisco, el lechero de la
esquina.
- Angelita, por favor, - la increpamos - es que no ests segura de tus sentimientos?
- Una cosa es cierta nos responde -. Estoy segura de que amo a Pedro.
Podras ayudarla aclarando sus ideas? (Montaner 52)
(Hay que formalizar las premisas del razonamiento y deducir a quines ama Angelita).
Doble negacin
40
P
-------------------P
P
DN 1
(1) P Q
(2) P
(3) Q
(4) Q
P
P
PP 1,2
DN 3
Ejercicio 4
A.
41
1. (1) P & Q R
(2) R
4. (1) Q R S
(2) Q
2. (1) R
(2) Q R
5. (1) S
(2) S P
3. (1) S T & U
(2) T & U
6. (1) P Q
(2) P
C.
Poner la letra C junto a cada afirmacin cierta.. Poner la letra F junto a cada
afirmacin falsa.
1.
2.
3.
4.
5.
6.
De R se puede deducir R
De Q se puede deducir Q
De S se puede deducir S
De R Q y P se puede deducir R
De P Q y P se puede deducir Q
De R se puede deducir R
D.
Demostrar que las conclusiones son consecuencia lgica de las premisas. Dar la
demostracin completa.
1. Demostrar: T
(1) S T P
(2) S
P
(3)
(4)
2. Demostrar: B
(1) A
(2) A B
(3)
(4)
P
P
3. Demostrar: G
(1) H G
(2) H
(3)
(4)
4. Demostrar: P Q
(1) R (P Q)
(2) R
(3)
(4)
P
P
P
P
E.
En lgica cualquier nmero par de negaciones equivale a una afirmacin (as
P = P), y un nmero impar de negaciones corresponde a una negacin ( P =
P). Te invito ahora a descifrar los siguientes titulares de prensa:
1) No es cierto que el Congreso Nacional se haya opuesto a la negativa del Presidente
respecto a la ley que prohibe la instalacin de misiles nucleares.
2) El criminal neg que estuviese mintiendo cuando afirm que no deca la verdad al
negar que tena un cmplice.
42
La regla permite pasar de dos premisas (una proposicin condicional y una proposicin
que niega el consecuente de esta condicional) a una conclusin que niega el
antecedente.
Hay que recordar que tanto el antecedente como el consecuente pueden ser
proposiciones atmicas o moleculares.
Ejemplos:
(1) Q & R S
(2) S
(3) (Q & R)
P
P
TT 1,2
(1) P Q
(2) Q
(3) P
P
P
TT 1,2
(1) A B
(2) B
(3) A
P
P
TT 1,2
P
P
P
TT 1,2
PP 3,4
DN 5
2. Demostrar: A
(1) A B
(2) B
(3) B
(4) A
(5) A
P
P
DN 2
TT 1,3
DN 4
Para la aplicacin correcta del modus tollendo tollens, hay que haber entendido bien el
uso de la doble negacin: como B es la negacin de B, as B es la negacin de B,
porque B corresponde a B.
43
Ejercicio 5
A.
De cada uno de los conjuntos de premisas se puede deducir una conclusin.
Escribirla en castellano.
1. Si un ngulo de un tringulo es mayor de 90, entonces la suma de los otros dos
ngulos es menor de 90. La suma de los otros dos ngulos no es menor de 90.
2. Si llovi de madrugada, entonces las pistas se han limpiado. Las pistas no se han
limpiado.
3. Jos no es mi hermano. Si Susana es mi hermana, entonces Jos es mi hermano.
B.
1. (1) Q R
(2) R
(3)
C.
P
P
2. (1) R S
(2) S
(3)
3. (1) P Q & R
(2) (Q & R)
(3)
P
P
P
P
2. Demostrar: F
3. Demostrar: S
(1) G H
P
(1) S R
(2) G F P
(2) R
(3) H
P
5. Demostrar: ( P Q)
(1) R & S D W
(2) D W T
(3) ( P Q) M N
(4) T
(5) M N R & S
6. Demostrar: (R S & T)
7. Demostrar: (R & S)
(1) M & N Q
(1) (P Q)
(2) ( U W)
(2) R & S N
(3) Q ( U W)
(3) U W (P Q)
(4) (R S & T ) M & N
(4) N U W
8. Demostrar: ( U W)
(1) ( M N)
(2) ( U W) ( P ( R S))
(3) ( P ( R S)) ( M N)
9. Demostrar: P
10. Demostrar: ( P Q)
(1) U W M
(1) W R & S
(2) S T
(2) ( U H)
(3) Q R
(3) T M N
(4) P Q
(4) (R & S) (U H)
(5) T U
(5) (M N) W
1. Demostrar: C
(1) B
P
(2) A B
P
(3) A C P
4. Demostrar: ( P Q)
(1) T
(2) N S
(3) S T
(4) P Q N
44
P
P
(6) ( W M)
(7) R S
(6) ( P Q) T
45
Hay que comprender bien (ya lo hemos recordado ms arriba) la extensin del concepto
de negacin. Es fcil ver que P es la negacin de P. Pero no todos ven claramente que
P es la negacin de P. Dado P, su negacin es P. Ahora bien, segn la regla de
la doble negacin, P es equivalente a P. Por lo tanto, P es la negacin de P.
Aqu no hemos introducido una nueva regla, sino una reflexin que nos permite
simplificar el camino de una demostracin.
Ejemplos:
camino normal
1.
(1) A B
P
(2) B
P
(3) B
DN 2
(4) A
TT 1,3
2.
3.
camino normal
(1) A B
(2) B
(3) A
(4) A
P
P
TT 1,2
DN 3
camino normal
(1) P Q
(2) Q
(3) Q
(4) P
(5) P
P
P
DN 2
TT 1,3
DN 4
camino simplificado
(1) A B
P
(2) B
P
(3) A
TT 1,2
camino simplificado
(1) A B
(2) B
(3) A
P
P
TT 1,2
camino simplificado
(1) P Q
P
(2) Q
P
(3) P
TT 1,2
Ejercicio 6
A.
Recordando que P es la negacin de P, evitar la regla de DN en las
demostraciones siguientes.
1. Demostrar: P
(1) P Q
(2) Q
4. Demostrar: S
(1) P Q
(2) Q R
(3) S R
(4) P
P
P
P
P
P
P
2. Demostrar: A
(1) A B
(2) B C
(3) C
5. Demostrar: A
(1) A C
P
(2) B C
P
(3) B
P
3. Demostrar: P
P
(1) P Q
P
(2) Q
P
P
6. Demostrar: A
(1) A B
P
(2) B C
P
(3) C D
P
(4) D
P
B.
Teniendo en cuenta de que x = 0 es la negacin de x 0, evitar la regla de la DN
en las deducciones siguientes.
46
1. Demostrar: x = 0
(1) x 0 x + y y
(2) x + y = y
P
P
3. Demostrar: x = y
(1) x y x z
(2) x z x 0
(3) x = 0
P
P
P
2. Demostrar: x 0
(1) x = 0 x y
(2) x = z x = y
(3) x = z
4. Demostrar: x 0
(1) x = y x = z
(2) x = z x = 1
(3) x = 0 x 1
(4) x = y
P
P
P
P
P
P
P
Adjuncin y Simplificacin
Regla de Adjuncin
Se dan dos proposiciones como premisas:
1. Martha es pequea.
2. Carlos es gordo.
P
P
A 1,2
P
P
A 1,2
b. (1) Q & S
(2) T
(3) T & (Q & S)
d. (1) P Q
(2) Q R
(3) (P Q) & (Q R)
47
P
P
A 1,2
P
P
A 1,2
Regla de Simplificacin
Es la regla opuesta a la de Adjuncin, y permite pasar de una conjuncin a cada una de
las dos proposiciones que estn unidas por y (&).
La abreviatura para indicar esta regla es S.
Ejemplo:
P&Q
P
Q
P
b. (1) (P & Q) & R
S1
(2) P & Q
P c. (1) T & S
S1
(2) S
P
S1
Ejercicio 7
A.
Qu conclusiones se pueden deducir de cada uno de los conjuntos de premisas
siguientes utilizando la regla A o la regla S?
1. El nmero atmico del hidrgeno es 1 y el nmero atmico del helio es 2
2. Esta inferencia es vlida. Aquella no es vlida.
3. A Toms le gusta esquiar y ha nevado en la montaa.
B.
Demostrar que las conclusiones siguientes son consecuencia lgica de las
premisas y dar una demostracin completa.
1. Demostrar: S
(1) R & T
(2) S R
4. Demostrar: A & B
P
P
2. Demostrar: Q
(1) P & Q
P
3. Demostrar: B & D
(1) B & C
P
(2) B D
P
5. Demostrar: S & Q
6. Demostrar: A & C
48
(1) C A
(2) C
(3) C B
C.
(1) A & B
(2) C B
P
P
P
P
P
1. (1) Q & R
D.
(1) S Q
(2) (T & R)
(3) S T & R
P
P
P
2. (1) (P Q) & S P
3. (1) S
(2) T
P
P
Aristteles naci en Estagira y fue tutor de Alejandro Magno. Pero, si naci en Estagira,
fue de nacionalidad macednica. Por tanto, Aristteles fue de nacionalidad macednica
E. Si utilizo un ampermetro (P), averiguar la intensidad de corriente (Q) que
atraviesa este circuito. Si utilizo un voltmetro (R), medir la diferencia de potencial (S)
existente entre dos puntos del mismo. Si averiguo la intensidad de corriente y la
diferencia de potencial podr calcular la resistencia elctrica del conductor (T).
Dispongo de un ampermetro y de un voltmetro, luego podr calcular la resistencia
elctrica del conductor:
P Q, R S, Q & S T, P & R T
49
P = La produccin aumenta.
Q = El precio aumenta.
De la premisa
y de la premisa
se puede concluir
PQ
P
------Q
De la premisa
y de la premisa
se puede concluir
PQ
Q
------P
50
P
P
TP 1,2
No importa cul sea el miembro negado. La disyuncin dice que por lo menos un
miembro se cumple; por tanto, si se encuentra que uno de los dos miembros no se
cumple, se sabe que el otro se cumple.
Si la segunda premisa hubiera sido: la sustancia tiene hidrgeno, qu se podra
concluir del oxgeno? No se podra concluir nada.
Esta regla, como las dems, se refiere tambin a proposiciones moleculares; en muchas
proposiciones se necesitan parntesis para indicar cul es el trmino de enlace
dominante.
Algunos ejemplos
a. (1) (P & Q) S
(2) S
(3) P & Q
P
P
TP 1,2
b. (1) S T P
c. (1) P Q
(2) T
P
(2) P
(3) S
TP 1,2
(3) Q
e. (1) Q R
(2) R
(3) Q
P
P
TP 1,2
P
P
TP 1,2
P
P
TP 1,2
Ejercicio 8
A.
Qu conclusin se puede deducir de cada uno de los conjuntos de premisas
siguientes, utilizando la regla TP? Escribir la conclusin en idioma castellano.
1) Este hombre es un abogado o un poltico. No es un abogado.
2) El puerto de Manta o est en Guayas o est en Manab. No est en Guayas.
3) Juan ha terminado el libro o no ha ido a devolverlo a la biblioteca. Juan no ha
terminado el libro.
4) O hace fro y llueve o el concierto se celebrar al aire libre. Ni hace fro ni llueve.
B.
Deducir una conclusin de cada uno de los conjuntos de premisas usando el TP.
1. (1) T (P Q)
(2) T
3. (1) S T
(2) T
C.
P
P
P
P
2. (1) Q R
(2) Q
4. (1) (P & Q)
(2) T (P & Q)
P
P
P
P
1. Demostrar: P
2. Demostrar: B
51
(1) P Q
(2) T
(3) Q T
3. Demostrar: H
(1) S
(2) S (H G)
(3) G
D.
P
P
P
P
P
P
P
P
P
P
P
P
1. O x = y o x = z.
Si x = z, entonces x = 6.
No es x = 6.
Por tanto, x = y.
3. Si x 0, entonces x y
O x = y o x = z.
x z.
Por tanto, x = 0.
E.
(1) A B
(2) A E
(3) E
4. Demostrar: P
(1) T P Q
(2) T
(3) Q
2. A la vez 1 + 1 = 2 y 2 + 1 = 3.
O 3 2 = 1 o no ocurre que 2 1 = 1.
Si 1 + 1 = 2, entonces 2 1 = 1
Por tanto, 3 - 2 = 1.
4. O x = 0 o x = y.
Si x = y, entonces x = z
xz
Por tanto, x = 0.
1. Demostrar: P
(1) P Q
(2) Q R
(3) R S
(4) S T
(5) T
3. Demostrar: (P & Q)
(1) ( W U)
(2) (R S) ( M & N)
(3) (P & Q) ( R S)
(4) ( M & N) ( W U)
2. Demostrar: Q
(1) T
(2) (P M) Q
(3) T S
(4) (R & W) (P M)
(5) S (R & W)
4. Demostrar: N
(1) Q
(2) N T
(3) M Q
(4) T S
(5) S M
5. Demostrar: P
(1) ( U W)
(2) P ( Q R)
(3) ( M & T) ( U W)
(4) ( Q R) ( M & T)
6. Demostrar : M
7. Demostrar: M N
52
(1) S T
(2) Q R
(3) M S
(4) T Q
(5) R
8. Demostrar: M N
(1) W
(2) T S
(3) T (M N)
(4) W S
10. Demostrar: P
(1) T S
(2) Q T
(3) S
(4) Q P
(1) S
(2) Q R
(3) R S
(4) Q M N
9. Demostrar: Q
(1) T S
(2) W U
(3) T W
(4) M
(5) U M
(6) R S
(7) R Q
11. Demostrar: N
(1) S M
(2) S Q
(3) W R
(4) M
(5) Q R
(6) W T
(7) T N
F.
El detective Martnez est investigando un crimen. Por ahora dispone de los
siguientes datos:
- O el crimen se cometi de noche en la ms absoluta oscuridad o el principal
sospechoso es ciego.
- Pero, o el principal sospechoso no es ciego o miente al declarar que no vio nada.
- Pero, o no miente o el detective Martnez se equivoca.
- El caso es que el detective Martnez es infalible.
Miente o no miente el sospechoso? Es ciego o no lo es?Se cometi el crimen de da
o de noche? (cf. Montaner 57)
G.
1. Demostrar: Q
(1) P Q
(2) P
(3)
(4)
(5)
3. Demostrar: P
(1) R
(2) Q R
(3) P Q
2. Demostrar: S
(1) N
(2) M N
(3) T Q
(4) M T
(5) R
(6) Q R S
4. Demostrar: R
(1) N M
(2) R S
(3) M
53
(4)
(5)
(6)
(7)
5. Demostrar: P
(1) P Q
(2) T
(3) R T
(4) Q R
H.
(4) S T
(5) Q N
(6) T Q
6. Demostrar: R
(1) S
(2) Q
(3) P S
(4) P (Q R)
El razonamiento del...perro
Crisipo, el lgico ms relevante de la Escuela Estoica, sostena que hasta el perro utiliza
el razonamiento hipottico cuando, siguiendo el rastro de una presa, llega a una
encrucijada de tres caminos, y, tras olfatear los dos primeros por los que la presa no ha
seguido, se lanza por el tercero sin detenerse a olfatearlo. Segn Crisipo, el perro
razonara as: Ha seguido por este camino, o por este segundo, o por este tercero. No
ha seguido por el primero ni por el segundo. Luego ha seguido por el tercero.
Sabras formalizar el supuesto razonamiento del perro? (cf. Garca Trevijano 41).
Deduccin proposicional
Hemos empezado a aprender el mtodo de las deducciones formales; es decir: hemos
aprendido el camino preciso para hacer razonamientos vlidos.
Un razonamiento es un conjunto de proposiciones como premisas y una conclusin
deducida de estas premisas.
Cuando decimos que un razonamiento es vlido, queremos afirmar que la conclusin es
consecuencia lgica de estas premisas.
Una deduccin formal es una serie de proposiciones o pasos, en la cual cada paso o es
una premisa o est deducido directamente de los pasos que le preceden por medio de
una determinada regla lgica.
Las premisas estn justificadas por la
Regla de Premisas
54
* El segundo paso es simbolizar el razonamiento del prrafo, que contiene tres premisas
y una conclusin.
I Premisa: Si la ballena es un mamfero, entonces toma oxgeno del aire.:
II Premisa: Si toma oxgeno del aire, entonces no necesita branquias. :
III Premisa: La ballena es un mamfero y vive en el ocano.
:
Conclusin: Por tanto, no necesita branquias.
:
A B
BC
A&D
C
P
P
P
S3
(se deduce de la lnea 3 por la ley de simplificacin).
PP 1,4 (se obtiene de las lneas 1 y 4 por el modus ponendo
ponens).
PP 2,5 (se obtiene de las lneas 2 y 5 por el modus ponendo
ponens).
55
P
P
P
P
TP 3,4
TT 2,5
TT 1,6
Si Luis tiene 16 aos, entonces Luis tiene la misma edad de Mara. Si
Alfredo no tiene la misma edad de Luis, entonces Alfredo no tiene la
misma edad de Mara. Luis tiene 16 aos y Alfredo tiene la misma edad
de Mara.. Por tanto, Alfredo tiene la misma edad de Luis y Luis tiene la
misma edad de Mara.
(1) E S
(2) T J
(3) E & J
(4) E
(5) S
(6) J
(7) T
(8) T & S
P
P
P
S3
PP 1,4
S3
TT 2,6
A 5,7
Ejercicio 9
56
A)
En los ejercicios que siguen, las premisas estn ya en forma simblica. Dar una
deduccin completa de la proposicin que se desea demostrar.
1. Demostrar: Q
(1) S (P Q)
(2) S
(3) P
4. Demostrar: S & T
(1) P S
(2) P T
(3) P
7. Demostrar: T
(1) P S
(2) P & Q
(3) (S & R) T
(4) Q R
C)
2. Demostrar: R
3. Demostrar: S & T
(1) S T
(1) P & R
(2) T
(2) P S
(3) S R
(3) R T
5. Demostrar: R
6. Demostrar: Q
(1) S R
(1) T S
(2) T S
(2) S
(3) T
(3) Q T
8. Demostrar: S
(1) P (Q & R)
(2) P
(3) T Q
(4) T S
1. Demostrar: M & N
(1) P M
(2) Q N
(3) P
(4) Q
3. Demostrar: S
(1) M T
(2) N P
(3) M & N S
2. Demostrar: R & S
(1) T
(2) S N
(3) R M
(4) M T
(5) N
4. Demostrar: P & Q
(1) N U
(2) M R
(3) U
57
(4) T
(5) P
(4) M Q
(5) R
(6) N P
6. Demostrar: T & P
(1) R S
(2) T
(3) P Q
(4) S T
(5) Q R
5. Demostrar: M & T
(1) W
(2) Q T
(3) M N
(4) U W
(5) Q M
(6) R U
(7) N R
D)
Don Marceln tambin miente. La seorita Angelita dice siempre la verdad, su
hermana Mara miente siempre, y las personas normales a veces mentimos y a veces
decimos la verdad. Don Marceln tom la decisin de mentir algunos das de la semana.
El nos pas la siguiente informacin:
- O no miento los lunes o no es verdad que mienta los martes y mircoles.
- Si no miento los domingos, miento los jueves y viernes.
- Los sbados no miento.
- Si miento los domingos, miento los lunes.
- No es cierto que no mienta los martes.
- Si no miento los sbados, miento los mircoles.
Sabras averiguar en qu das de la semana miente y en qu das dice la verdad? (La
informacin nos la facilit un sbado). Si te decides a formalizar el problema, puedes
llamar A, B, C, D, etc. a mentir los lunes, mentir los martes, etc.; y A, B, etc. a
no mentir los lunes, no mentir los martes, etc.
Pero, tambin puedes solucionarlo construyndote una matriz como la que se indica y
haciendo funcionar tu lgica. (cf Montaner 67).
Lun.
Mar.
Mir.
Jue.
V
M
E.
Vier.
Sb.
Dom.
1. Demostrar: P
(1) (P & Q) R
(2) R T
(3) T
3. Demostrar: U & W
(1) M U
(2) S W
(3) P & Q
(4) P M & N
(5) Q R & S
5. Demostrar: N
(1) P & Q
(2) P M N
(3) Q M & R
2. Demostrar: T
(1) P M & T
(2) Q P
(3) N Q
(4) N R
(5) R
4. Demostrar: W
(1) M & P
(2) P Q
(3) Q U & W
6. Demostrar: P
(1) M & N P
(2) M R
(3) N T
(4) R & T
Por ejemplo:
no tiene el mismo significado que
Ejercicio 10
A)
59
B)
A?
La proposicin ( Q & R), tiene el mismo significado que alguna del ejercicio
C)
Se ha dado como primera premisa la proposicin P Q R. La segunda
premisa es la proposicin (Q R). Se puede deducir una conclusin de estas
premisas? Se puede cambiar de sitio el parntesis de la segunda premisa y deducir una
conclusin? Justificar la respuesta.
D)
En cada una de las proposiciones siguientes, indicar cul es el trmino de enlace
dominante y qu clase de proposicin es (conjuncin, disyuncin, negacin,
condicional).
1. R S
4. A & B C
7. (A B) & (B C)
10. (A & B) C
2. P Q & R
5. P (R & S)
8. A B C
11. (P & Q) (A & B)
3. (P Q) & R
6. (Q & R)
9. (P Q)
12. P Q R
E)
Completar la simbolizacin de las proposiciones siguientes aadiendo parntesis
donde sea necesario, de manera que la proposicin simbolizada corresponda al nombre
que se le ha dado.
1. P R & S
3. A & B C
5. P R
7. P & R
9. A B C
11. P Q
13. P Q & R S
conjuncin
condicional
condicional
conjuncin
disyuncin
negacin
conjuncin
2. P & R S
4. P & R S
6. P R
8. P & R
10. A B C
12. P Q
14. A B
conjuncin
disyuncin
negacin
negacin
condicional
disyuncin
negacin
F.
Si sabes en qu das de la semana Don Marceln miente, sabras decir en qu
da de la semana puede emitir los siguientes pares de enunciados? (Montaner 70)
1. - Ayer ment
- Dentro de tres das no mentir
2. - Antes de ayer no ment.
- Maana no mentir
3. - No es cierto que ayer no mintiera.
- Ayer era jueves.
4. - Ayer no ment.
- Pasado maana no mentir.
Ley de adicin
60
P
LA 1
b. (1) R
(2) S R
P
c. (1) T & S
LA 1
(2) (T & S) R
d. (1) T R
(2) (P & S) (T R)
P
LA 1
P
LA 1
Ejercicio 11
A)
Escribir cinco proposiciones que resulten de la premisa siguiente: Algunos
juegos son fciles de aprender.
B)
Si las conclusiones son consecuencia de las premisas en los ejemplos que
siguen, escribir la palabra vlido. Si es vlido, completar la demostracin indicando la
61
regla o las reglas usadas. Si no se ha aplicado una regla de inferencia de las aprendidas,
se ponga una x junto a la conclusin.
1. (1) P
Por tanto: P Q
3. (1) Q R S
(2) R
Por tanto: S
2. (1) T
Por tanto: T P
4. (1) R
(2) S R P
Por tanto: P
P
P
P
P
P
P
C)
Indicar una deduccin de las conclusiones que siguen de los conjuntos de
premisas dados. Hacer una demostracin formal.
1. Demostrar: T S
(1) Q T
(2) Q R
(3) R
3. Demostrar: Q
(1) S
(2) T S
(3) T R Q
D)
4. Demostrar: U
(1) P & T
(2) S T
(3) S Q
(4) Q P U
1. Demostrar: x 3 x 2
(1) x + 2 5 2x = 6
(2) x + 2 5 x 3
(3) 2x 2 = 8 2x 6
(4) x + 3 = 8 & 2x 2 = 8
E)
2. Demostrar: R T
(1) P
(2) R P
2. Demostrar: x = 3
(1) x 2 = 1 & 2 x 1
(2) x = 1 2 x = 1
(3) x = 1 x + 2 = 5
(4) x + 2 = 5 x 2 = 1 x = 3
1. Demostrar: M N
(1) M P
(2) P R
(3) R
2. Demostrar: P
(1) M N P
(2) M R
(3) R & S
3. Demostrar: M R
(1) Q M
(2) Q T
(3) T
5. Demostrar: U W
(1) P Q
(2) Q T
(3) T U
4. Demostrar: P (T & S)
(1) P M
(2) M & W
6. Demostrar: P Q
(1) P T
(2) T R
(3) R S
62
(4) P & S
7. Demostrar: R S
(1) P Q
(2) Q N
(3) N T & R
(4) P W
(5) W & U
F)
(4) S & W
8. Demostrar: T
(1) R P S T
(2) U Q S N
(3) Q & P
(4) N & W
Es posible?
Dos padres y dos hijos entran en una heladera y compran tres helados. Al salir, cada
uno come su propio helado.
Se puede concluir:
Simbolizando:
D = Hace calor.
S = Juana va a nadar.
H = Juana est satisfecha.
(1) D S
(2) S H
(3) D H
P
P
HS 1,2
a. (1) P Q
(2) Q R
(3) P R
b. (1) P Q R
(2) Q R T
(3) P T
P
P
HS 1,2
P
P
HS 1,2
Ejercicio 12
A)
Qu conclusin se puede sacar, si se puede sacar alguna, por la ley del HS, de
los siguientes conjuntos de proposiciones?
1) Si el agua se hiela, entonces sus molculas forman cristales. Si las molculas forman
cristales, entonces el agua aumenta de volumen.
2. Si Lincoln es elegido, entonces los Estados Unidos del Sur se separarn. Si los
Estados Unidos del Sur se separarn, entonces estallar la guerra civil.
3. Si el nmero de representantes en el Congreso est en relacin con la poblacin de
cada provincia, entonces Pichincha tiene ms diputados que Esmeraldas. Si Pichincha
tiene ms diputados que Esmeraldas, entonces Pichincha tiene ms de tres diputados.
B)
Simbolizar los razonamientos de la seccin A y demostrar que su conclusin es
consecuencia lgica de las premisas.
C)
Indicar una deduccin formal de las siguientes conclusiones a partir de las
premisas dadas.
1. Demostrar: Q
(1) R S
(2) S P & Q
(3) R T
(4) T
D)
2. Demostrar: P
(1) R
(2) P Q
(3) Q R
3. Demostrar: R
(1) (Q R) & P
(2) R T
(3) (Q R) T
1. Demostrar: 5x 4 = 3x + 4 x = 4
(1) 5x 4 = 3x + 4 5x = 3x + 8
(2) 2x = 8 x = 4
(3) 5x = 3x + 8 2x = 8
2. Demostrar: x = 6 x 6
(1) x y y x
(2) (x 5 y x) y = 5
(3) y 5 x = 6
(4) x 5 x y
3. Demostrar: z 6 z y
(1) x y x z
64
(2) (z 6) (x y z 7)
(3) x z z 7
4. Demostrar: x 3 4 x
(1) 5x = 20 x = 4
(2) 2x = 6 x 3
(3) 2x = 6 (5x 3 = 17 x = 4)
(4) 5x 3 = 17 5x = 20
E.
1. Demostrar: P R & S
(1) P Q
(2) Q M N
(3) M N R & S
3. Demostrar: P Q
(1) P (M N)
(2) (M N) T
(3) T Q
5. Demostrar: U W
(1) T M
(2) N Q
(3) R S
(4) U P
(5) Q W
(6) P R
(7) M N
(8) S T
2. Demostrar: R T
(1) R M & N
(2) P T
(3) M & N P
4. Demostrar: M N S
(1) M N ( U & W)
(2) ( U & W) T & R
(3) T & R S
6. Demostrar:(P & Q) ( S T)
(1) R & W T
(2) M U
(3) S M
(4) U R & W
F.
Scrates no cometera una mala accin. Si devuelve mal por mal, estar
cometiendo una mala accin. Si rompe un acuerdo con el Estado porque ha sido
injustamente condenado, est devolviendo mal por mal. Por tanto, si el huir de la prisin
significa romper un acuerdo por haber sido injustamente castigado, Scrates no huir de
la prisin.
(A = Scrates comete una mala accin; B = Scrates devuelve mal por mal; C =
Scrates rompe un acuerdo con el Estado porque ha sido injustamente condenado; D =
Scrates escapa de la prisin).
Formalizar el razonamiento.
G.
65
H.
Un poco ms difcil.
Si
Lgica es a Cuerda y a Pintado,
Entonces Notable es a Timn y a :Verde, Nariz, Pur
Tapicera, Azafrn, Papel.
Debes elegir una entre las seis posibilidades.
La abreviatura es DS.
Son necesarias una disyuncin y dos condicionales.
Ejemplo:
Simbolizando:
R = Llueve.
D = El campo est seco.
P = Jugaremos en el coliseo.
B = Jugaremos al en la cancha.
66
(1) R D
(2) R P
(3) D B
(4) P B
P
P
P
DS 1,2,3.
P
P
P
DS 1,2,3
2. (1) P Q
(2) P R
(3) Q S
(4) R S
P
P
P
DS 1,2,3
Dilemas
Estas formas de razonamiento cuyas premisas son una disyuncin y dos condicionales
se denominan: Dilemas
Existen dos tipos de dilemas:
* Dilema constructivo: la disyuncin afirma los antecedentes de las condicionales (es la
ley del silogismo disyuntivo).
* Dilema destructivo: la disyuncin niega los consecuentes de las condicionales.
- La conclusin de los dilemas es una nueva frmula disyuntiva cuyas partes son:
+ en el dilema constructivo: los consecuentes, afirmados, de las condicionales;
+ en el dilema destructivo: los antecedentes, negados, de las condicionales.
67
simple
compuesto
X Y
XZ
YZ
--------Z Z
X Y
X Z
Y W
---------Z W
* Dilemas destructivos:
simple
compuesto
XY
Z X
ZY
--------------ZZ
XY
ZX
WY
---------------ZW
68
* Si esta figura es un tringulo (P), entonces tiene tres lados (Q) y tres ngulos
(R). Ahora bien, o esta figura no tiene tres lados o no tiene tres ngulos. Luego, esta
figura no es un tringulo.
* Para matricularte en Farmacia (M), debes haber aprobado el examen de
ingreso (N). Para que te admita en mi agencia de viajes (R), debes dominar, al menos,
tres idiomas (S). Pero t dices que o no has aprobado el examen de ingreso o no
dominas tres idiomas. Por tanto, o no te matriculas en Farmacia o no te puedo admitir
en mi agencia de viajes.
Ejercicio 13
A)
1. O Juan tiene mayora o Pedro tiene mayora. Si Juan tiene mayora, entonces Pedro
ser el tesorero. Si Pedro tiene mayora, entonces Juan ser el tesorero.
2. Este nmero o es un nmero positivo o es un nmero negativo. Si es un nmero
positivo, es mayor que cero. Si es un nmero negativo, es menor que cero.
3. Esta roca o es piedra caliza o es granito. Si es piedra caliza, es sedimentaria. Si es
granito, es roca gnea.
4. Esta planta o es verde o no es verde. Si es una planta verde, entonces fabrica su
propio alimento. Si es una planta no verde, entonces depende de las materias de otras
plantas para su alimento.
B)
C)
Utilizar la ley del silogismo disyuntivo (DS) para obtener una conclusin de
cada uno de los siguientes conjuntos de premisas.
1. (1) P Q
(2) Q R
(3) P S
2. (1) Q R
(2) Q S
(3) R T
3. (1) T S
(2) S P
(3) T Q
D)
Dar una deduccin formal de las siguientes conclusiones a partir de las premisas
dadas:
1. Demostrar: R & (P Q)
(1) P Q
(2) Q R
(3) P T
(4) T
5. Demostrar: T & P
(1) S R
4. Demostrar: S
(1) P Q
69
(2) Q R
(3) R
(4) P (T & S)
E)
(2) R T
(3) S P
(4) P
1. Demostrar: x = 3 x = 2
(1) x + y = 7 x = 2
(2) y x = 2 x = 3
(3) x + y = 7 y x = 2
2. Demostrar: y = 1
(1) 2x + y = 7 2x = 4
(2) 2x + y = 5 y = 1
(3) 2x + y = 7 2x + y = 5
(4) 2x 4
4. Demostrar: x 4 x y
(1) y = 0 xy = 0
(2) y = 0 (y 1)
(3) xy = 0 xy 3 x 4
(4) (y 1) xy 3
3. Demostrar: y = 1 y = 9
(1) (x = 2 x = 8) x = 6
(2) 2x + 3y = 21 & x 6
(3) x = 2 y = 9
(4) x = 8 y = 1
Si alguien dice: Esmeraldas ganar o Esmeraldas ganar, se puede concluir que este
seor piensa simplemente que Esmeraldas ganar.
En forma simblica el razonamiento es:
GG
Por tanto:
G
(1) Q Q
(2) Q
P
DP 1
70
A)
Utilizar las leyes del silogismo disyuntivo y simplificacin disyuntiva para
obtener una conclusin de cada uno de los siguientes conjuntos de premisas
simbolizadas.
1. (1) S T
(2) T R
(3) S R
2. (1) Q S
(2) P Q
(3) P S
3. (1) S R
(2) T R
(3) S T
B)
Qu conclusiones se pueden sacar de los siguientes conjuntos de premisas
utilizando las leyes del silogismo disyuntivo y simplificacin disyuntiva?
1. O hay tres miembros del comit o hay cinco miembros. Si hay tres miembros,
entonces no habr empate de votos. Si hay cinco miembros, entonces no habr empate
de votos.
2. Si esta figura cerrada tiene tres lados, entonces es un tringulo. Si esta figura cerrada
tiene tres ngulos, entonces es un tringulo. Esta figura cerrada o tiene tres lados o tiene
tres ngulos.
3. O el equipo Barcelona o el equipo Petrolero acabar primero. Si el equipo
Barcelona acaba primero, entonces el equipo Emelec ser tercero. Si el equipo
Petrolero acaba primero, el equipo Emelec ser tercero.
C)
Dar una demostracin formal de las siguientes conclusiones a partir de los
conjuntos de premisas dadas.
1. Demostrar: T & S
(1) P Q
(2) P R
(3) R Q
(4) T Q
(5) S
2. Demostrar: Q
(1) Q S
(2) S T
(3) T
3. Demostrar: S & R
(1) S P
(2) P & T
(3) T R
E)
Simbolizar el razonamiento siguiente y despus demostrar que la conclusin se
puede deducir lgicamente de las premisas.
Mara o alcanza 12 puntos en el examen o alcanza 14 puntos. Si Mara alcanza 12
puntos en el examen, entonces no obtiene la calificacin de bien. Si alcanza 14 puntos
en el examen, tampoco obtiene la calificacin de bien. Si Mara estudia, entonces
obtiene la calificacin de bien en el examen. Por tanto, Mara no estudia.
F)
1. Demostrar: x 4
(1) x = y x y
(2) x 4 (x z)
(3) x = y x z
(4) x y x z
2. Demostrar: x = 1
(1) 2x + y = 5 2x = 2
(2) 2x + y = 5 y = 3
(3) 2x = 2 x = 1
(4) y = 3 2x = 2
71
G)
1. Demostrar: P
(1) (P P) Q
(2) ( T & Q) R
(3) R
2. Demostrar: M
(1) P R
(2) S & T
(3) (M M) P
(4) R S
3. Demostrar: M
(1) P & Q
(2) S & R T
(3) R P
(4) S Q
(5) T M M
4. Demostrar: U & W
(1) R R
(2) T T
(3) P U
(4) M W
(5) ( P & Q) R
(6) (M & N) T
5. Demostrar: S
(1) P T & M
(2) Q T S
(3) (P P) & (Q Q)
6. Demostrar: S
(1) P Q R & S
(2) P T
(3) T T
72
Leyes conmutativas
Estas leyes probablemente parecern obvias; sin embargo, hay que enunciarlas, pues no
se puede dar ningn paso como conocido si no se tiene una regla explcita que lo
permita.
El razonamiento que sigue es un ejemplo de aplicacin de una ley conmutativa.
Por tanto:
Simbolizando:
P&Q
Q&P
Otro ejemplo:
Por tanto:
Simbolizando:
de:
se deduce:
(1) P Q
(2) Q P
(1) P & Q
(2) Q & P
P
CL 1
P
CL 1
mientras que
4+ 5 = 5+4
4x5 = 5x 4
45 54
4:5 5:4
Ejercicio 15
A)
2. (1) R & S
3. (1) T S
C)
Demostrar que las conclusiones siguientes son vlidas dando una deduccin
formal completa.
1. Demostrar: S & Q
(1) P T
(2) T
(3) P Q & S
2. Demostrar: (R & T)
(1) (R & T) S
(2) P S
(3) P & Q
3. Demostrar: R Q
(1) S R
(2) S T
(3) T
4. Demostrar: T
(1) P Q
(2) Q R
(3) (P R) S
(4) S T
6. Demostrar: Q & P
(1) T P & Q
(2) T R
(3) R
5. Demostrar: R
(1) S R T
(2) S
(3) T
D) Solucionar los siguientes ejercicios.
1. Demostrar: M & N
(1) P N & M
(2) P Q
(3) Q
3. Demostrar: U & W
(1) R & T W & U
(2) P R
(3) Q T
(4) P & Q
5. Demostrar: ( N & M)
(1) N & M Q
(2) W Q
(3) W & U
7. Demostrar: U
(1) U P & Q
(2) P & Q T
(3) T S
(4) S & W
2. Demostrar: S & T
(1) P N
(2) N & R
(3) P T & S
4. Demostrar: P & Q
(1) ( Q & P) (T & S)
(2) M T
(3) N S
(4) M & N
6. Demostrar: P
(1) (R & S) P
(2) Q M
(3) Q S & R
(4) M
8. Demostrar: T
(1) M S
(2) S P & Q
(3) T (Q & P)
(4) U M
74
(5) U & W
9. Demostrar: R S
(1) (S R) P
(2) P M
(3) M U
(4) U & W
11. Demostrar: U W
(1) ( W U) T
(2) T Q
(3) Q & M
13. Demostrar: (S R)
(1) (S R) (P & Q)
(2) M Q
(3) N P
(4) M & N
15. Demostrar: N M
(1) T & R M N
(2) P T
(3) Q R
(4) W S P & Q
(5) W W
17. Demostrar: T M
(1) ( S S) & N
(2) Q P T S
(3) (P Q) & R
19. Demostrar: (U R) & (Z S)
(1) T (P & M)
(2) N M R
(3) Q P S
(4) T T
21. Demostrar: N M
(1) T T
(2) Q P
(3) S R
(4) S T
(5) U P
(6) W U M
(7) R Q
10. Demostrar: U W
(1) P Q R
(2) P
(3) R T
(4) T W U
12. Demostrar: R T
(1) P M
(2) M & T
(3) P T R
14. Demostrar: M
(1) M (P Q)
(2) S Q P
(3) S R
(4) R & N
16. Demostrar: M
(1) P P
(2) P R
(3) R N U W
(4) W U T
(5) T M
18. Demostrar: R U
(1) ( Q Q) & W
(2) (T S) Q
(3) N M (S T)
(4) R (N M)
20. Demostrar: W U
(1) ( S S) & ( T T)
(2) (Q P) (N M)
(3) (M N) R
(4) P Q W
(5) (T R) S
22. Demostrar: X W
(1) U & T W X
(2) M N R
(3) P Q S
(4) M & Q
(5) S U U
(6) R T T
75
Leyes de Morgan
Puesto que las dos proposiciones significan lo mismo en el lenguaje corriente, en Lgica
ser vlido concluir de la una la otra, y viceversa.
Expresado en smbolos:
de
se puede concluir
P&Q
(P Q)
de
se puede concluir
(P Q)
P&Q
de
se puede concluir
PQ
(P & Q)
de
se puede concluir
(P & Q)
PQ
Advertencia importante: Hay que tener bien presente el problema de los signos
(recordando que, por la ley de la doble negacin, dos negaciones corresponden a una
afirmacin).
Simbolizando:
de
se puede pasar a
A&B
( A B)
de
se puede pasar a
AB
( A & B)
de
se puede pasar a
(A B)
A& B
de
se puede pasar a
( A & B)
A B
P&Q
------------- (P Q)
b.
(P Q)
------------P&Q
c.
PQ
--------------- (P & Q)
d.
(P & Q)
-----------PQ
e.
P&Q
----------------- ( P Q)
f.
(P Q)
---------------P&Q
77
(2) P Q
(3) P Q
(4) (P Q)
(5) ( P Q)
DL 1
DL 1
DL 1
DL 1
b. ( P & Q)
------------------ P Q
c. P Q
--------------- ( P & Q)
( P & Q)
Ejercicio 16
A)
Qu se puede concluir de las premisas siguientes utilizando las leyes de
Morgan?
1. O los arcnidos no son insectos o no tienen ocho patas.
2. No es cierto que o el aire es un buen conductor del calor o el agua es un buen
conductor de calor.
3. No ocurre que un nmero es a la vez mayor que cero y que es negativo.
4. El ro Esmeraldas no corre en direccin Este y el ro Napo no corre en direccin
Norte.
5. No es verdad que los murcilagos son pjaros o que las focas son peces.
B)
Traducir las premisas y las conclusiones de la seccin A anterior en smbolos
lgicos y demostrar que su conclusin es consecuencia lgica de las premisas.
C)
Aplicar las leyes de Morgan a las siguientes proposiciones para deducir
conclusiones.
1. (P & Q)
4. S T
7. (C D)
2. R T
5. R & S
8. ( P & Q)
3. ( R & S)
6. P & Q
9. S T
D)
Dar una demostracin formal completa para cada uno de los razonamientos
siguientes simbolizados.
78
1. Demostrar: S
(1) (P & Q)
(2) Q T
(3) P T
(4) S T
2. Demostrar: (A B)
(1) C & D
(2) C A
(3) D B
4. Demostrar: R & Q
(1) P Q
(2) S Q & R
(3) P S
(4) Q S
7. Demostrar: G H
(1) E F H
(2) J E
(3) K F
(4) J K
E)
5. Demostrar: D
(1) A B
(2) C B
(3) C A
(4) B D
6. Demostrar: T
(1) T P & S
(2) Q P
(3) R S
(4) R Q
8. Demostrar: S & T
(1) (P R)
(2) Q P
(3) R S
(4) (Q & S) (T & S)
1. Demostrar: ( P Q)
(1) (P & Q) (M & N)
(2) M & N S
(3) S S
3. Demostrar: T
(1) T P Q
(2) M P
(3) N Q
(4) M & N
5. Demostrar: T S
(1) ( R U)
(2) M U
(3) N R
(4) ( M N) ( P T)
2. Demostrar: ( M N)
(1) M P
(2) N Q
(3) P & Q
4. Demostrar: Q & T
(1) ( Q T) P
(2) R ( P & S)
(3) R N
(4) N & W
6. Demostrar: P
(1) ( M N) P
(2) M R
(3) N S
(4) R S W
(5) T ( W U)
(6) ( T Z)
7. Demostrar: U & W
(1) ( M S) U
(2) ( N T) W
(3) P Q S
(4) R Z T
(5) ( Y P)
(6) ( X R)
(7) ( M N)
F)
3. Demostrar: R & Q
(1) S (P T)
(2) T Q & R
(3) S
79
1. Demostrar: (M & N)
(1) S
(2) P S
(3) M P
2. Demostrar: P Q
(1) P & Q M
(2) M S
(3) S
3. Demostrar: T v R
(1) S Q
(2) P S & Q
(3) T & R P
4. Demostrar: M N
(1) P Q
(2) Q R & S
(3) M & N R
(4) P
6. Demostrar: R
(1) T R
(2) P T
(3) (N & N)
(4) P N
5. Demostrar: M & Z
(1) (M & N)
(2) (Z & X)
(3) P & R
(4) P N
(5) R X
7. Demostrar: M
(1) T M
(2) T R
(3) S
(4) R & S P & Q
(5) P
8. Demostrar: ( U W)
(1) (P & Q)
(2) Q
(3) P R T
(4) P S M
(5) M U
(6) T W
10. Demostrar: (W T)
(1) W P
(2) P & Q
(3) T Q
12. Demostrar: (S & Q)
(1) (M N)
(2) S T
(3) M T
14. Demostrar: M
(1) ( Q T)
(2) P M
(3) N Q
(4) P N
9. Demostrar: R & Q
(1) S
(2) M (Q R)
(3) S M
11. Demostrar: M & N
(1) S (P T)
(2) T ( M N)
(3) S & W
13. Demostrar: R & S
(1) (P Q)
(2) P R
(3) Q S
G) Busca enunciados del lenguaje natural que correspondan a los siguientes esquemas
de inferencia.
1. (1) P & Q
(2) P R T
2. (1) P R
(2) S Q
3. (1) R S
(2) M & S
80
(3) Q T
--------------------Concl.: R
(3) Q
(4) P
---------------------Concl.: R & S
(3) R P
---------------------Concl.: P
(Primeramente, hay que atribuir a cada smbolo una proposicin en lenguaje castellano).
H)
1. Demostrar: (U & N)
(1) ( M S)
(2) U Q
(3) T Q
(4) W T
(5) M W
3. Demostrar: W Q
(1) T M
(2) (U & P)
(3) N M
(4) ( P & W)
(5) N S
(6) Z U
(7) (R T)
(8) Z S
5. Demostrar: M
(1) ( M & N)
(2) (T & U)
(3) (N & P)
(4) (S & T)
(5) (Q & R)
(6) (U W)
(7) (R & S)
(8) (P & Q)
2. Demostrar: (U M)
(1) P ( R S)
(2) S U
(3) M N
(4) N
(5) P & Q
4. Demostrar: W
(1) P Q
(2) T M
(3) (U & W)
(4) ( P Z)
(5) R Q
(6) N U
(7) T S
(8) (M & N)
(9) R S
6. Demostrar: ( R T)
(1) (P Q) R
(2) (U M)
(3) (Z N)
(4) (M N) T
(5) (S P)
(6) (U Q)
I)
A la seccin de consultas de una revista, una lectora escribi la siguiente carta:
Tengo 30 aos y estoy bien integrada en la sociedad. Mi madre me cont que pocos
meses despus de haberse casado con mi padre, ste muri en guerra. No es necesaria
mucha imaginacin para pensar que, si mi padre hubiera muerto realmente en la
guerra, se habra convertido en un hroe a los ojos de su viuda y ella habra
conservado vivo su recuerdo con fotografas, cartas y otros objetos...De ello he
concluido que soy ilegtima. Cmo habra que exponer el razonamiento de esta carta
para justificar formalmente la conclusin? (cf Garca Trevijano 37)
81
(El argumento de la carta podra exponerse as: Si mi padre hubiera muerto en guerra,
habra sido un hroe y su recuerdo habra sido conservado vivo. Pero su recuerdo fue
relegado al olvido. Si mi padre no muri en la guerra, mi madre me minti respecto a l.
Pero, si mi madre me minti respecto a l, es porque yo soy ilegtima. Por tanto,
concluyo que soy ilegtima).
Simbolizar el razonamiento y averiguar si la conclusin es vlida.
si y slo si
Este signo aparece como dos signos condicionales que van en sentido opuesto.
En realidad, una proposicin bicondicional corresponde a dos proposiciones
condicionales.
Ejemplo:
82
PQ
Q P significa:
inunda.
altura.
PQ
PQ
QP
P
LB
b. P Q
--------QP
c.
LB
PQ
------------------------(P Q) & (Q P)
P
LB
PQS&R
es una bicondicional.
P&QS
STP
R&SP&Q
PQRS
TS
83
Ejercicio 17
A)
Nombrar cada uno de los trminos de enlace que se encuentran en las
proposiciones siguientes:
1. Este metal se funde si y slo si se somete a un calor muy intenso.
2. Patinaremos slo y slo si el hielo no es demasiado delgado.
3. Toms ir andando si y slo si ha perdido el autobs.
4. El sonido se propaga si y slo si hay un medio transmisor.
5. La figura tiene cuatro ngulos interiores si y slo si tiene cuatro lados.
B)
Simbolizar las proposiciones de la seccin A, indicando las proposiciones
atmicas que son simbolizadas por cada smbolo literal.
C)
Simbolizar las premisas y las conclusiones de cada uno de los razonamientos
siguientes, y dar una deduccin formal.
1. Esta ley ser aprobada en esta sesin si y slo si es apoyada por la mayora. O es
apoyada por la mayora o el gobernador se opone a ella. Si el gobernador se opone a
ella, entonces ser pospuesta en las deliberaciones del comit. Por tanto, esta ley ser
aprobada en esta sesin o ser pospuesta en las deliberaciones del comit.
2. El Sol sale y se oculta si y slo si la Tierra gira. La Tierra gira y la Luna se mueve
alrededor de la Tierra. Por tanto, el Sol sale y se oculta o el clima es muy caliente.
3. 3 x 5 = 12 5 + 5 + 5 = 12
4 x 4 13
5 + 5 + 5 = 12 4 x 4 = 13
Por tanto, 3 x 5 12.
4. El terreno puede ser cultivado si y slo si se provee de un sistema de riego. Si el
terreno puede ser cultivado, entonces triplicar su valor actual. Por tanto, si se provee de
un sistema de riego, entonces el terreno triplicar su valor actual.
5. Un lquido es un cido si y slo si colorea de azul el papel de tornasol rojo. Un
lquido colorea de azul el papel de tornasol rojo si y slo si contiene iones de hidrgeno
libres. Por tanto, un lquido es un cido si y slo si contiene jones de hidrgeno libres.
D)
1. Demostrar: 2 x 5 = 5 + 5 2 x 4 = 4 + 4
(1) 2 x 4 = 4 + 4 2 x 5 = 5 + 5
2. Demostrar: x = 4 3x + 2 = 14
(1) 3x + 2 = 14 3x = 12
(2) 3 x = 12 x = 4
3. Demostrar: x + y = 5
(1) 3x + y = 11 3x = 9
(2) 3x = 9 3x + y = 11 y = 2
(3) y 2 x + y = 5
4. Demostrar: (y = 2 & x + 2y 7)
84
(1) 5x = 15 x = 3
(2) 5x = 15 & 4x = 12
(3) x = 3 x + 2y = 7
5. Demostrar: (2x 8 & x 3)
(1) 2x = 6 x = 3
(2) 2x = 8 x = 4
(3) 2x = 6 x = 4
E)
1. Demostrar: P S
(1) T P
(2) R S
(3) P R
(4) S T
2. Demostrar: P R & S
(1) R & S P
(2) M N T
(3) R ( M N)
(4) T
(5) R (P R & S)
3. Dem.: (R M) ( P & Q)
(1) T M
(2) U R
(3) M U
(4) R T
4. Demostrar: U W
(1) P Q
(2) S T
(3) U P
(4) W S
(5) T U
(6) Q W
6. Demostrar: W P
(1) W P
(2) U W
(3) M U
(4) S M
(5) T S
(6) Q T
(7) P Q
5.Demostrar: P R
(1) P U W
(2) (R M & T) Q
(3) U W R
(4) Q & S
(5) M & T P
F)
G)
Viaje al Oriente
Angelita ha sido invitada a un viaje de placer al Oriente. Don Marceln, para disuadirla,
le argumenta lo siguiente:
- Angelita, si viaja al Oriente puede encontrarse con un terrible brujo y caer en sus
garras. Si esto sucede, no volver a verla a usted nunca jams. Y yo deseo verla. Por
favor, Angelita, no vaya.
85
Pero, con sus palabras, Don Marceln produce un efecto contrario al que pretenda. La
seorita Angelita sonre y de sus labios escapa un sutil razonamiento.
- De modo que slo si no voy al Oriente dice no me encontrar con un brujo.
- En efecto asiente Don Marceln.
- Y slo si no me encuentro con un brujo, no caer en sus garras.
- As es.
- Y slo en el caso que no caiga en sus garras, no le perder a usted de vista para
siempre.
- Correcto contesta Don Marceln con evidente satisfaccin.
- Y slo si no le pierdo a usted de vista me ver obligada a pasar las tardes con usted
merendando chocolate y hablando de estupideces.
- Cmo dice? - pregunta Don Marceln con inquietud.
- Pues que me niego a tal obligacin grita Angelita, se levanta y concluye con energa:
- Me voy al Oriente.
(Como ejercicio, formalizar los argumentos de Don Marceln y Angelita) (adaptacin de
Montaner 99).
QP
Nota: Aqu se puede ver que las leyes conmutativas se aplican tambin a las
bicondicionales, y no slo a las conjunciones y disyunciones.
2) Propiedad Transitiva de la bicondicional (Abreviatura: Trans. B.)
Si tenemos como premisas dos bicondicionales tales que el consecuente de la primera
sea el antecedente de la secunda, podemos deducir como conclusin otra bicondicional
donde antecedente y consecuente sean los miembros extremos de las premisas.
PQ
86
QR
-------------PR
Ejemplo: Si y slo si esta figura tiene cuatro lados (P) puede ser llamada con propiedad
cuadriltero (Q); y puede ser llamada cuadriltero si y slo si tienen cuatro ngulos (R).
Por tanto, esta figura tiene cuatro lados si y slo si tiene cuatro ngulos.
Nota: Es la ley del silogismo hipottico aplicada a las bicondicionales.
Ejercicio 18
1. Demostrar: P M
(1) P Q
(2) Q R
(3) R S
(4) S & T
2. Demostrar: M
(1) T & Q
(2) T S
(3) S N
(4) N M
3. Demostrar: P
(1) M (P R)
(2) N ( Y & R)
(3) S M
(4) T N
(5) S W
(6) T U
(7) W & U
5. Demostrar: P R
(1) P Q
(2) Q R
(3) R Q
4. Demostrar: Q & W
(1) (Q T) P
(2) (N W) M
(3) M S
(4) S & U
(5) P R
(6) R & (T Z)
(7) Z & W
6. Demostrar: T R
(1) P Q
(2) Q R
(3) (P R) (T S)
(4) S R
(5) W (R S)
(6) W
8. Demostrar: S
(1) T R
(2) (P Q) T
(3) M (N S)
(4) N & U
(5) R M
(6) U (P Q)
10. Demostrar: R U
(1) M & N P Q
(2) P Q R & S
(3) T M
7. Demostrar: W
(1) P Q
(2) Q M N
(3) M N R
(4) R T & S
(5) (P T & S) U
(6) U W
9. Demostrar: P
(1) P Q
(2) Q P
(3) R Q
87
(4) R S
(5) S R
(6) M S
(7) M & T
(4) W N
(5) S T & W
(6) S & Z
Reglas de Interdefinicin
X & Y (X Y)
XYXY
Regla: De una disyuncin se puede deducir una condicional con el antecedente negado
(siendo el antecedente y el consecuente los respectivos miembros de la disyuncin).
Ejemplo: Si es cierto que Pars es la capital mundial de la moda (X) o la capital de
Francia (Y), aunque no sea la capital de la moda, es la capital de Francia.
* Primera definicin de la condicional (Abreviatura: Def. Cond.1)
XY
--------------- (X & Y)
X Y (X & Y)
Ejemplo: Si la Biblia est inspirada por Dios (X), todo lo que en ella se afirma debe ser
verdadero (Y). Por tanto, no es posible que la Biblia est inspirada por Dios y no sea
verdad lo que en ella se afirma.
* Segunda definicin de la condicional (Abreviatura: Def. Cond.2)
XY
----------XY
XYXY
Regla: De una condicional se puede deducir una disyuncin con la primera parte
negada (siendo la primera y la segunda parte de la conjuncin respectivamente el
antecedente y el consecuente de la condicional).
Ejemplo: Si todos los hombres son mortales (X), Luis es mortal (Y). Por tanto, o no
todos los hombres son mortales o Luis es mortal.
(Nota: Por s, esta segunda definicin de la condicional no sera necesario enunciarla,
porque se la puede deducir de la conclusin de la primera aplicando una de las leyes de
Morgan).
Ejercicio 19
A)
1. Demostrar: (M N)
(1) N S
(2) M T
(3) S & T
3. Demostrar: (T W)
(1) P & Q
(2) P N
(3) Q M
(4) (N & M) (T & W)
5. Demostrar: (R T)
(1) (M & N) (R & T)
(2) (P Q) M
(3) (U W) N
(4) P & U
7. Demostrar: T
2. Demostrar: (P Q)
(1) M & N
(2) M P
(3) N Q
4. Demostrar: (P Q)
(1) (P & Q) (R & S)
(2) (M & N) (R & S)
(3) W (M & N)
(4) W & T
6. Demostrar: P
(1) (S T) P
(2) S M
(3) T N
(4) M U
(5) N W
(6) U & W
8. Demostrar: M N
89
(1) N P
(2) M Q
(3) (P Q) T
(4) S & W
(5) S N
(6) W M
9. Demostrar: P W
(1) P Q
(2) Q R
(3) ( R S)
11. Demostrar: U
(1) ( M N)
(2) M P
(3) N Q
(4) T ( P Q)
(5) U T
13. Demostrar: Y Z
(1) P Q
(2) M N
(3) ( Q S) R
(4) ( N T) W
(5) ( R W) U
(6) U Y
(7) ( P M)
15. Demostrar: M
(1) (T S) & (U W)
(2) (P & Q) (T & S)
(3) M (P Q)
17. Dem.: (M S) & (T W)
(1) (P Q) & (R S)
(2) ( Q P) (M & S)
(3) (R & S) ( W T)
(1) P Q
(2) M P
(3) ( T Q)
10. Demostrar: P W
(1) P Q
(2) Q R
(3) R T
(4) ( T M)
12. Demostrar: W Z
(1) ( S X) ( U W)
(2) ( P Q)
(3) (P Q) R
(4) R (M N)
(5) M T
(6) T S
90
(7) (M & N)
(8) (N & U)
20. Dem.: (Q P) & (N M)
(1) S T
(2) R W
(3) (R S)
(4) T (P Q)
(5) W (M N)
22. Demostrar: P Q
(1) (N M) Z
(2) (S R) W
(3) (Z T) Y
(4) (W U) X
(5) M N
(6) R S
(7) (Y X) (P Q)
24. Deducir: M & N
(1) (P Q) (M N)
(2) P R
(3) Q S
(4) R U
(5) S W
(6) U & W
19. Demostrar: M N
(1) P Q
(2) Q R
(3) R & S
(4) P (M N)
21. Dem.: (Z W) & (T X)
(1) R U
(2) T U
(3) P S
(4) ( S R)
(5) ( P Q) ( M N)
(6) ( M N) Z
23: Dem.: (M N) & (U W)
(1) (M N) (P R)
(2) ( U W) (Q S)
(3) T ( P & U)
(4) Z ( P & Q )
(5) ( T & Z) (X Y)
(6) X X
27. Demostrar: W
(1) ( M N) R
(2) (P Q) T
(3) (M N) & ( P Q)
(4) ( R T) W
B)
26. Demostrar: (W U)
(1) P Q
(2) M N
(3) R Z
(4) S X
(5) ( P M)
(6) ( R S)
(7) (Z Q) W
(8) (N X) U
28.Demostrar: W & U
(1) ( P R) ( M N)
(2) (S T) ( P R)
(3) M U
(4) N W
(5) ( S T)
91
5
1
E)
3
4
1. Demostrar: (R S)
(1) P Q
(2) P T
(3) Q T
(4) T (R & S)
3. Demostrar: T & U
(1) ( P & Q)
(2) P (S W)
(3) Q (S W)
(4) S T
(5) W U
5. Demostrar: N
(1) P (Q S)
(2) M (Q S)
2. Demostrar: W
(1) R S
(2) R T
(3) S Q
(4) ( Q T) W
4. Demostrar: M N
(1) P Q
(2) P R
(3) Q R
(4) R S
(5) (M & N) S
6. Demostrar: U Z
(1) ( T v R) W
(2) (P & Q) T
92
(3) P M
(4) N ( Q & S)
(3) (M N) R
(4) S W
(5) (P Q) & ( M N)
(6) S ( U & Z)
8. Demostrar: (T & Q) R
(1) (P & Q)
(2) (S & P)
(3) (S & Q)
(4) S ((T & Q) R)
10. Demostrar: S
(1) ( Q R) P
(2) S Q
(3) W (S R)
(4) P & W
7. Demostrar: S R
(1) ( P Q)
(2) S P
(3) R Q
9. Demostrar: S & T
(1) P Q
(2) S P
(3) S Q
(4) M N
(5) T M
(6) (T & N)
11. Demostrar: R N
(1) (M & Z)
(2) S M
(3) (T & Z )
(4) (S & T) P
(5) N P
12. Demostrar: Z
(1) R S
(2) P R
(3) Q S
(4) (M N) (P & Q)
(5) M T
(6) N W
(7) (X Y) ( T & W)
(8) X Z
Don Marceln, destrozado tras la marcha de Angelita, reflexiona acerca de cmo actuar
en el caso de que su amada regrese.
- No es posible que Angelita vuelva y yo no vaya a visitarla. No es cierto que vaya a
visitarla y no la invite a pasear. No es cierto que la invite a pasear y no busque nuevas
amistades. No es posible que busque nuevas amistades y no las encuentre. No es posible
que las encuentre y no les dirija la palabra. Ni tampoco cabe la posibilidad que les dirija
la palabra y no me escuchen. Y, finalmente, si me escuchan, tendr la prueba de mis
condiciones innatas para la poltica parlamentaria.
A este punto, Don Marceln sonre con satisfaccin.
- Decidido. Si Angelita vuelve, me dedicar a la poltica.
(Puedes formalizar el razonamiento de Don Marceln, si deseas que, para siempre,
quede grabada en tu cerebro la regla de interdefinicin de la condicional).
H)
94
95
estas reglas lgicas, no se es capaz de planear una estrategia que ayudar a alcanzar la
conclusin deseada.
P
------P
PQ
Q
96
------Q
------P
P&Q
-------Q
P
Q
-------Q&P
Q
--------PQ
Si se dan una disyuncin y dos condicionales donde el antecedente de cada una es uno
de los dos miembros de la disyuncin, entonces es posible formar una nueva disyuncin
cuyos miembros son los consecuentes de las dos condicionales.
PQ
PR
QS
--------RS
PQ
PR
QS
-------SR
98
En una conjuncin o en una disyuncin, el orden con que se escriben los miembros (o
partes) de la proposicin es indiferente.
PQ
------QP
P&Q
-------Q&P
P&Q
---------------- ( P Q)
(P Q)
-----------------P&Q
(P & Q)
-------------PQ
PQ
--------QP
PQ
QP
--------PQ
PQ
-------------------------(P Q) & (Q P)
99
AB
----------BA
* Reglas de Interdefinicin
** Definicin de la Conjuncin (Def. Conj.)
Si tenemos como premisa una conjuncin, podemos deducir como conclusin la
negacin de una condicional con el consecuente tambin negado, siendo antecedente y
consecuente los respectivos miembros de la conjuncin. Y viceversa.
A& B
----------------- (A B)
100
INDICE
101
Presentacin....................................................................................................... p. 1
Bibliografa........................................................................................................ p. 3
Lgica de las Proposiciones I ........................................................................ p. 5
1. Simbolizacin de proposiciones.................................................................... p. 6
2. Inferencia Lgica........................................................................................... p. 31
Tablas de Reglas de Inferencia Lgica.............................................................. p. 94
Indice................................................................................................................. p. 100
102