INSTITUTO PEDAGGICO DON BOSCO ESMERALDAS

ELEMENTOS DE LGICA MATEMTICA

Cmo sabes que t ests loco?- pregunt Alicia.
Para empezar repuso el gato - , los perros no estn locos. De acuerdo?
Supongo que no dijo Alicia.
Bueno, pues entonces continu el gato - , observars que los perros
gruen cuando algo no les gusta, y mueven la cola cuando estn contentos.
En cambio, yo gruo cuando estoy contento y muevo la cola cuando me
enojo; luego estoy loco.
Lewis Carrol, en Alicia en el pas de las maravillas.

LGICA DE LAS PROPOSICIONES - I

Primera Unidad: SIMBOLIZACIN

Segunda Unidad: INFERENCIA LGICA

Pedro Moschetto
Esmeraldas, 2007

PRESENTACIN

La Lgica es la ciencia que se ocupa de las estructuras formales del razonamiento.

Objeto de la Lgica es el lenguaje, y la base del lenguaje son las proposiciones.
El filsofo y matemtico Bertrand Russel, en la Introduccin a la filosofa matemtica,
afirma que la matemtica y la lgica desde el punto de vista histrico, fueron dos
materias completamente distintas. Sin embargo, las dos se han desarrollado en la edad
moderna: la lgica llegando a ser cada vez ms matemtica y la matemtica cada vez
ms lgica. La consecuencia es que hoy es del todo imposible separar la una de la otra;
sustancialmente las dos son una sola materia. La diferencia entre ellas es parecida a la
que hay entre un adulto y un muchacho: la lgica es la juventud de la matemtica y la
matemtica es la madurez de la lgica.
La lgica es a la vez ciencia y arte. Coincide con otras ciencias, como la psicologa o la
matemtica, en la investigacin de las leyes del pensamiento. Y con otras artes, como la
gramtica y la arquitectura, comparte la aplicacin estratgica de reglas, tiles en su
caso para el ejercicio de la discusin y el razonamiento en campos tan diversos como la
ciencia, el derecho, la poltica, la propaganda o la vida cotidiana (Garca Trevijano, 9).
Actualmente la lgica formal tiene una importancia fundamental tanto en el campo de
las matemticas como en el campo filosfico. La nueva lgica manifiesta su origen
matemtico especialmente en el uso del simbolismo. Por esto se habla de lgica
moderna o lgica matemtica o lgica simblica o lgica formal (formal, porque
se refiere a la forma exterior del razonamiento, a su estructura).
En este ltimo perodo, el campo de las aplicaciones de la lgica se ha extendido, y hoy
es puente de comunicacin entre matemticos, fsicos, informticos, lingistas,
filsofos, en la perspectiva de la unidad del saber a la cual debe mirar una seria y
moderna actividad didctica. La lgica puede constituir el enlace entre la cultura
humanstica y la cultura cientfica, de tal manera que las dos culturas puedan caminar
juntas, y no ms separadas, en la investigacin y en la didctica.
Tambin la nueva ciencia de la informacin (la Informtica) tiene sus bases en los
principios y las propiedades de la lgica. En efecto, la elaboracin automtica de los
datos es la consecuencia tecnolgica de los estudios de Aristteles, Leibniz, Pascal,
Boole, Russel, y de todos los que en estos ltimos cien aos se han ocupado de lgica y
de sus leyes. Todas las leyes de la lgica formal son la base de las operaciones que
desarrolla la calculadora electrnica, la cual obedece a la lgica de las proposiciones.
Como ttulo de estas pginas hemos puesto: Elementos de Lgica Matemtica, para
que quede claro que no vamos a tratar todos los temas de la Lgica, sino slo los ms
sencillos y tiles para favorecer el razonamiento y la intuicin.

Vamos a desarrollar dos partes fundamentales:

- la Lgica de las Proposiciones (o Proposicional);
- la Lgica del Predicado (o Predicativa).
Todo el curso est contenido en tres pequeos volmenes:
-

El primero y el segundo tratan la Lgica de las Proposiciones, y presentan las

siguientes unidades didcticas:
I : Simbolizacin de las Proposiciones e Inferencia Lgica.
II: Certeza y Validez, Tablas de Certeza (y, como aplicacin prctica,
desarrollamos el Clculo de los circuitos elctricos).
III: Lgica del Predicado.

Hasta hoy hemos publicado slo los primeros dos volmenes.

En esta sexta edicin del primer volumen se han corregido algunos errores presentes
en la quinta edicin del 2005.
Estos apuntes constituyen el contenido de las clases que se han dado durante estos
ltimos aos a los estudiantes del Instituto Pedaggico Don Bosco de Esmeraldas
y de la Pucese, y son fundamentalmente una adaptacin de la obra de P. Suppes
Introduccin a la Lgica Matemtica, integrada por algunas partes de la Teora y
prctica de la Lgica Proposicional de P. Montaner y de El arte de la Lgica de C.
Garca Trevijano. He utilizado tambin algunos captulos de las obras de G.
Zwirner (et alii): Algebra con elementi di Informtica II y Linguaggi e modelli
per la matemtica I; de M. Pellerey: Costruiamo la matemtica III vol.; y de
Paolo Siviglia e Nicoletta Sala Il testo di matemtica. Tambin la Lgica
Matemtica de P. Jasso, la Iniciacin a la Lgica Simblica de J. A. Arnaz y la
Iniciacin a la Lgica de Eli de Gortari me han sido de ayuda.
Los temas y el desarrollo de los contenidos han sido tratados de manera analtica (las
principales estructuras del razonamiento lgico se han introducido de modo gradual
y con dificultad progresiva) e inductiva (cada regla o instruccin lgica va
acompaada de ejemplos y ejercicios que tienen el objeto de reforzar el aprendizaje
y facilitar el conocimiento de la materia (cf. Montaner 7).
El estudio de la lgica es un disciplina intelectual que exige esfuerzo de voluntad,
constancia y atencin. Pero sus frutos son ciertamente...dulces, porque ayudan al
desarrollo de la inteligencia y del pensamiento, a ser reflexivos y crticos frente a
las diferentes propuestas culturales que caracterizan el mundo moderno, y a ser
hombres cada vez ms autnomos y libres.
Esmeraldas, Instituto Pedaggico Don Bosco, Abril del 2007.
p. Pedro Moschetto

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.

* Suppes, Patrick Introduccin a la Lgica Simblica C.E.C.S.A., Mxico, 1981, pp.

378.
* * Suppes, Patrick; Hill, Shirley Introduccin a la Lgica Matemtica Editorial
Revert, Barcelona, Espaa, 1982, pp. 283.
* Tarski, Alfred Introduccin a la Lgica y a la Metodologa de las ciencias
deductivas Espasa-Calpe, Madrid, Espaa, 1977, pp. 285.
* * Zwirner, Paolo; Scaglianti, L.; Brusamolin Mantovani, A. Linguaggi e Modelli
per la Matematica, 1 Cedam Padova, Italia, 1989, pp. 781.
* * Zwirner, Paolo; Scaglianti, L.; Brusamolin Mantovani, A. Algebra con elementi di
Informtica, II Cedam, Padova, Italia, 1990, pp. 521.

Quin gan el pleito?

Una de las paradojas ms conocidas es la relativa al litigio que sostuvo el famoso sofista
Protgoras con uno de sus discpulos. Protgoras haba aceptado a un estudiante pobre pero de
talento, conviniendo con l, en no cobrarle por su enseanza hasta que el estudiante no hubiera
terminado sus estudios y ganara su primer caso ante los tribunales. Pero tras completar sus
estudios el estudiante no se encarg de ningn caso legal. Transcurrido cierto tiempo,
Protgoras demand al estudiante exigindole la suma estipulada. He aqu los argumentos de
ambos para acudir al tribunal:

Estudiante:

Protgoras:

Si yo gano el caso, entonces, por definicin, no tengo que pagar. Si lo

pierdo, entonces no habr ganado mi primer caso, y yo no he contrado
la obligacin de pagar a Protgoras mientras no haya ganado mi primer
caso. As, pues, sea que yo gane o que pierda el caso, no tengo que
pagar.
Si l pierde el caso, entonces, por definicin, tiene que pagarme (pues
eso es lo que se ventila en este juicio). Si lo gana, entonces habr
ganado su primer caso, y por tanto tiene que pagarme.

LGICA DE LAS PROPOSICIONES - I

Primera Unidad Didctica:

Simbolizacin de Proposiciones

Segunda Unidad Didctica: Inferencia Lgica

1 SIMBOLIZACIN DE PROPOSICIONES

1.1

Proposiciones o Enunciados

a) El estudio de la Lgica nos permite llegar a ser precisos y cuidadosos, y a

utilizar un lenguaje exacto, mientras que el lenguaje ordinario de nuestras
conversaciones a veces es un poco confuso.
La finalidad de esta asignatura es la de aprender una forma de razonar que sea
precisa y a la vez muy til.
b) Objeto de la Lgica es el lenguaje, y la base del lenguaje son las proposiciones u
oraciones.
Una oracin es una expresin lingstica gramaticalmente correcta y que tiene sentido
completo. Por ejemplo: La vida es bella, Qu hora es?, Est lloviendo; Apaga la
luz, son oraciones.
Por el contrario, La vida es, La base del, Yo la cocina no son oraciones, porque no
tienen sentido.
Desde el punto de vista del significado, las oraciones se clasifican en: enunciativas,
optativas, de posibilidad, dubitativas, exhortativas, interrogativas o exclamativas.
Para poder dar una definicin correcta de proposicin en Lgica, vamos a considerar
algunas frases:
1. La Tierra es un planeta.
2. 4 es menor de 7.
3. Juan Len Mera escribi la novela Cumand.
4. 6 es un mltiplo de 4.
5. Quito es la capital de Colombia.
6. El ro Esmeraldas pasa por la provincia de Bolvar.
7. Esta telenovela es aburrida.
8. Maana Luis ganar la competencia.
9. Qu hora es?
10. Est atento!

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.

Mediante un trmino de enlace podemos unirlas y formar una proposicin molecular:

Estoy enfermo y me quedo en casa.
Esta proposicin molecular se ha construido con dos proposiciones atmicas y el
trmino de enlace y (que no forma parte de ninguna de las proposiciones atmicas; se
ha aadido para formar una proposicin molecular).

1.2

Trminos de enlace o Conectores

a) Las palabras de enlace son muy importantes, y las denominamos trminos de

enlace de proposiciones.
Los trminos que vamos a utilizar en este captulo son los siguientes:
y

no

si...entonces

En la gramtica castellana se les da a veces otros nombres, pero en Lgica los

denominaremos simplemente trminos de enlace (o tambin conectores).
Los tres trminos de enlace y, o, si...entonces, se usan para unir dos proposiciones
atmicas y as formar una proposicin molecular.
El trmino no, acta sobre una sola proposicin atmica para formar una proposicin
molecular.
b) Damos algunos ejemplos de proposiciones moleculares que utilizan los trminos
de enlace considerados.
* La proposicin:

La luna no es una estrella

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:

Me quedo en casa o voy a la playa

utiliza el trmino de enlace o, el cual acta sobre dos proposiciones atmicas:

Me quedo en casa.
Voy a la playa.
* La proposicin:

Si soy esmeraldeo, entonces soy ecuatoriano

es una proposicin molecular que utiliza el conector si...entonces, que acta sobre dos
proposiciones atmicas:
Soy esmeraldeo.
Soy ecuatoriano.
* La proposicin

Estoy bien y voy a casa

utiliza el trmino de enlace y . Cules son las proposiciones atmicas?

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.

Las playas esmeraldeas son muy hermosas.

Juan puede ganar la carrera.
El hermano de Pedro tiene la solucin .
Tendremos que buscar otro remedio.
La lluvia podra ser la causa de que Luis se quede en casa.
El cielo est nublado.
El invierno este ao es terrible.
Esmeraldas se encuentra en el Ecuador.

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.

No estoy de acuerdo con tu actuacin.

Ha llegado el invierno y comienza a llover.
Muchas enfermedades no se deben a parsitos..
Si hay fallas en las grandes masas rocosas, entonces es posible que ocurran
terremotos.

5. Estoy cansado o tengo mala suerte.

6. Si usted sale de madrugada, entonces llegar en tiempo.
7. Si x + y = 2, entonces z 0.
8. Si x = 1 o z = 2, entonces y 1.
9. x = 1 y z = 3
10. Si z 10, entonces x + y 10 y z + y 10.

1.3

La forma de las proposiciones moleculares

a) La forma de las proposiciones moleculares depende del trmino de enlace, no del

contenido de las proposiciones atmicas.
Se puede representar la forma de una proposicin molecular con y de esta manera:
(

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

O es muy bueno o es sencillo.

Las dos palabras o son parte del mismo trmino de enlace. Algunas veces se usan dos,
algunas veces una sola.
Ejemplos:

O Mara est aqu o el fro no es intenso .

Patricia no va a la playa o Vernica no est aqu.

- A veces, al utilizar el trmino de enlace y, pueden aadirse las palabras a la vez.

A la vez llueve y sale el sol
Las palabras a la vez e y son partes de un mismo trmino de enlace.
- Por lo general se utiliza el trmino de enlace si...entonces; pero a veces se suprime la
palabra entonces.
Si es Antonio, es lento.
Expresiones del tipo te llevars una grata sorpresa, si vienes a la reunin (donde el
enunciado precedido por si, llamado antecedente, se lo coloca despus de la
expresin que normalmente sigue y que se denomina consecuente), o del tipo en caso
de que lo vea, le dar tu recado, cuando lo vea, le dar tu recado (que prescinden
total o parcialmente de la forma si...entonces) ocurren con gran frecuencia.
- El trmino no se encuentra frecuentemente dentro de la proposicin atmica. Por
este motivo es fcil olvidarla.
La proposicin

La Lgica no es difcil

es una proposicin molecular.

Es posible escribir este trmino de enlace utilizando la frase
No ocurre que (la Lgica es difcil).
O tambin:

No es cierto que (la Lgica es difcil).

No es verdad que (la Lgica es difcil).

En las proposiciones matemticas en las que se utiliza el signo =, se indica con

frecuencia la negacin con un trazo inclinado sobre el signo igual: .
As,
se lee:

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.

Pablo se encuentra en Quito y Mercedes ha ido de paseo a Ibarra.

Si Pedro est en casa o Juan est en el patio, entonces Jos es inocente.
Si x = 1 o y = 2, entonces z = 3.
O y = 0 y x 0, o z = 2.

B) Escribir en lenguaje castellano proposiciones cuyas formas son las siguientes.

1) O (
) o (
).
2) No (
).
3) (
) o (
).
4) Si (
), entonces (
).
5) A la vez (
) y (
).
6) No es cierto que (
).
7) Si no (
), entonces no (
8) Si (
), (
).

).

C) Son equivalentes algunas de las siguientes proposiciones?

1) Luis se ir, si Pablo se queda.
2) Si Pablo se queda, entonces Luis se va.
3) Supuesto que Pablo se quede, Luis se ir.
4) Luis se ir en caso de que Pablo se quede.
D) Formalizar (= dar la forma normal a) los enunciados condicionales que siguen:
1) Dos es un nmero primo porque slo es divisible por s mismo y por la unidad.
2) Proporcinenos los medios y nosotros solucionaremos el asunto (Carta de Churchill
al presidente Roosvelt al comienzo de la II guerra mundial).
(Nota: La presencia del trmino y podra inducir a interpretar esta frase como una
conjuncin, mientras que su verdadero sentido es el de una condicional).
3) Obtendrs la licenciatura a condicin de que superes el ltimo curso.
4) A menos que me detenga a comer en la carretera, llegar a primera hora de la tarde.
5) Nos veremos en el parque, supuesto que no llueva.

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

Sustituimos ahora el lenguaje castellano con los smbolos correspondientes

(P) y (Q).
- Veamos una proposicin molecular con el trmino de enlace o:
Se puede elegir caldo de gallina o seco de gallina
Sea:

R = Se puede elegir caldo de gallina.

S = Se puede elegir seco de gallina.

La proposicin queda simbolizada as:

(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:

Q = Los pjaros son animales de cuatro patas.

La proposicin queda simbolizada as:

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.

Necesito ponerme los lentes o esta luz es dbil.

Los patos no se transforman en cisnes.
Si suena el timbre, entonces es hora de empezar la clase.
O Antonio ir al teatro o ir al cine.
Estos problemas no son fciles para m.
Si la clase de Lgica ha empezado, entonces llego tarde.

B) Traducir en lenguaje castellano las siguientes proposiciones simbolizadas.

Especificar cul es la proposicin atmica representada por cada una de las letras.
1. Si (P), entonces (Q).
2. (R) o (S).
3. (P) y (Q).

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.

Juan es el segundo y Toms es el cuarto.

O Jos es el ganador o Luis es el ganador.
Pedro no es el ganador.
Si Toms es el ganador, entonces l tendr la medalla.
Las araas no son insectos.
Si las araas son insectos, entonces deben tener seis patas.

D) Simbolizar las proposiciones matemticas siguientes sustituyendo las proposiciones

atmicas por letras maysculas. Recurdese que es la negacin de =.
1.
2.
3.
4.
5.

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

Los trminos de enlace y sus smbolos

Utilizamos smbolos distintos para los trminos de enlace distintos. Vamos a considerar
cada trmino de enlace por separado.

La unin de dos proposiciones con la palabra y se denomina

conjuncin de las dos proposiciones.
La palabra y la simbolizamos con un smbolo que se encuentra por lo
general en las mquinas de escribir:
&

Nota: Se usa tambin, y muy frecuentemente, el smbolo

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::

(P) & (Q)

(P) (Q)
15

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.

Juan vive en nuestra calle y Pedro en la manzana contigua.

Sali del pueblo y se fue a Quito.
Solanda tiene 17 aos y Mara Helena 18 aos.
El juego ha empezado y llegaremos tarde.
Maana es el primero de abril y empiezan las clases.

B) Terminar la simbolizacin de las proposiciones que siguen:

1. (P) y (Q).
2. A la vez (A) y (B).

3. (H) y (K).
4. A la vez (M) y (N).

C) Traducir en lenguaje corriente las proposiciones siguientes:

1. (P) & (Q).
2. (M) & (N)

3. (T) & (S).

4. (B) & (H).

D) En las proposiciones matemticas siguientes, simbolizar slo el trmino de enlace

y.
1) x = 0 y z = 4.
2) x 0 y x + y = 2.
3) z + x = x + z y x + z = z + x.
E) Simbolizar las siguientes proposiciones del lenguaje natural.
1) Me van bien los estudios, pero los apruebo con dificultad.
2) Llegu, vi y venc (Julio Csar).
3) La riqueza ayuda a ser feliz, pero la cultura todava ms.

La unin de dos proposiciones por medio de la palabra o se denomina

disyuncin.

16

El smbolo que vamos a utilizar es:

(Recuerda: en castellano, se puede utilizar tambin una o al comienzo, pero las dos o
constituyen un solo trmino de enlace.).
Ejemplo:
Sea:

Esta es el aula del Primero o es el aula de Qumica.

O sta es el aula del Primero o es el aula de Qumica.

F = Esta es el aula del Primero.

E = Esta es el aula de Qumica.
(F) (E).

La disyuncin queda simbolizada as:

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.

Tomar parte en el salto de altura o correr un kilmetro.

Hemos de llegar all antes, u otro recibir el empleo.
O la aguja est gastada o la grabacin es mala.
Se puede comer el pan o el verde.
O t vas a casa o te quedas aqu.

B) Acabar de simbolizar las proposiciones siguientes:

1.
2.
3.
4.

(P) o (Q).
(R) o (S).
O (P) o (Q).
O (M) o (N).

17

C) Traducir en lenguaje corriente las proposiciones siguientes:

1. (P) (Q).

2. (M) (N).

3. (R) (S).

D) Simbolizar las proposiciones matemticas utilizando los smbolos & y , pero

conservando los smbolos matemticos.
1. x = 0 o x 0.
2. x 2 y z 1.

3. O x = 3 o x 2.
4. A la vez z = 0 y x = 0.

E) Simbolizar las siguientes proposiciones.

1) O te callas o me voy.
2) Me entero de la situacin poltica leyendo El Universo o El Comercio.
3) O se acepta que hay ideas innatas o el idealismo es imposible.
4) O me eligen presidente o abandono la poltica.

no

La proposicin a la que se aade no se denomina negacin. Es una

proposicin molecular formada por una sola proposicin atmica. La
palabra no en el lenguaje corriente se encuentra dentro de la
proposicin. En Lgica hay que separarla de la proposicin sobre la cual
acta.

La proposicin

El invierno en Esmeraldas no siempre es fuerte

es la negacin de la proposicin atmica:

El invierno en Esmeraldas siempre es fuerte.
Simbolizando con P la proposicin atmica, la negacin sera :

No (P).

El smbolo de la negacin puede ser variado. Nosotros utilizamos el signo

La proposicin del ejemplo anterior totalmente simbolizada es: (P).

A veces es ms fcil, en castellano, empezar con la frase: No ocurre que, No es
verdad que, No es cierto que.
(Ejemplo anterior: No es verdad que el invierno en Esmeraldas es siempre fuerte).

18

Advertencia importante: Hay tambin otras expresiones en el lenguaje natural que

significan negacin como son: no es el caso que, es falso, no es posible, es
imposible, etc.; se sustituyen por el smbolo de negacin .
Las negaciones se combinan frecuentemente con otras proposiciones para formar una
proposicin molecular ms larga.
Ejemplo: O el juego no ha empezado o el pblico no es numeroso.
Aqu tenemos la disyuncin de dos proposiciones negativas.
Para simbolizarla se acta de esta manera:
a) ponemos parntesis en la proposicin escrita: (O el juego no ha empezado) o ( el
pblico no es numeroso);
b) elegimos la letra mayscula para cada proposicin atmica (respectivamente: S, C);
c) se expresa su negacin poniendo el smbolo delante de la letra;
d) se enlazan las dos proposiciones negativas con el trmino de enlace dominante que
en este caso es o.
La proposicin completamente simbolizada se presenta as:
( S) ( C).
Otra advertencia importante: A veces hay proposiciones con dos negaciones seguidas.
Por ejemplo: No es cierto que no voy a clase.
No es cierto niega no voy a clase. Al simbolizar esta proposicin, hay que escribir
dos veces el smbolo de negacin :
A = Voy a clase.
A = No voy a clase.
A = No es cierto que no voy a clase.
Ejercicio 6
A) Simbolizar completamente las proposiciones siguientes. Indicar las proposiciones
atmicas sustituidas por cada letra mayscula.
1.
2.
3.
4.
5.
6.

En el hemisferio Sur, Julio no es un mes de verano.

Marte no es tan cercano al Sol como la Tierra.
No todos los grmenes son bacterias.
Esmeraldas no es la mayor provincia del Ecuador.
No es verdad que los corales son plantas.
No es cierto que la lgica sea difcil.
19

7. Todo lo que t dices es falso.

8. No es verdad que todo lo que t digas sea falso.
9. Es imposible que no sea cierto lo que dices.
10. No es verdad que el sol no sea una estrella.
B) Simbolizar las proposiciones utilizando el smbolo propio de cada trmino de
enlace.
1. (P) y no (Q).
3. No ocurre que (T).

2. No (R).
4. No es cierto que no (S).

C) Simbolizar completamente las proposiciones siguientes:

1. (P) y no (Q).

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.

O Jos es puntual o Mara llega tarde.

O Jos es puntual o Mara no llega tarde.
Mara llega tarde y Jos no es puntual.
Mara no llega tarde y Jos no es puntual.
Jos no es puntual y Mara llega tarde.

E) Identificar cada una de las proposiciones moleculares escribiendo la palabra que

denota su forma (por ejemplo: negacin, conjuncin, disyuncin).
1. (Q).
2. (P) & (Q).

3. (R) (S).
4. (T) & (S).

5. (P).
6. (L) (M).

F) Examinar las proposiciones siguientes y sealar cada trmino de enlace.

1.
2.
3.
4.
5.

No es medioda y el almuerzo no est listo.

Si no estamos all, entonces perderemos nuestro cupo.
Mara se ha ido o no est en su sitio.
Si es negro, entonces no refleja la luz.
Si x + z = 0 y x = 0, entonces z = 0.

Si...entonces...

Ejemplo:

Cuando se unen dos proposiciones por medio de estas

palabras (si...entonces...), la proposicin molecular se
denomina condicional.
Si hoy llueve, entonces se suspende el paseo.

La primera proposicin atmica es: Hoy llueve.

20

La otra es:

Se suspende el paseo.

Las letras maysculas que elegimos son respectivamente: P, Q.

Recuerda!
Hay otras expresiones del lenguaje comn que pueden tener valor condicional:
...luego..., ...por tanto..., ...en consecuencia..., ...cuando, ...con tal que..., ...se
infiere..., ...se deduce..., ...se demuestra, etc.
El smbolo de la proposicin condicional es

La proposicin anterior queda as simbolizada:

Y se lee: Si P, entonces Q

PQ

Nota importante: En Lgica, la proposicin situada entre la palabra si y la palabra

entonces se denomina antecedente; la proposicin que sigue a la palabra entonces es
el consecuente. Recordar, sin embargo, que a veces en el lenguaje ordinario el trmino
entonces se omite.
Ejercicio 7
A) Simbolizar las proposiciones, utilizando los smbolos correspondientes para los
trminos de enlace. Indicar las proposiciones atmicas sustituidas por cada letra
mayscula.
1.
2.
3.
4.
5.

Si las luces estn encendidas, entonces la familia est en casa.

Si t estudias, tendrs xito.
Si dos y tres son cinco, entonces tres y dos son cinco.
Si hoy es siete, entonces el viernes es nueve.
Si usted pierde el autobs, entonces tendr que caminar.

B) Indique el antecedente de cada proposicin condicional.

1.
2.
3.
4.

Si Mara es ms joven, entonces Olga es ms vieja.

Si Tatiana es ms vieja, entonces tiene 20 aos.
Pasars de ao, si estudias.
Maana te comprar los mangos, si los encuentro en el mercado.

C) Indicar el consecuente de cada proposicin condicional.

1.
2.
3.
4.

Si Pedro es el segundo, entonces Juan es el primero.

Carlos es el ltimo, si Luis es el cuarto.
No voy a la playa, si no sale el sol.
Si no trabajo, no tengo derecho de comer.

D) Simbolizar completamente las proposiciones siguientes.

1. Si (P) entonces (Q).
3. Si (P) entonces no (Q).

2. Si (S) entonces (T).

4. Si no (R) entonces no (S).

21

E) Identificar las proposiciones condicionales de entre las proposiciones que siguen.

(P) (Q).
(P) (Q).
(R) (S).
(T) & (S).

1.
2.
3.
4.

5. (T) & (S).

6. (Q) (S).
7. (R) (S).
8. (M) & (N).

F) Transformar las siguientes proposiciones en condicionales normales, y despus

simbolizarlas.
1) Para poder vivir, basta con tener un trabajo fijo.
2) Se convertir en amigo del gobierno con tal de que pueda ocupar un cargo.
3) Hace fro, luego no es verano.
4) El hombre es un animal poltico, por tanto no es un salvaje.
5) Si no crees en Dios, pero blasfemas, te ests contradiciendo.
6) T dedcate a la computacin, y vers cmo encuentras trabajo.
7) Siempre que empiezo a jugar, no s cuando acabar.

1. 6

Agrupamientos y parntesis

Es frecuente encontrar proposiciones con ms de un trmino de enlace. En estos casos

uno de los trminos de enlace es el mayor y se denomina dominante.
Uno de los tipos de proposicin molecular tiene la forma:
(

)&(

).

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: Luis estudia en el colegio.

A: Carlos estudia en la escuela.

La simbolizacin completa ser:

( 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),

y la conjuncin simbolizada ser:

( (P) (Q) ) & (R).
Una proposicin con tantos parntesis es difcil de leer e interpretar. Para mayor
facilidad se sigue esta
Regla: Una proposicin que no contenga &, , , no necesita colocarse entre
parntesis.
En consecuencia, la proposicin anterior tiene las siguientes formas simblicas:
(P Q) & R.
Los parntesis son los smbolos de puntuacin de la lgica . Muestran cmo est
agrupada una proposicin. Un parntesis que encierra P Q muestra que las partes
estn ligadas constituyendo una proposicin nica.
En las proposiciones en lengua castellana se logra el mismo objetivo por medio de la
coma. Si la proposicin escrita anteriormente se leyera as:
x = 1, o x = 2 y z = 3
el trmino de enlace dominante sera o: la disyuncin une una proposicin atmica y
una conjuncin:
P (Q & R).
Recordamos todava una vez que los parntesis encierran la proposicin molecular que
no tiene el trmino de enlace dominante. El trmino de enlace dominante queda fuera
del parntesis.
Hay casos en los que se niega una proposicin molecular entera.
Por ejemplo: No es verdad que el libro o es rojo o es verde.
Simbolizamos dos proposiciones atmicas:
Q = El libro es rojo.
Simbolizamos la disyuncin:

R = El libro es verde.
QR

Simbolizamos la negacin de la disyuncin: (Q R).

El agrupamiento entre parntesis indica
1) que la negacin se refiere a toda la proposicin, que en este caso es una disyuncin;

23

2) que la negacin es el trmino de enlace que domina.

Otro ejemplo:
No es cierto que si usted ve un gato negro, entonces tendr mala suerte.
Simbolizada, se escribir:

(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

F) Simbolizar las proposiciones siguientes, indicando el agrupamiento por medio de

parntesis cuando es necesario.
1) O Pedro es presidente y Juan es tesorero, o Mario es tesorero.
24

2) Pedro es presidente y, o Juan es tesorero o Mario es tesorero.

3) O Ramn es su hermano y Rosa es su hermana, o Javier es su hermano.
4) Ramn es su hermano y, o Rosa es su hermana o Javier es su hermano.
G) Simbolizar las proposiciones matemticas siguientes, eligiendo letras atmicas para
sustituir las proposiciones matemticas atmicas.
1) Si x es menor que dos, entonces x es igual a uno o x es igual a cero.
2) Si a la vez x es menor que tres y x es mayor que uno, entonces x es igual a dos.
3) O x es mayor que cinco y x es menor que siete, o x no es igual a seis.
H) Junto a cada una de las proposiciones que siguen, se da el nombre del tipo de
proposicin molecular a la que pertenece. Aadir los parntesis, si son necesarios.
1)
2)
3)
4)

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

I) Simbolizar las proposiciones siguientes, indicando el agrupamiento por medio de

parntesis.
Sea: P = Es jueves.
Q = Sucedi en lunes.
1) O no es jueves o no sucedi en lunes.
2) Si no es verdad que sucedi en lunes, entonces es jueves.
3) No sucedi en lunes y es jueves.
4) Si no sucedi en lunes, entonces no es jueves.
5) No es cierto que a la vez sucedi en lunes y es jueves.
L) Simbolizar las proposiciones siguientes:
1) Si una sustancia orgnica se descompone, entonces sus componentes se transforman
en abono y fertilizan el suelo.
2) O yo estoy equivocado, o la pregunta nmero uno es cierta y la pregunta nmero dos
es falsa.
3) No es cierto que a la vez Juana es su hermana y Rosa es su hermana.
4) O sus deberes estn terminados, o si no estn terminados, tendr que hacerlos por la
noche.
5) Juana no es su hermana y Rosa es su hermana.
6) Si este mineral no es duro, entonces no est compuesto por cristales de cuarzo.

1.7

Eliminacin de algunos parntesis

Adoptando algunas reglas simples acerca de la potencia de los trminos de enlace, se

pueden eliminar algunos de los parntesis en las proposiciones simbolizadas:
Regla 1: El es ms potente que los otros trminos de enlace.
25

(P & Q) R
P (Q R)

se puede escribir
se puede escribir

P&QR
PQR

Por otra parte, si se tiene

(P Q) R
no se puede eliminar el parntesis: es necesario para indicar que es el trmino de
enlace principal (dominante).
Tambin, si una proposicin tiene dos condicionales, se tiene que utilizar el parntesis
para indicar cul es la condicional dominante.
A (B C)
(A B) C

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)

Pero el parntesis es necesario en

proposicin molecular.

se escribe
se escribe
se escribe

P&Q
P Q
PQ

(P & Q) cuando se quiere negar toda una

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

B) Junto a cada una de las proposiciones matemticas siguientes se indica el tipo de

proposicin molecular al que pertenece. Actuar como en el ejercicio precedente.
1.
2.
3.
4.
5.
6.
7.
8.

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

P: Luis ha venido demasiado tarde.

Q: Juan ha venido demasiado pronto.
R: Marcos est enfadado.
1) Si Luis ha venido demasiado tarde y Juan demasiado pronto, entonces Marcos est
enfadado.
2) Si Luis ha venido demasiado tarde o Juan no ha venido demasiado pronto, entonces
Marcos no est enfadado.
3) Si Marcos no est enfadado, entonces Luis no ha venido demasiado tarde.
4) O Luis no ha venido demasiado tarde o Juan ha venido demasiado pronto.
5) Juan ha venido demasiado pronto, y, si Luis ha venido demasiado tarde, entonces
Marcos est enfadado.
6) No ocurre que Luis ha venido demasiado tarde y Juan ha venido demasiado pronto.
E) Completar la simbolizacin de las siguientes proposiciones moleculares.
1)
2)
3)
4)
5)

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.

F) Aparear cada una de las palabras de la izquierda con los ejemplos o

definiciones en la lista de la derecha.
1.
2.
3.
4.
5.
6.
7.
8.

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.

G) Simbolizar las siguientes proposiciones matemticas eligiendo letras maysculas

para sustituir las proposiciones matemticas atmicas.
1.
2.
3.
4.

x es mayor que cinco.

Cuatro no es un nmero impar.
x es igual a tres o x es mayor que seis.
Si x ms cuatro es igual a siete y z ms x es igual a ocho, entonces z es igual a
cinco.
5. Si x es menor de cinco o mayor que siete, entonces no es igual a seis.

28

H) Traducir las siguientes proposiciones lgicas (frmulas) en lengua castellana.

Primero elegir una proposicin atmica en castellano para cada letra atmica, luego
escribir la proposicin completa en castellano.
S
3) P Q
5) (R S)
1)

I)

2) A B
4) M & N R
6) P & Q R.

Simbolizar las siguientes proposiciones:

1) O bien no es cierto que llueve y nieva, o sopla viento.

2) O est lloviendo o nevando, o ninguna de las dos cosas.
3) No es el caso que ni llueva ni nieve.
4) No es cierto que llueva y nieve.
5) No es cierto que llueve, pero no nieva.
6) Llueve o nieva.
7) O bien no est lloviendo o est nevando.
8) O bien Lucas y Marcos son ambos culpables, o Marcos es inocente (=no es culpable).
9) O Marcos es culpable, o l y Lucas lo son conjuntamente.
10) O bien Lucas es culpable, o Marcos es inocente, o ambos son culpables.
J) Simbolizar totalmente las siguientes expresiones y colocar los parntesis necesarios
(un poco ms difcil)
1) Es falso X y Y. 2) X y Y son falsos. 3) Ni X ni Y son verdaderos. 4) No es cierto X y
no Z. 5) O X o Y, pero no ambas. 6) O X o no es el caso que no A y no B. 7) O es cierto
A y B, o no es posible A y no B. 8) O es cierto A y B, o X y Y son verdaderos. 9) No es
cierto que si X entonces no Y. 10) Si A o B, y B o C, entonces A y B. 11) De A y B se
deduce C. 12) C se sigue de A y no B. 13) Si de A se infiere B, y de B se infiere C, de A
seguir tambin C. 14) Para que se d B ha de darse A. 15) Si es cierto que A y B se dan
conjuntamente, tambin lo ser que se den alternativamente. 16) Se dar B si se da A y
C, pero no se dar D.
L)

Simbolizar los siguientes enunciados (un poco ms difci anl):

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

Es decir: se empieza diciendo

que se da
y que se da

PQ
P

Se puede sacar una conclusin de estas dos premisas?

O sea, se puede idear otra proposicin que sea cierta si las dos premisas son ciertas?
La primera proposicin expresa que, si se da P, entonces se da Q.
La segunda dice que se da P.
La conclusin es que se da Q.
La proposicin Q es consecuencia lgica de las premisas.
En el lenguaje natural, la conclusin de los razonamientos viene introducida por
expresiones como por tanto, luego, en consecuencia, se deduce que, etc.
Veamos ahora una inferencia de la misma forma, pero con lenguaje castellano.
Primera premisa:
Segunda premisa:
Conclusin:

- Si llueve, entonces el cielo ha de ser cubierto.

- Llueve.
- Por tanto, el cielo ha de ser cubierto.

Esta conclusin se puede inferir lgicamente de las premisas dadas.

2) Todos los sistemas deductivos comportan una dimensin ldica. En efecto, los
clculos y los juegos se parecen, porque:
-

los smbolos de clculo (vocabulario y conectores) desempean el papel que, en los

juegos, corresponde a las fichas, los tableros, los dados, las cartas y cualquier otro
elemento indispensable para poder jugar;
las reglas de formacin de frmulas equivalen a las instrucciones iniciales del juego
(lugar que las piezas deben ocupar, nmero de cartas o fichas a repartir, orden de las
jugadas, combinaciones vlidas entre los elementos del juego, etc.);
las reglas de transformacin corresponden a las normas que legalizan establecen la
validez de las distintas jugadas del juego al que nos dediquemos.

+ 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

determinar la correccin de los razonamientos expresados en lenguaje natural o el pker

a ganar o perder la hacienda.
+ Consideramos el juego como una herramienta indispensable para el aprendizaje de
cualquier actividad, bien sea manual o intelectual. Jugar es ejercitarse, entrenarse para la
realidad sin exponerse a los riesgos que la realidad comporta. Los ejercicios de
inferencia lgica hay que considerarlos como si se tratara de un juego. Junto a los
ejercicios de estricta derivacin formal, colocamos tambin enigmas, pasatiempos
lgicos y matemticos, porque sirven al mismo objetivo: conseguir que el estudiante se
ejercite en el razonamiento, ordene sus ideas y se acostumbre al rigor intelectual.
+ Presentamos tambin problemas que pueden resolverse sin una preparacin lgica
especial: slo es necesario atender al planteamiento y razonar ordenadamente. A veces,
la solucin de un problema exige tambin capacidad creativa o imaginativa.
(cf. Montaner 40)

4.2

REGLAS DE INFERENCIA LGICA

La Lgica Proposicional (o de enunciados) es la parte ms elemental (porque la ms

sencilla) y bsica (porque sirve de fundamento al resto del edificio de la Lgica) de la
Lgica.
Hay que recordar que la Lgica Proposicional trata de la validez formal de los
razonamientos donde las premisas y la conclusin son proposiciones tomadas en bloque,
es decir, prescindiendo de los elementos que la integran, (esto ser objeto de la Lgica
del Predicado, donde la simbolizacin atiende a la estructura interna del enunciado o
proposicin).

Modus ponendo ponens

Es la regla de inferencia aplicada en el ejemplo precedente. La regla tiene un nombre

latn.
Primero damos algunos ejemplos, y despus explicamos la regla.
I Ejemplo:
Premisa 1:
Premisa 2:
Conclusin:

Si Luis ha ido a ver el partido, entonces est en el estadio.

Luis ha ido a ver el partido.
Luis est en el estadio.

33

II Ejemplo:
Premisa 1:
Premisa 2:
Conclusin:

Si hoy no sale el avin, entonces no me voy a Quito.

Hoy no sale el avin.
No me voy a Quito.

Vamos a simbolizar los dos ejemplos:

I Ejemplo:
P = Luis ha ido a ver el partido.
Q = Luis est en el estadio.
Primera premisa:
Segunda premisa:
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

La regla Modus ponendo ponens permite pasar de dos premisas a la conclusin si se

tienen dos proposiciones de la forma indicada: o sea
Si se da una proposicin condicional
y se da el antecedente de la misma condicional,
se da el consecuente de la condicional (o sea, se deduce el consecuente de la
condicional).
Se puede expresar tambin de esta manera:
Si se afirma el antecedente, se afirma el consecuente.
La misma regla se aplica tanto si el antecedente y el consecuente son proposiciones
atmicas como si son proposiciones moleculares.
Ejemplos:
RS
R
------S

P
PQ
----------Q

P&QR
P&Q
------------R

PQ
P
----------Q

34

PQ&R
P
-------------Q&R

En el segundo ejemplo, la condicional figura en segundo lugar, y P, que es el

antecedente, est situado primero. Esto indica que el orden de las proposiciones es
indiferente.
Si es una ayuda, se pueden usar parntesis (aunque no necesarios), cuando el
antecedente o el consecuente son proposiciones moleculares:

PRS&Q
PR
------------------------S&Q

( P R) (S & Q)
( P R)
-----------------------------(S & Q)

El nombre modus ponendo ponens se puede explicar de la siguiente manera: Esta

regla de inferencia es el mtodo (modus) que afirma (ponens) el consecuente, cuando se
afirma (ponendo) el antecedente.
La abreviatura para indicar la regla del modus ponendo ponens es PP.
Otra manera de representar las operaciones de deduccin es colocar en fila horizontal,
una tras otra, las premisas separadas por comas, a continuacin el smbolo , al que
llamamos deductor, y que puede leerse como por tanto o por consiguiente, y
finalmente la conclusin.
A B, A,

(modus ponendo ponens)

Ejercicio 1
A.

Qu conclusin se puede sacar de los siguientes conjuntos de premisas? Es

decir: qu proposicin lgica se puede deducir de las premisas?

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.

E. Las hermanas gemelas

1. Las hermanas Dobler son tan parecidas que no es posible distinguirlas. Angelita dice
siempre la verdad; su hermana Mara miente siempre. Para saber con cul de las dos se
est tratando, no sirve preguntarle su nombre. Por qu?
F. Don Marceln, aficionado a la lgica, ide un mtodo para descubrir con rapidez la
identidad de las gemelas. Se diriga a cualquiera de ellas y le preguntaba: Si a tu
hermana le preguntase cmo se llama, qu me respondera?. Sabras demostrar la
efectividad de la pregunta? (cf. Montaner 41).

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.

Deducir una conclusin de cada conjunto de premisas, indicando cmo se

obtienen cada una de las terceras lneas por medio de las abreviaturas P en la
regla de premisas, o PP en el modus ponendo ponens.

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.

Simbolizar cada uno de los conjuntos de premisas del literal A en el ejercicio 1.

Despus indicar una demostracin como en la seccin A de este ejercicio.

Cadena deductiva: demostraciones de dos o ms pasos

Una cadena deductiva es una secuencia finita de enunciados de los cuales uno, la
conclusin, sigue necesariamente de los anteriores. Cada enunciado que forma parte de
una determinada cadena deductiva constituye una lnea de derivacin.

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

Simbolizar cada una de las proposiciones de los conjuntos siguientes y demostrar

que la conclusin (la proposicin que empieza con Por tanto...) es consecuencia
lgica. Seguir el mtodo que hemos dado ms arriba.
Nota: Cuando se usan smbolos matemticos, no es necesario utilizar letras
maysculas para simbolizar las proposiciones atmicas.

1. Si 2 es mayor que 1, entonces 3 es mayor que 1.

Si 3 es mayor que 1, entonces 3 es mayor que 0.
2 es mayor que 1.
Por tanto, 3 es mayor que 0.
2. Si x = z y z = y, entonces x = y
Si x = y, entonces y = x
x=z y z=y
Por tanto, y = x
3. x + 1 = 2
Si x + 1 = 2, entonces y + 1 = 2
Si y + 1 = 2, entonces x = y
Por tanto, x = y
4. Si x + 0 = y, entonces x = y
x+0=y
Si x = y, entonces x + 2 = y + 2
Por tanto, x + 2 = y + 2

39

D) La regla PP se puede aplicar muchas veces en una demostracin. En los ejercicios

que siguen, deducir la conclusin que se desea demostrar, expresando la regla
aplicada para deducir cada lnea e indicando las lneas que se han utilizado para
aplicar la regla.
1. Demostrar: N
(1) R S
(2) R
(3) S Q
(4) Q N

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

La regla de la doble negacin permite pasar de una premisa nica a la conclusin.

Ejemplo:

No es cierto que Sandra no es una estudiante.

Si sta es una premisa, la conclusin ser: Sandra es una estudiante.

La negacin de una negacin corresponde a una afirmacin.
La regla acta tambin en sentido contrario.
Ejemplo:

Tamara toma el colectivo para ir a la escuela.

40

Si sta es una premisa, se puede concluir:

No es verdad que Tamara no toma el colectivo para ir a la escuela.
La regla de la doble negacin tiene, pues, dos formas simblicas:
P
--------------------P

P
-------------------P

La abreviatura para indicar esta regla es DN.

(1) R
P
(1) (P & Q)
(2) R
DN 1
(2) P & Q
- Dice que llueve o dice que no llueve la siguiente proposicin?
- Ejemplos:

P
DN 1

No es cierto que sea falso que no llueve.

El lenguaje diario usa indistintamente la doble negacin o para anular una negacin ya
formulada (como en no es verdad que no estuvo presente, y en esto vienen a coincidir
el lenguaje ordinario y el uso lgico de la negacin), o en un sentido puramente retrico
o reduplicativo como en no dijo ni una palabra. La simbolizacin de la segunda frase
sera D (representando D: decir una palabra); mientras que la primera se
representara como P (siendo P: estar presente). En lgica consideramos la doble
negacin en su sentido estricto.
Ya conocemos dos reglas de inferencia (PP y DN), y podemos hacer demostraciones que
requieran el uso de ambas.
Ejemplo:

(1) P Q
(2) P
(3) Q
(4) Q

P
P
PP 1,2
DN 3
Ejercicio 4

A.

Qu conclusiones se pueden sacar de cada una de las proposiciones siguientes

por la doble negacin?

1. Todos los mamferos son animales de sangre caliente.

2. No es cierto que el ncleo de un tomo no est cargado positivamente.
3. El granito es una roca gnea.
4. En el Ecuador las elecciones del presidente tienen lugar cada cuatro aos.
B.
Deducir una conclusin de cada uno de los siguientes conjuntos de premisas,
utilizando el modus ponendo ponens, cuando sea posible. Si la regla no se puede
aplicar a las premisas, indicarlo escribiendo no PP.

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.

Modus Tollendo Tollens

Tambin esta regla se aplica a las proposiciones condicionales.

42

Se puede expresar de esta manera: Si se niega (tollendo) el consecuente (de una

condicional), se puede negar (tollens) el antecedente (de la misma condicional).
Ejemplo: Premisa 1: Si la luna tiene luz propia, entonces es una estrella.
Premisa 2:
La luna no es una estrella.
Conclusin: Por tanto, la luna no tiene luz propia.
Simbolizando:

P = La luna tiene luz propia.

Q = La luna es una estrella.
(1) P Q
(2) Q
(3) P

La abreviatura del modus tollendo tollens es TT.

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

Ya conocemos tres reglas de inferencia lgica: PP, DN, TT.

Veamos ahora dos ejemplos en que se aplican estas reglas.
1. Demostrar: R
(1) P Q
(2) Q
(3) P R
(4) P
(5) R
(6) R

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.

Deducir una conclusin de cada uno de los conjuntos de premisas siguientes.

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

Demostrar que las conclusiones son consecuencia de las premisas dadas.

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

D. El detective Martnez va a la casa del cliente.

El detective Martnez en su trabajo utiliza la lgica. De momento busca un crimen como
paso previo a la bsqueda de un criminal: sale de casa por la maana y llama a cualquier
puerta que le parece sospechosa. En cuanto le abren, empieza a hablar: Si se hubiera
cometido un crimen en esta casa, ustedes habran necesitado los servicios del detective
Martnez. Y si lo hubiesen necesitado, habran querido ponerse en contacto telefnico
con l. Si hubiesen querido telefonearle, habran buscado su nmero en las pginas
amarillas, habran descolgado el auricular y habran marcado el nmero.. Si hubiesen
hecho todo esto habran estado perdiendo el tiempo. Pero ustedes niegan haber perdido
el tiempo de esa manera, as que concluyo, por modus tollendo tollens, que en esta
casa no se ha cometido crimen alguno. Adios, buenos das y perdonen.
(Formalizar el enunciado y demostrar que el detective Martnez razona de forma
correcta). (ver Montaner 55).

E. En el dilogo platnico Menn, Scrates expone, en conversacin con un joven

esclavo, cuyo nombre da ttulo a ese dilogo, el argumento de que la virtud no es algo
que se pueda ensear en una clase:
Scrates: Convenimos en admitir que una cosa no puede ser enseada si no hay
profesores capaces de ensearla?
Menn: Por supuesto.
Scrates: Pero, es que hay en lugar alguno profesores capaces de ensear la virtud?
Menn: No los hay.
Scrates: Puede ser entonces enseada la virtud?
Menn: No, si nuestra opinin es correcta.
(Formalizar el texto traducindolo a un conjunto de frmulas que representan las
premisas del argumento y deducir despus, a partir de ellas la conclusin aplicando las
reglas lgicas oportunas. P,V pueden ser los smbolos de las proposiciones que se
utilizan).
Solucin: El hilo del discurso podra ser simplificado as: Si no hay profesores capaces
de ensear la virtud, entonces la virtud no puede ser enseada. Pero, no hay profesores
capaces de ensear la virtud. Por tanto, la virtud no puede ser enseada. (cf. Garca
Trevijano 37 y 52).
F. Formalizar el siguiente razonamiento y averiguar si la conclusin es cierta.
Si no es cierto que no bromeo, entonces llueve. Y si llueve, no hace fro. Por si te sirve
de ayuda, te dir que no es verdad que no haga fro. Por tanto, no bromeo.

Profundizacin del concepto de negacin

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.

Si ambas son verdaderas, se podran juntar en una proposicin molecular utilizando el

trmino de enlace y:
Martha es pequea y Carlos es gordo.
Carlos es gordo y Martha es pequea.
(El orden de las premisas es indiferente)
Si las dos premisas son ciertas, tambin la conclusin tendra que ser cierta.
La regla que permite pasar de las dos premisas a la conclusin, se denomina regla de
adjuncin, y se indica con la abreviatura A.
Si una o ambas premisas son proposiciones moleculares, habr que poner parntesis
cuando sea necesario.
Ejemplos:
a. (1) P
(2) R
(3) P & R
c. (1) T
(2) U
(3) U & T

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:

El cumpleaos de Mayra es el viernes y el de Tatiana es el sbado.

Podemos deducir dos conclusiones:

El cumpleaos de Mayra es el viernes.
El cumpleaos de Tatiana es el sbado.
Reducida en forma simblica: de la premisa
se puede concluir
o se puede concluir

P&Q
P
Q

Advertencia: Esta regla

no se puede aplicar a P & Q R, cuyo significado es (P & Q) R;
pero se puede aplicar a P & (Q R).
Ejemplos:
a. (1) (P Q) & R
(2) 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

Qu conclusiones puedes sacar de estos conjuntos de premisas?

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

Formalizar el siguiente razonamiento:

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

Disyunciones como premisas

Antes de introducir una regla sobre las disyunciones conviene considerar el significado
de la disyuncin en Lgica.
En el lenguaje corriente hay dos maneras posibles de usar la palabra o.
- Algunas veces se quiere indicar que se presenta una u otra de dos cosas, pero no las
dos a la vez. Este es el sentido excluyente de o.
Ejemplo: T vives en Esmeraldas o vives en Quito.
Una de las dos proposiciones atmica es cierta y la otra es falsa.
- En Lgica, sin embargo, vamos a dar un significado ms amplio a la disyuncin, que
se denomina sentido incluyente. En este sentido, cuando se utiliza la palabra o, se
supone que por lo menos un miembro de la disyuncin se presenta cierto, y quizs dos.
Si en la puerta de un teatro hay un cartel que dice:Perodistas o fotgrafos deben
entrar por aqu, el significado de la disyuncin es: Deben entrar por aqu todos los
que son tanto periodistas como fotgrafos.
Es una disyuncin en sentido incluyente: o sea, quien entra tiene que ser periodista o
fotgrafo, pero no se excluye que sea a la vez periodista y fotgrafo. Por lo menos un
miembro de la disyuncin es cierto, pero pueden serlo los dos.

49

Ahora bien, por lo general, en Lgica se utiliza la palabra o en sentido incluyente.

Hay, pues, que evitar el error de creer que si un miembro de una disyuncin es cierto, el
otro debe ser falso. Ambos pueden ser ciertos. La disyuncin afirma que por lo menos
uno es cierto.
Nota: La regla que vamos a explicar, es vlida slo cuando la disyuncin tiene sentido
incluyente. Si se tuviera una disyuncin excluyente, ya no se podra aplicar
correctamente.
La idea de disyuncin exclusiva puede ser simbolizada mediante una perfrasis que
combina los conectores , &, . La disyuncin exclusiva :O es culpable o es inocente
se podra simbolizar as: ( C I ) & (C & I ) = Es culpable o inocente, pero no
ambas cosas.

Modus Tollendo Ponens

Consideremos la siguiente disyuncin:

O la produccin aumenta o el precio aumenta.
Si negamos un miembro de la disyuncin, afirmamos el otro miembro: negando
(tollendo) un miembro, se afirma ( ponens) el otro.
En Lgica, la disyuncin es siempre incluyente (un miembro es cierto, pero tambin el
otro puede ser cierto). Ahora bien, si negamos el uno, significa que el otro es cierto;
mientras que, si afirmamos el uno, esto no significa que el otro sea falso.
Simbolizando:

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

La abreviatura del modus tollendo tollens es TP.

Otro ejemplo:
Premisa 1:
Premisa 2:
Conclusin:

Esta sustancia contiene hidrgeno o contiene oxgeno.

Esta sustancia no contiene hidrgeno.
Esta sustancia contiene oxgeno.

50

Simbolizando:P = Esta sustancia contiene hidrgeno.

Q = Esta sustancia contiene oxgeno.
(1) P Q
(2) P
(3) Q

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

d. (1) (P & Q) (R & S)

(2) (P & Q)
(3) R & S

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

Demostrar que las conclusiones son consecuencia de las premisas dadas.

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

Primero simbolizar las premisas y conclusiones siguientes. Despus demostrar

que las conclusiones son consecuencia de las premisas. Recuerden: cuando las
proposiciones atmicas ya estn simbolizadas por smbolos matemticos, no
hace falta utilizar letras maysculas: se conservan los smbolos matemticos y se
simbolizan slo los trminos de enlace.

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.

Demostrar que las conclusiones son consecuencias de las premisas.

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.

Solucionar los siguientes ejercicios.

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

Una premisa puede ser introducida en cualquier punto de la deduccin.

Si la premisa es cierta, siguiendo correctamente las reglas de la lgica, llegamos a una
conclusin cierta. Si, por el contrario, la premisa introducida es falsa, tendremos una
conclusin falsa.

54

Hemos aprendido a efectuar deducciones cada vez ms...complicadas. Vamos a razonar

un poquito ms sobre estas deducciones.
Ejemplo a:

Si la ballena es un mamfero, entonces toma oxgeno del aire. Si toma

oxgeno del aire, entonces no necesita branquias. La ballena es un
mamfero y vive en el ocano. Por tanto, no necesita branquias.

* El primer paso es simbolizar las proposiciones atmicas del razonamiento.

A = La ballena es un mamfero.
C = Necesita branquias.

B = Toma oxgeno del aire.

D = Vive en el ocano.

* 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

* El tercer paso es el de verificar si la conclusin se deduce lgicamente de las

premisas. Es, pues, necesario escribir el razonamiento completo utilizando las reglas de
inferencia lgica aprendidas.
(1) A B
(2) B C
(3) A & D
(4) A
(5) B
(6) 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).

Podemos ahora escribir en castellano el razonamiento completo.

Si la ballena es un mamfero, entonces toma oxgeno del aire.
Si toma oxgeno del aire, entonces no necesita branquias.
La ballena es un mamfero y vive en el ocano.
La ballena es un mamfero.
Toma oxgeno del aire.
Por tanto, no necesita branquias.
Este es un ejemplo de deduccin formal. Objetivo de la Lgica es ser preciso. Es
oportuno, para estar seguro de la precisin, anotar cada paso que se efecta y el por qu
est permitido.
Ejemplo b:

Si la enmienda no fue aprobada, entonces la Constitucin queda como

estaba. Si la Constitucin queda como estaba, entonces no podemos
aadir nuevos miembros al comit. O podemos aadir nuevos miembros

55

al comit o el informe se retrasar un mes. Pero el informe no se

retrasar un mes. Por tanto, la enmienda fue aprobada.
Simbolizacin de las proposiciones atmicas:
A = La enmienda fue aprobada.
M = Podemos aadir nuevos miembros al comit.
C = La Constitucin queda como estaba.
R = El informe se retrasar un mes.
(1) A C
(2) C M
(3) M R
(4) R
(5) M
(6) C
(7) A
Ejemplo C:

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.

Simbolizacin de las proposiciones atmicas:

E = Luis tiene 16 aos
S = Luis tiene la misma edad de Mara.
T = Alfredo tiene la misma edad de Luis.
J = Alfredo 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)

De cada uno de los ejemplos siguientes demostrar que la conclusin es

consecuencia lgica de las premisas dadas. Primero simbolizar, y despus
demostrar.

1) Si sta es una sociedad matriarcal, entonces el hermano de la madre es el cabeza de la

familia. Si el hermano de la madre es el cabeza de la familia, entonces el padre no tiene
autoridad. Esta es una sociedad matriarcal. Por tanto, el padre no tiene autoridad.
2) O esta roca es una roca gnea o es una roca sedimentaria. Esta roca es granito. Si esta
roca es granito, entonces no es una roca sedimentaria. Por tanto, esta roca es una roca
gnea.
3) Si Juan es ms alto que Pedro, entonces Mara es ms baja que Juana. Mara no es
ms baja que Juana. Si Juan y Luis tienen la misma estatura, entonces Juan es ms alto
que Pedro. Por tanto, Juan y Luis no tienen la misma estatura.
4) Si el reloj est adelantado, entonces Juan lleg antes de la diez y vio partir el carro de
Andrs. Si Andrs dice la verdad, entonces Juan no vio partir el carro de Andrs. O
Andrs dice la verdad o estaba en el edificio en el momento del crimen. El reloj est
adelantado. Por tanto, Andrs estaba en el edificio en el momento del crimen.
B)

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

Realizar las siguientes demostraciones

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.

Realizar las siguientes demostraciones:

58

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

Uso correcto de los parntesis y su significado

Los parntesis indican el agrupamiento en proposiciones moleculares, en las que
distintas agrupaciones pueden dar lugar a distintos significados.
(A & B) C
A & (B C).

Por ejemplo:
no tiene el mismo significado que

La primera es una disyuncin, la segunda es una conjuncin; y se aplican leyes

diferentes.
Recordar:
El trmino de enlace condicional es el ms fuerte, y no necesita parntesis para
indicar que es el trmino de enlace dominante.

Los trminos de enlace o e y son igualmente fuertes, y se necesita parntesis

para indicar cul es el dominante.
Todos son ms fuertes que no. El signo se aplica slo a la proposicin atmica
delante de la que est colocado, salvo que un parntesis indique que se aplica a una
proposicin molecular.

Ejercicio 10
A)

Tiene la proposicin Q & R distinto significado que la proposicin (Q &

R)? En caso afirmativo, explicar la diferencia.

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

Si se tiene un proposicin que es cierta, entonces la disyuncin entre aquella

proposicin y otra cualquiera es tambin cierta.
Si se da la proposicin P, entonces la proposicin P Q es una consecuencia de la
proposicin P.
La explicacin de esta regla se encuentra en el significado que tiene la conjuncin en
Lgica: de las dos partes de la conjuncin, por lo menos una es cierta, mientras que la
otra parte puede ser falsa o puede ser tambin cierta.
En el caso especfico, si tenemos como premisa P, que consideramos cierta, nos est
permitido unir a P cualquier proposicin por medio del trmino de enlace o y formar
una disyuncin. Esta disyuncin tambin ser cierta, porque tiene una parte que
sabemos que es cierta (P). La otra parte puede ser cierta o falsa: cualquier sea, el valor
de la disyuncin es siempre cierto.
Utilizando el lenguaje corriente:
Premisa cierta: El da es caliente.
Cualquier disyuncin que se construya con esta proposicin es tambin cierta:
El da es caliente o fro. O tambin: El da es caliente o tibio. O tambin: El da es
caliente o nublado. Y as sucesivamente.
En todos los ejemplos, una parte es cierta, y esto es todo lo que se necesita para que una
disyuncin sea cierta.
En forma simblica: si se tiene P, se puede concluir P Q, P R, P M, P T, P
S, etc.
La abreviatura de la ley de adicin es LA.
Ejemplos:
a. (1) Q
(2) Q R

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

Demostrar los siguientes razonamientos con un demostracin formal.

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

Deducir conclusiones de los siguientes conjuntos de premisas:

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.

Ley del silogismo hipottico

Se la llama tambin Regla de transitividad del condicionador (o de la condicional).
Su abreviatura es HS.
De las premisas:

(1) Si hace calor, entonces Juana va a nadar.

(2) Si Juana va a nadar, entonces est satisfecha.

Se puede concluir:

(3) Si hace calor, entonces Juana est satisfecha.

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

La conclusin es una proposicin condicional. Ambas premisas son proposiciones

condicionales.
Para aplicar la regla HS, se dan los tres pasos siguientes:
* Primero: Se comprueba que tenemos dos condicionales.
* Segundo: Se comprueba que el antecedente de una de las condicionales coincida con
el consecuente de la otra.
* Tercero: Se forma como conclusin una condicional cuyo antecedente es el
antecedente de una de las premisas y cuyo consecuente es el consecuente de la otra
premisa.
Ejemplos:
63

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

Dar demostraciones formales de los siguientes razonamientos.

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.

Demostrar que la conclusin sigue lgicamente de las premisas.

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.

El Tablero: Qu signo corresponde poner, por lgica, en el espacio vaco?

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.

Ley del silogismo disyuntivo

La abreviatura es DS.
Son necesarias una disyuncin y dos condicionales.
Ejemplo:

O llueve o el campo est seco.

Si llueve, entonces jugaremos en el coliseo.
Si el campo est seco, entonces jugaremos en la cancha.

La conclusin ser otra disyuncin:

O jugaremos en el coliseo o jugaremos en la cancha.

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.

Para aplicar la ley, hay que razonar de esta manera:

* Primero: Se comprueba que se tienen dos condicionales y una disyuncin.
* Segundo: Se comprueba que los dos antecedentes de las dos condicionales son los
dos miembros de la disyuncin.
* Tercero: Se forma como conclusin una disyuncin cuyos miembros son los dos
consecuentes de las condicionales.
Algunos ejemplos (en la conclusin se puede poner como primero cualquier miembro
de la disyuncin).
1. (1) P Q
(2) Q S
(3) P R
(4) R S

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.

- Esquemas de los dilemas ms usuales:

* Dilemas constructivos:

67

simple

compuesto

X Y
XZ
YZ
--------Z Z

X Y
X Z
Y W
---------Z W

- Regla de los dilemas constructivos: Si tomamos como premisas una disyuncin

y dos condicionales tales que los miembros de la disyuncin afirman los
antecedentes, se puede inferir como conclusin una disyuncin en la que se afirman los
consecuentes.
Ejemplos:
* O esta figura tiene cuatro lados (P) o tiene cuatro ngulos (Q). Si tiene cuatro
lados es un cuadriltero (T); si tiene cuatro ngulos, es un cuadriltero: En ambos casos
es un cuadriltero.
* Las ciencias o son fcticas (M) o son formales (N). Si son fcticas,
comprueban sus enunciados empricamente (R). Si son formales, demuestran sus
enunciados a partir de los axiomas del sistema (T). En consecuencia, los enunciados de
las ciencias o se comprueban empricamente o se demuestran mediante los axiomas.

* Dilemas destructivos:
simple

compuesto

XY
Z X
ZY
--------------ZZ

XY
ZX
WY
---------------ZW

- Regla de los dilemas destructivos: Si se toman como premisas una disyuncin y

dos condicionales tales que los miembros de la disyuncin niegan los consecuentes de
las condicionales, podemos inferir como conclusin una disyuncin en la que se niegan
los antecedentes.
La abreviatura del dilema destructivo es la misma del dilema constructivo, o sea,
constituye la ley del silogismo disjuntivo; sin embargo, para especificarla mejor,
podemos utilizar la sigla Dil . D.
Ejemplos:

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)

Qu se puede concluir de cada uno de los siguientes conjuntos de premisas por

la ley del silogismo disyuntivo?. Dar como conclusin una proposicin del
lenguaje corriente.

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)

Simbolizar los razonamientos de la seccin A.

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

2. Demostrar: T S 3. Demostrar: Q & S

(1) P R
(1) S & R
(2) R S
(2) R T
(3) P T
(3) Q 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

Dar una demostracin formal de cada uno de los razonamientos siguientes.

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

Ley de la simplificacin disyuntiva

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

Este es un ejemplo de la ley de simplificacin disyuntiva, cuya abreviatura es DP.

Ejemplo:

(1) Q Q
(2) Q

P
DP 1

Aplicacin importante de esta ley: se da cuando un silogismo disyuntivo tiene la

siguiente forma especial (que ms arriba hemos llamado dilema simple):
PQ
PR
QR
Por tanto
RR
Por tanto
R
Ejercicio 14

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)

Dar una demostracin formal de cada uno de los razonamientos siguientes:

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)

Formalizar los siguientes razonamientos:

1) Si el nmero n es positivo, entonces n al cuadrado es positivo. Si n es negativo,

entonces n al cuadrado es positivo. El nmero n es positivo o negativo. En
consecuencia, n al cuadrado es positivo.
2) El dilema del Califa Omar. Cuando los ejrcitos rabes alcanzaron la ciudad de
Alejandra, su caudillo, el Califa Omar, tuvo que enfrentarse con el siguiente dilema: O
los libros de la Biblioteca de Alejandra contienen las enseanzas del Corn o no la
contienen. Si contienen las enseanzas del Corn, entonces son intiles, y si son
intiles, deben ser quemados. Si no contienen las enseanzas del Corn, son nocivos, y
si son nocivos, deben ser quemados. Por consiguiente, los libros de la Biblioteca de
Alejandra deben ser quemados.
(Y as pas: la biblioteca de Alejandra, la ms famosa y preciosa del mundo antiguo,
fue destruida).
H)

Realizar la demostracin de los siguientes razonamientos.

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:

El calor es insoportable y las lluvias son abundantes.

Las lluvias son abundantes y el calor es insoportable.
de
se deduce:

P&Q
Q&P

Otro ejemplo:
Por tanto:
Simbolizando:

O x es mayor que cinco o x es igual a cinco.

O x es igual a cinco o x es mayor que cinco
P = x es mayor que cinco.
Q = x es igual a cinco.
PQ
QP

de:
se deduce:

Las leyes conmutativas se aplican a conjunciones y disyunciones, no a las

condicionales.
La abreviatura de esta regla es CL.
Ejemplos:

(1) P Q
(2) Q P

(1) P & Q
(2) Q & P

P
CL 1

P
CL 1

Nota: En matemtica, se aplican estas leyes a las operaciones aritmticas de la suma y

de la multiplicacin, no a la resta y a la divisin:

mientras que

4+ 5 = 5+4

4x5 = 5x 4

45 54

4:5 5:4
Ejercicio 15

A)

Aplicar las leyes conmutativas a las proposiciones siguientes:

1) La adicin es una operacin binaria y la multiplicacin es una operacin binaria.

2) El to de Luis es un senador o es un representante del Congreso.
3) Miriam vive en la calle Espejo y Narcisa vive en la calle Olmedo.
73

4) El hidrgeno es un lquido o el hidrgeno es un gas.

B)
Qu conclusin se puede sacar de las siguientes premisas utilizando una ley
conmutativa?
1. (1) P Q

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

En el lenguaje corriente ocurre a veces que hay proposiciones enunciadas de manera

distinta que tienen el mismo significado.
Ejemplo: la proposicin:

No llueve y no hace sol

se puede tambin expresar diciendo:

No ocurre que llueva o que haga sol.

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

Otro ejemplo: la proposicin:

No hace calor o no llueve
se puede tambin expresar diciendo: No ocurre a la vez que hace calor y que llueve.
Puesto que las dos proposiciones significan lo mismo en el lenguaje corriente, en Lgica
es vlido concluir de la una la otra.
Expresado en smbolos:

de
se puede concluir

PQ
(P & Q)

de
se puede concluir

(P & Q)
PQ

Estos ejemplos son aplicaciones de las Leyes de Morgan.

Como lnea general, podemos dar las siguientes indicaciones:
las Leyes de Morgan permiten
1. pasar de una conjuncin a la negacin de una disyuncin;
2. pasar de una disyuncin a la negacin de una conjuncin;
76

3. pasar de la negacin de una disyuncin a una conjuncin;

4. pasar de la negacin de una conjuncin a una disyuncin.

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

Concretamente, podemos presentar como modelos estas formas proposicionales:

a.

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

Atento!: El valor positivo o negativo de la proposicin P o de la proposicin Q se

mantiene inalterado. Hay que recordar que:
- el signo de negacin fuera del parntesis niega todas las proposiciones
contenidas en el parntesis;
- el signo de negacin fuera del parntesis y el signo de negacin que precede
una proposicin atmica dentro del parntesis constituyen una doble negacin y
corresponden a una afirmacin.
La abreviatura es DL.
En el ejemplo que sigue, de una sola premisa deducimos, utilizando las leyes de
Morgan, distintas conclusiones:
(1) ( P & Q)

77

(2) P Q
(3) P Q
(4) (P Q)
(5) ( P Q)

DL 1
DL 1
DL 1
DL 1

Otros ejemplos de aplicacin de las leyes de Morgan:

a. (P & Q)
--------------- P Q

b. ( P & Q)
------------------ P Q

c. P Q
--------------- ( P & Q)

Presentamos un ejemplo utilizando el lenguaje castellano:

Si estudio (N), aprobar la lgica (M). Si apruebo la lgica, pasar de curso (P) o me
matricular en la Escuela de Idiomas (Q). No es cierto que o no estudie ( N) o no
sienta inters por la asignatura ( R). Por tanto, no es posible que no pase de curso y
que no me matricule en la Escuela de Idiomas.
N M, M P Q, ( N R)

( 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)

Solucionar los siguientes ejercicios.

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

Resolver los siguientes ejercicios:

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)

Resumen de las Reglas de Morgan

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.

Leyes de las proposiciones bicondicionales

Otro trmino de enlace es :

si y slo si

La proposicin que la utiliza se denomina: proposicin bicondicional

Recuerda: Hay otras expresiones del lenguaje natural que corresponden a si y slo si:
equivale a, cuando y solamente cuando, es igual a, vale por, es lo mismo que,
etc.
Ejemplos:

- Slo en el supuesto de que t no lo hayas matado, quedars libre.

- La suma de los ngulos de un tringulo equivale a 180 grados.
- Tener malos pensamientos equivale a practicarlos.
- Unicamente los esquimales atolondrados cazan las focas a pedradas.
- Slo aplicando la racionalidad puede la vida tener sentido.

(Transformar las proposiciones anteriores en la forma tpica si y slo si).

El smbolo que se utiliza es:

Este signo aparece como dos signos condicionales que van en sentido opuesto.
En realidad, una proposicin bicondicional corresponde a dos proposiciones
condicionales.
Ejemplo:

El patio se inunda si y slo si el agua alcanza esta altura.

82

Simbolizando las proposiciones atmicas:

P = El patio se inunda.
Q = El agua alcanza esta altura.
La proposicin bicondicional en forma simblica es

PQ

Esta proposicin tiene la misma fuerza de dos proposiciones condicionales:

P Q significa:

Si el patio se inunda, entonces el agua alcanza esta

Q P significa:
inunda.

Si el agua alcanza esta altura, entonces el patio se

altura.

PQ
PQ

La nueva regla que permite deducir

de

QP

se denomina ley de las proposiciones bicondicionales, cuya abreviatura LB.

En smbolos, permite los siguientes razonamientos:
a. P Q
-------PQ

P
LB

b. P Q
--------QP

c.

LB

PQ
------------------------(P Q) & (Q P)

P
LB

Recordar: la bicondicional si y slo si es ms potente que cada uno de los dems

trminos de enlace.
La proposicin

PQS&R

es una bicondicional.

Para convertirla en condicional, son necesarios parntesis:

P (Q S & R)
El consecuente de esta condicional es una bicondicional.
Si se quiere que el consecuente sea una conjuncin, hacen faltas parntesis adicionales:
P ((Q S) & R)
Todas las frmulas siguientes son bicondicionales:
PQ

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)

Dar una demostracin formal de cada uno de los razonamientos siguientes.

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)

Dar una demostracin formal

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)

Las palabras de la lista comparten una propiedad. cul es?

Euforia Buolera Subvencionar Quebradizo.

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).

Otras propiedades de las bicondicionales

1) Propiedad Conmutativa de la bicondicional (Abreviatura:Conm. B.)
Si tenemos una bicondicional, podemos inferir como conclusin la misma bicondicional
con una ordenacin distinta de sus miembros.
PQ
---------QP
Ejemplo: Estars en condicin de ganar mucho dinero (P) si y slo si juegas a las
quinelas (Q). Por tanto, si y slo si juegas a las quinelas, podrs tener la suerte de ganar
mucho dinero.
P Q

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

* Definicin de la conjuncin (Abreviatura: Def. Conj.)

X&Y
------------ (X Y)

X & Y (X Y)

Regla: De una conjuncin podemos deducir la negacin de una condicional con el

consecuente negado (siendo antecedente y consecuente los respectivos miembros de la
conjuncin).
Ejemplo: Si es cierto que Ecuador es una repblica (X) y Holanda una monarqua (Y),
es falso decir que si Ecuador es una repblica entonces Holanda no es una monarqua.
* Definicin de la disyuncin (Abreviatura: Def. Disyunc.)
XY
---------------XY

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)

Regla: De una condicional se puede deducir la negacin de una conjuncin con el

consecuente negado (siendo las dos partes de la conjuncin respectivamente el
antecedente y el consecuente de la condicional).
88

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)

Resolver los siguientes ejercicios

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

14. Demostrar: T & S

(1) (P Q) & (M N)
(2) (P & Q) T
(3) (M & N) S

16. Dem.: (M & N) & (T W)

(1) (P Q) (M N)
(2) (P & Q) & (S & R)
(3) (R S) (T & W)
18. Demostrar: ( X & Z)
(1) (P & Q)
(2) ( R & Q)
(3) ( P U) ( Z X)
(4) R S
(5) M T
(6) S & T

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

25. Dem.: ( R T) & ( P Q)

(1) (P Q) R
(2) (U W) P
(3) ( P M)
(4) ( S U)
(5) (M N) T
(6) (S Z) Q

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)

Problema famoso de lgica elemental en el que han tropezado muchos ingenios.

91

Si en un cajn del armario tenemos 12 pares de calcetines negros y 12 pares de

calcetines blancos y estn todos sueltos y desordenados y, adems, no tenemos luz en la
habitacin, cul es el menor nmero de calcetines que debemos coger para tener la
seguridad de que obtenemos un par del mismo color? (cf Montaner 112)
H) Este tablero representa un cuadrado mgico, en que la suma de los nmeros de cada
columna ofrece el mismo resultado. Sabiendo que no puedes repetir las cifras en la
misma columna, qu nmeros debes colocar en los espacios en blanco para que
todas las columnas, incluidas las diagonales, sumen lo mismo? (cf. Montaner 118)

5
1

E)

3
4

Solucionar los siguientes ejercicios

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

F) El detective Martnez practica el dilema

Martnez imagina la muerte de lord Dustman: entre las nueve y las diez de la noche, una
mano asesina descarga seis impactos de bala sobre el endeble cuerpo del aristcrata.
Dos sospechosos, el ama de llaves y el mayordomo, se culpan mutuamente. Martnez
reflexiona:
1. O el asesino es el mayordomo o es el ama de llaves. Si es el mayordomo, le
descubriremos. Si es el ama de llaves, tambin. Luego, sea quien sea el asesino, le
descubriremos!
2. O el asesino es el mayordomo- contina el detective o el ama de llaves ha mentido.
Si es el mayordomo, daremos el caso por terminado. Si el ama de llaves ha mentido,
tendremos que buscarla en Finlandia, pues, ayer, tras de declarar que era inocente,
afirm que se marchaba a Finlandia por motivos de salud. Por tanto, o cerramos el caso,
o buscamos el ama de llaves en Finlandia.
93

Poco avanzamos, suspir Martnez, y decidi salir de duda con el prximo

razonamiento.
3. Si el asesino es el mayordomo, tuvo que estar en la casa entre las nueve y las diez de
la noche y matar a Lord Dustman con la pistola que utiliz ayer el ama de llaves para
amenazarnos (o es que alguien haba pensado que la dejamos marchar a Finlandia por
las buenas?). Pero o el mayordomo no estaba en la casa o no mat a Lord Dustman con
la citada pistola. Luego, el mayordomo no puede ser el asesino.
En fin, pens Martnez, tendremos que viajar a Finlandia con la imaginacin, a no ser
que la peligrosa ama de llaves haya mentido al decir que hua en avin a aquel pas.
Veamos:
4. Si el ama de llaves dijo la verdad, habr huido a Finlandia, pero, si se estrope su
avin, resolveremos el caso. O el ama de llaves no ha huido a Finlandia o no
resolveremos el caso. Luego, o no dijo la verdad o no se estrope su avin.
(Formaliza los distintos razonamientos de Martnez y atrvete luego con un final
sorprendente, pero que se ajuste a la lgica implacable de nuestro detective. Puedes
utilizar las reglas que te vengan en gana). (cf. Montaner 133).
G)

Las reflexiones de Don Marceln

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)

Formalizar el siguiente razonamiento.

Si el cajero hubiera apretado el botn de alarma, la caja se habra cerrado

automticamente y la polica habra llegado en tres minutos. Si la polica hubiera
llegado en tres minutos, habra alcanzado el vehculo de los ladrones. Pero no pudo
alcanzarlo. Por tanto, el cajero no apret la alarma.
I)

Alicia hacia el mundo de las maravillas.

Apenas iniciado su viaje al mundo de las maravillas, la pequea Alicia se encuentra en

un punto de no retorno. Ha conseguido empequeerse hasta poder atravesar la diminuta
puerta que da al jardn, pero la llave qued olvidada sobre una mesa cuya altura es ahora
inaccesible. La infeliz Alicia estalla en desconsolado llanto...De repente descubre una
cajita de cristal con un pastel en su interior en el que se lee la palabra Cmeme. Ni
corta ni perezosa, la avispada Alicia se lanza por el nico camino que se le abre, al

94

tiempo que se reconforta a s misma con este razonamiento: Me lo comer, y as, si

crezco, podr alcanzar la llave y, si menguo, ser tan pequea que podr pasar por
debajo de la puerta para llegar al jardn. As es que no pierdo nada por comerlo.
Es correcto el razonamiento de la nia (a parte el hecho de que descarta las alternativas
desagradables para quedarse slo con las dos que satisfacen sus intereses)? Sabras
formalizarlo? (cf Garca Trevijano 42)
L)
En tiempos de Harvey se crea que la sangre se generaba en el corazn y que de
l flua slo en la direccin de salida. El siguiente razonamiento resume el ataque de
Harvey contra esta creencia:
El corazn de un hombre expulsa en una hora un volumen de sangre cuyo peso es
mayor que el de su propio cuerpo. Si esto es as, y si la sangre fluye slo del corazn
hacia fuera, entonces el corazn genera ms sangre en una hora que el peso de un
hombre. Pero el corazn no puede hacer esto. Si la sangre no fluye slo hacia fuera,
entonces debe circular a lo largo del cuerpo y volver a entrar en el corazn. As, la
creencia de que la sangre fluye slo hacia fuera es falsa, y la concepcin de que la
sangre circula a lo largo del cuerpo y vuelve a entrar en el corazn es verdadera (cf
Trevijano 43). Simbolizar el razonamiento y demostrar que el razonamiento de Harvey
es correcto.
(A William Harvey, mdico ingls (1578-1657), se le considera el descubridor de la
circulacin de la sangre, aunque lo hizo despus que el mdico espaol Miguel Servet).

TABLAS DE REGLAS DE INFERENCIA LOGICA

Hemos aprendido algunas reglas de inferencia lgica, las suficientes para poder hacer
deducciones largas y bastante complicadas.
Estas reglas no son elegidas al azar. Son de tal forma que slo permiten hacer
inferencias vlidas.
Una inferencia es vlida si es la consecuencia lgica de las premisas. Esto significa que
si las premisas son ciertas, la conclusin que sigue ha de ser tambin cierta.
Para proseguir en el estudio de la lgica de la proposicin es esencial estar muy
familiarizado no slo con la idea misma de inferencia vlida, sino tambin con cada
regla particular de inferencia que permite realizar un paso lgico. Si no se conocen bien

95

estas reglas lgicas, no se es capaz de planear una estrategia que ayudar a alcanzar la
conclusin deseada.

* Modus ponendo ponens (PP)

Si se afirma el antecedente, se afirma tambin el consecuente (slo con las
proposiciones condicionales).
PQ
P
-------Q

* Doble negacin (DN)

Una doble negacin corresponde (=es igual) a una afirmacin; una afirmacin
corresponde (= es igual) a una doble negacin (se puede aplicar a todos los tipos de
proposiciones).
P
------- P

P
------P

* Modus tollendo tollens (TT)

Si se niega el consecuente, se niega tambin el antecedente (slo con las proposiciones
condicionales).
PQ
Q
--------P

* Modus tollendo ponens (TP)

Si se niega el miembro de una disyuncin, se afirma el otro (slo con las proposiciones
disyuntivas).
PQ
P

PQ
Q

96

------Q

------P

* Regla de simplificacin (S)

Las distintas partes de una conjuncin pueden ser separadas y ser independientes.
P&Q
-------P

P&Q
-------Q

* Regla de adjuncin (A)

Dos proposiciones ciertas pueden unirse a formar una conjuncin.
P
Q
--------P&Q

P
Q
-------Q&P

* Ley de adicin (LA)

Si se da una proposicin cierta, es siempre posible formar una disyuncin cualquiera.
P
-------PQ

Q
--------PQ

* Ley del silogismo hipottico (HS)

Si se dan dos condicionales donde el consecuente de una es igual al antecedente de la
otra, se puede formar otra proposicin condicional con el antecedente de la primera y
el consecuente de la segunda.
PQ
QR
--------PR

* Ley del silogismo disyuntivo (DS) o del dilema constructivo (Dil. C)

97

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

* Ley del dilema destructivo (Dil. D)

Si se dan una disyuncin y dos condicionales tales que los miembros de la disyuncin
niegan los consecuentes de las condicionales entonces es posible formar una nueva
disyuncin en la que se niegan los antecedentes de las condicionales.,
PQ
RP
SQ
-------------RS

* Regla de las premisas (P)

Una premisa se puede introducir en cualquier punto de la deduccin.

* Ley de la simplificacin disyuntiva (DP)

Si los dos miembros de una disyuncin son iguales, es posible simplificar la disyuncin
en una proposicin formada por un solo miembro de la disyuncin.
PP
------P

* Leyes conmutativas (CL)

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

* Leyes de Morgan (DL)

Una conjuncin se puede transformar en la negacin de una disyuncin y viceversa.
Una disyuncin se puede transformar en la negacin de una conjuncin y viceversa.
PQ
------------------- ( P & Q)

P&Q
---------------- ( P Q)
(P Q)
-----------------P&Q

(P & Q)
-------------PQ

* Ley de las proposiciones bicondicionales (LB)

Una proposicin bicondicional corresponde a dos proposiciones condicionales en las
que se intercambian mutuamente el antecedente y el consecuente.
PQ
--------PQ

PQ
--------QP

PQ
QP
--------PQ

PQ
-------------------------(P Q) & (Q P)

** Propiedad Conmutativa de las bicondicionales (Conm. B)

Si tenemos como premisa una bicondicional, podemos inferir como conclusin la
misma bicondicional con una ordenacin distinta de sus miembros.

99

AB
----------BA

** Propiedad Transitiva de la bicondicionales (Trans. B)

Si tenemos como premisas dos bicondicionales tales que el segundo miembro de la
primeral sea igual al primer miembro de la segunda, podemos deducir como conclusin
otra bicondicional formada por los miembros extremos de las premisas.
AB
BC
--------AC

* 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)

** Definicin de la Disyuncin (Def. Dis.)

Si tenemos como premisa una disyuncin, podemos deducir como conclusin una
proposicin condicional con el antecedente negado, siendo antecedente y consecuente
los miembros de la disyuncin. Y viceversa.
A B
--------------A B

100

** Primera definicin de la Condicional (Def. Cond. 1)

Si tenemos como premisa una condicional, podemos deducir como conclusin la
negacin de una conjuncin, donde el primer miembro sea el antecedente de la
condicional y el segundo miembro la negacin del consecuente. Y viceversa.
A B
--------------- (A & B)
** Segunda definicin de la Condicional (Def. Cond. 2)
Si tenemos como premisa una condicional, podemos deducir como conclusin una
disyuncin cuyos miembros sean el antecedente negado y el consecuente de la
condicional. Y viceversa.
A B
--------------A B

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