(Chapter head:)Nociones de Lgica

La matemtica exige, en cualquiera de sus ramas, un lenguaje claro y preciso;

muchas de las dicultades que encuentra el estudiante se deben a su dicultad
de utilizar y relacionar smbolos.
Diremos que la lgica en general, y la lgica simblica en particular, es el
estudio sistemtico del proceso de razonamiento preciso.
No es, sin embargo, un sustituto de ese razonamiento; manipular smbolos,
que es uno de los procedimientos de la lgica, no es la misma cosa que pen-
sar. Los mtodos de la lgica clarican nuestro pensamiento, nos guian en la
correccin de nuestros procesos de razonamiento y nos ayudan a evitar errores.
Una de las nalidades de la lgica simblica es la de reducir complicados
procedimientos verbales a simples dispositivos de letras y smbolos.
As como los nmeros son los elementos bsicos de la aritmtica, las proposi-
ciones simples son los elementos de la lgica.
En efecto, en aritmtica comenzamos a operar con los nmeros naturales 1,
2, 3, : : : y construimos sistemas ms complejos como, por ejemplo, el de los
nmeros racionales.
Anlogamente, en lgica comenzamos con las proposiciones simples y las
usamos despus para formar proposiciones compuestas. En lgica aprenderemos
reglas para manipular estas sentencias.
1 Proposiciones
Consideremos las siguientes expresiones:
1. Quin es?
2. Abra la puerta!
3. Salta est al noroeste de la Repblica Argentina.
4. 2 es un nmero negativo.
5. Juan tiene una moto.
Son cinco oraciones diferentes: una interrogativa, una imperativa y tres
declarativas. De las dos primeras no podemos decir si son verdaderas o fal-
sas. En cambio, en las tres ltimas, que son declarativas, tiene sentido decir si
son verdaderas o son falsas. A stas las llamamos proposiciones.
Denicin Proposicin es toda oracin respecto de la cual puede decirse si es
verdadera o falsa.
En los ejemplos anteriores, las dos primeras oraciones no son proposiciones,
ya que no tiene sentido pensar que son verdaderas o falsas. No decimos que no
tienen sentido, sino que lo que carece de sentido es decir que alguna de ellas sea
verdadera o falsa. En efecto, sera ininteligible si a la pregunta de quin es?,
alguien respondiera es verdadero o es falso.
1
Dada una proposicin, cabe preguntarse entonces si esta es verdadera o es
falsa. Identicaremos con las letras V y F a los posibles valores de verdad de
una proposicin. Si es verdadera, diremos que su valor de verdad es V y si es
falsa, diremos que su valor de verdad es F. As, por ejemplo, el valor de verdad
de 3 es V , de 4 es F y de 5 nos es desconocido, aunque, necesariamente, debe
ser V o F.
1.1 Notacin
Representaremos a las proposiciones mediante las letras minsculas p, q, r, s,
: : : Si p es una proposicin, su valor de verdad se denotar con (p); si queremos
expresar que p es verdadera, escribiremos (p) = V y si es falsa (p) = F.
Example 1 Sea la proposicin p: Salta es ms antigua que Chaco. Su valor
de verdad es (p) = V:
2 Operaciones con proposiciones
As como en aritmtica y en lgebra se estudian operaciones entre nmeros, en
lgica se estudian operaciones entre proposiciones. Deniremos las operaciones
entre proposiciones en el sentido siguiente: dadas una o dos proposiciones sim-
ples, cuyos valores de verdad se conocen, trataremos de caracterizar la proposi-
cin resultante a travs de su valor de verdad. Para ello, se ha de tener en
cuenta el buen sentido.
Es decir, se puede operar con proposiciones y para ello se utilizan ciertos
smbolos, llamados conectivos lgicos.
2.1 Conectivos lgicos
Consideraremos los siguientes smbolos y sus operaciones asociadas:
Conectivo Operacin asociada Signicado
~ Negacin: ~ p
No p; o no es
cierto que p
. Conjuncin o producto lgico: p . q p y q
. Disyuncin o suma lgica: p . q p o q
= Implicacin o condicional: p =q
Si p, entonces q;
o p implica q
= Doble implicacin: p =q p si y slo si q
2.2 Negacin
Se llama negacin de la proposicin p a la que se obtiene colocando la palabra
no antes de la misma. En smbolos: ~ p (se lee no p o no es cierto que p).
Si p es una proposicin, ~ p tambin lo es y su valor de verdad es V si
(p) = F y es F si (p) = V .
2
Su tabla de verdad es la siguiente:
p ~ p
V F
F V
La negacin es una operacin unitaria puesto que opera sobre una sola
proposicin p, a quien le hace corresponder la proposicin ~ p.
Example 2 Si p es la proposicin el dique Cabra Corral se llama Embalse
Gral. Belgrano y (p) = V , entonces su negacin ser:
~ p: no es cierto que el dique Cabra Corral se llama Embalse Gral. Belgrano
o, el dique Cabra Corral no se llama Embalse Gral. Belgrano y (~ p) = F.
Si bien es cierto que, de acuerdo a la denicin, para formar la negacin
de cualquier proposicin basta con anteponer la palabra no a la misma, en
el lenguaje cotidiano la costumbre es colocar la palabra no junto al verbo o,
si se quiere que est al principio, hay que recurrir a giros como no es cierto
que: : :.
2.3 Conjuncin
Consideremos las dos proposiciones siguientes:
p: El cometa Halley es un satlite de la Tierra.
q: 25 es un cuadrado perfecto.
A partir de estas dos proposiciones, unindolas mediante la conjuncin y
obtenemos una nueva proposicin:
r: El cometa Halley es un satlite de la Tierra y 25 es un cuadrado perfecto.
Diremos que la proposicin r es la conjuncin o el producto lgico de p y
q. Es r una proposicin?. Indudablemente, tiene sentido armar que r es
verdadera o falsa. Podemos incluso decir que es falsa, porque la conjuncin y
exige el cumplimiento simultneo de ambas componentes; al ser falsa la primera
componente, es falsa la conjuncin. Entonces el (r) = F. As, la operacin
conjuncin o producto lgico hace corresponder a cada par de proposiciones,
dadas en un cierto orden, una nueva proposicin.
Denicin Se llama conjuncin o producto lgico de las proposiciones p y q, a
la proposicin que se obtiene enunciando una a continuacin de la otra, unidas
por la palabra y. En smbolos se escribe: p . q.
La conjuncin es verdadera si lo son las dos proposiciones componentes. La
tabla de verdad de la conjuncin es la siguiente:
p q p . q
V V V
V F F
F V F
F F F
3
2.4 Disyuncin
Denicin Se llama disyuncin o suma lgica de las proposiciones p y q, a la
proposicin que se obtiene enunciando una a continuacin de la otra, unidas por
la palabra o. En smbolos: p . q.
La disyuncin slo es falsa cuando las dos proposiciones componentes son
falsas. En el uso habitual del lenguaje, esta operacin establece una alternativa:
alguna de las dos componentes debe cumplirse.
Example 3 El cometa Halley es un satlite de la Tierra o 25 es un cuadrado
perfecto, es verdadera, puesto que es cierto que 25 es un cuadrado perfecto y
no importa que el cometa Halley no sea un satlite de la Tierra.
La tabla de verdad de la disyuncin es la siguiente:
p q p . q
V V V
V F V
F V V
F F F
La conjuncin y la disyuncin son operaciones binarias, en el sentido de que
a cada dos proposiciones p y q le asignan una nueva proposicin.
Example 4 Considere las siguientes proposiciones:
p: 2 es un entero positivo.
q: Buenos Aires es la capital de Argentina.
r: 5 4 = 20
s: el centro de una circunferencia es un punto de ella.
t: todos los hombres son mortales.
u: San Martn cruz los Andes.
1. (a) Escriba con palabras las siguientes proposiciones compuestas: p.q, ~
q . ~ s y p . (q . ~ t).
(b) Halle los valores de verdad de p, ~ q, q . r y ~ r . u.
(c) Calcule el valor de verdad de:
(r . (p . ~ q)). ~ (~ r . (p . q) si:
(p) = V , (q) = F y (r) = V .
(d) Halle los valores de verdad de la frmula ~ p . (q . ~ r) para todos
los posibles valores de verdad de sus letras.
Solucin
1. (a) p.q: 2 es un entero positivo o Buenos Aires es la capital de Argentina.
~ q . ~ s: Buenos Aires no es la capital de Argentina o el centro de
una circunferencia no es un punto de ella.
p . (q . ~ t): 2 es un entero positivo y Buenos Aires es la Capital
de Argentina o algunos hombres no son mortales (volveremos ms
adelante a insistir en este tipo de negaciones).
4
(b) (p) = V
(~ q) = F
(q . r) = V
(~ r . u) = F
(c) Resolver sto es como hacer un ejercicio combinado con nmeros,
pero mucho ms sencillo. Con los valores que nos dan, vamos re-
solviendo los parntesis en el orden en que lo hacamos para opera-
ciones numricas. Veremos que es cmodo colocar las operaciones de
la siguiente forma:
p q r ~ q p . ~ q r . (p . ~ q) p . q ~ r
V F V V V V F F
~ r . (p . q) ~ (~ r . p . q) (r . (p . ~ q)) . ~ (~ r . (p . q))
F V V
(r . (p . ~ q)) . ~ (~ r . (p . q))
V
1. (d) Para resolver sto conviene hacer una tabla que se confecciona del
siguiente modo: como las proposiciones implicadas son tres, la tabla
tendr 8 = 2
3
las y, en general, 2
n
las cuando sea n el nmero
de proposiciones simples que intervienen (en nuestro caso 3) y tan-
tas columnas como operaciones haya. Para no olvidarnos ninguna
combinacin de valores de verdad, conviene colocar, en la primera
columna (p), los valores V y F alternados de 1 en 1 (2
0
), en la se-
gunda columna ( q ) los valores V y F alternados de 2 en 2 (2
1
), en
la tercera columna ( r ) los valores de V y F alternados de 4 en 4
(2
2
). Si hubieran ms proposiciones, se contina del mismo modo,
siempre alternando segn las potencias de 2.
p q r ~ r q . ~ r ~ p ~ p . (q . ~ r)
V V V F F F F
F V V F F V V
V F V F F F F
F F V F F V V
V V F V V F V
F V F V V V V
V F F V F F F
F F F V F V V
3 Tautologa, contradiccin y contingencia
Denicin Las frmulas cuyo valor de verdad es siempre verdadero, cualquiera
sea el conjunto de valores de sus proposiciones componentes, se llaman tau-
tologas o leyes lgicas. Las frmulas cuyo valor de verdad es siempre falso, se
5
llaman contradicciones. Aquellas que no son ni tautologas ni contradicciones,
se denominan contingencias.
Example 5 Establece si las siguientes frmulas son tautologas, contradicciones
o contingencias.
(a) p . ~ p (b) q . ~ q (c) ~(~ p)
Solucin
Para ello vamos a confeccionar las tablas correspondientes para todos los
valores de verdad posibles:
6
(a) (b) (c)
p ~ p p. ~ p
V F V
F V V
q ~ q q. ~ q
V F F
F V F
p ~ p ~ (~ p)
V F V
F V F
Observamos que la primera frmula es una tautologa, la segunda una con-
tradiccin y la tercera una contingencia.
4 Funciones proposicionales. Cuanticadores
Es necesario, a veces, usar expresiones donde aparecen variables; por ejemplo,
x es un nmero par, x ,= y, etc. Tales enunciados no son proposiciones, pues
no tiene sentido asociarlas a un valor de verdad; pero se convierten en tales al
sustituir la o las variables por un objeto adecuado. A esas expresiones las lla-
maremos formas proposicionales, esquemas proposicionales, funciones proposi-
cionales o simplemente predicados en una o ms variables. Se simbolizan con
p(x), q(x), r(x; y), etc. Los predicados se transforman en proposiciones por
la sustitucin de la(s) variable(s) por un(os) elemento(s) de un conjunto ade-
cuado. Por ejemplo, dada p(x) : x es un nmero primo (forma proposicional),
p(10) : 10 es un nmero primo (proposicin falsa). Adems, podemos obtener
proposiciones a partir de formas proposicionales mediante el uso de cuanti-
cadores. En efecto, si por ejemplo al esquema x es un nmero par le an-
teponemos la frase para todo o todo, resulta la proposicin todo x es un
nmero par, cuyo valor de verdad es F. La expresin para todo x se representa
con el smbolo \x, denominado cuanticador universal.
Si, en cambio, anteponemos al mismo esquema la expresin existe uno o
algn o alguno, resulta la proposicin verdadera existe algn x que es par
o bien algn x es par. La frase existe uno, o algn, o alguno se representa
con el smbolo x, denominado cuanticador existencial.
Example 6 Representa simblicamente las expresiones dadas determinando su
valor de verdad.
1. (a) Todos los enteros son pares.
(b) Hay empleados pblicos que llegan a n de mes.
Solucin
1. (a) \x Z : x = 2m; m Z
(b) Si representamos con la letra x a un elemento del conjunto de las
personas y simbolizamos con p(x) el hecho de ser empleado del Estado
y con q(x) el de llegar a n de mes, la expresin dada puede escribirse
como: x[p(x) . q(x).
7
Decimos que la expresin \x : p(x) es verdadera si y slo si cualquier sustitu-
cin de x por un elemento de un conjunto adecuado, da origen a una proposicin
verdadera. Por otra parte, x[p(x) es verdadera si y slo si existe por lo menos
una sustitucin de x que la transforme en una proposicin verdadera.
5 Implicacin o condicional
Estudiaremos ahora lo que podramos llamar el concepto especco de la lgica
y de la matemtica: el de deduccin o implicacin.
Consideremos las siguientes oraciones:
Si x = 4, entonces x es un nmero par
Si x es un nmero entero, entonces x es un nmero natural
Se trata de enunciados de la forma: si p, entonces q, donde p y q son
proposiciones. Los representaremos como p =q, lo que se lee: p implica q.
En la primera oracin, llamada ahora implicacin, tendramos: p(x): x = 4
y q(x):x es un nmero par, con lo cual p(x) =q(x) queda:
Si x = 4, entonces x es un nmero par.
El nuevo conectivo lgico introducido =se llama condicional o implicacin y
es claro que con nuestro uso habitual de: si...entonces... nos permite construir,
a partir de dos proposiciones p y q, la proposicin p =q. Solo nos resta denir
la tabla de valores de verdad de esta ltima proposicin compuesta. Para ello
observemos que el esquema: si p entonces q reeja el proceso de deduccin de q
a partir de p. Cundo es esta deduccin correcta? Aceptamos que la deduccin
es V (o correcta) si a partir de algo verdadero se concluye algo tambin verdadero
y asimismo aceptamos que la deduccin es F (o incorrecta) si a partir de algo
verdadero se concluye algo falso. Esto nos lleva a declarar que, si p y q son ambas
verdaderas, la implicacin p =q es tambin verdadera. Si p es verdadera y q es
falsa, p = q es falsa. Para decidir lo que ocurre cuando p es falso, recordemos
juicios como el que sigue: si Pedro es un sabio, entonces yo soy Einstein. Se
usan con frecuencia y el sentido resulta muy claro: armamos algo mediante
una implicacin, cuyo consecuente es claramente falso, con lo cual expresamos
nuestro convencimiento de que el antecedente tambin es falso. La deduccin
pues no nos parece incorrecta, sino ms bien suponemos que de una falsedad
se puede concluir cualquier cosa. En efecto partiendo de una hiptesis falsa,
razonando correctamente, podemos obtener una conclusin verdadera. Esta
implicacin es verdadera. Por ejemplo:
1 = 2 (hiptesis falsa)
2 = 1
3 = 3 (conclusin verdadera)
O tambin partiendo de una hiptesis falsa, razonando correctamente, podemos
llegar a una conclusin falsa. Esta implicacin es tambin verdadera. Por ejem-
8
plo:
1 = 2 (hiptesis falsa)
3 = 3
4 = 5 (conclusin falsa)
Aceptaremos entonces desde ya que, si p es F, la implicacin p = q es V
con independencia del valor de q.
Se dice que la proposicin p implica la proposicin q o que q se deduce de
p, si no se verica que p sea verdadera y q falsa. En smbolos: p = q. La
proposicin p recibe el nombre de antecedente o hiptesis y q el de consecuente
o tesis de la implicacin. Denimos la tabla de verdad de la implicacin de la
siguiente forma:
p q p =q
V V V
V F F
F V V
F F V
Las tablas de verdad se denen arbitrariamente pero respetando el sentido
comn.
Example 7
1. (a) Si consigo trabajo me caso contigo, le dice un joven a su novia.
El enunciado puede pensarse como un compromiso condicionado por
p: consigo trabajo y podemos asociar su verdad al cumplimiento del
compromiso.
Si consigue trabajo y adems se casa con ella, el compromiso se
cumple y la implicacin es verdadera.
Si consigue trabajo y no se casa con ella, el compromiso no se cumple,
por lo que la implicacin es falsa.
Si no consigue trabajo, queda liberado del compromiso y la impli-
cacin es verdadera se case o no con ella.
(b) La implicacin si hoy es sbado, maana es domingo es siempre
verdadera, ya que no puede darse la posibilidad de antecedente ver-
dadero y consecuente falso.
(c) 1 = 1 =1
2
= (1)
2
es V por tener su antecedente falso.
5.1 Diferentes formas
Dada la importancia de la implicacin p =q, existen muchas maneras diferentes
de enunciarla. Todas las armaciones siguientes signican lo mismo:
9
1. p =q
2. Si p entonces q
3. p es suciente para q
4. q es necesario para p
5. q si p
6. p slo si q.
5.2 Doble implicacin o bicondicional o equivalencia
Se dice que la proposicin p es equivalente a la proposicin q, si se verican
simultneamente p =q y q =p.
En smbolos: p =q se lee p si y slo si q; p es el primer miembro y q es el
segundo miembro de la equivalencia. Tambin se lee p es equivalente a q p
es necesaria y suciente para q. La doble implicacin o bicondicional slo es
verdadera si ambas proposiciones tienen el mismo valor de verdad. Denimos
la tabla de verdad de la doble implicacin de la siguiente forma:
p q p =q
V V V
V F F
F V F
F F V
Construyamos la tabla de verdad de la conjuncin entre p =q y q =p:
p q p =q q =p (p =q) . (q =p)
V V V V V
V F F V F
F V V F F
F F V V V
Observamos que los valores de la ltima columna de ambas tablas son exacta-
mente los mismos, como era de esperarse, ya que denimos la doble implicacin
como la conjuncin de estas dos implicaciones que, como veremos, sern desig-
nadas como la directa y la recproca, la una de la otra. Cuando dos expresiones
tienen el mismo valor de verdad, para los distintos valores de verdad de las
proposiciones componentes, se dice que son lgicamente equivalentes.
Example 8
1. (a) La equivalencia (1)
3
= 1 =3
3
= 27 es verdadera, puesto que las
dos proposiciones son verdaderas.
10
(b) La equivalencia un tringulo es equiltero =un tringulo es equin-
gulo es verdadera, porque ambas proposiciones se reeren al mismo
conjunto de tringulos.
(c) La equivalencia 1 = 2 = 2
2
= 4 es falsa, ya que la primera proposi-
cin es F y la segunda V .
5.3 Implicaciones asociadas
Dada la implicacin p = q, que llamaremos directa, se denen las siguientes
implicaciones, asociadas a la dada:
Recproca: q =p (q implica p).
Contraria: ~ p =~ q (no p implica no q).
Contrarrecproca: ~ q =~ p (no q implica no p).
Escribamos las tablas de verdad de la directa y de la contrarrecproca:
p q p =q
V V V
F V V
V F F
F F V
p q ~ p ~ q ~ q =~ p
V V F F V
F V V F V
V F F V F
F F V V V
Vemos que, para todos las combinaciones posibles de valores de verdad de p y q,
las implicaciones directa y contrarrecproca tienen exactamente el mismo valor
de verdad, por lo que, como vimos, diremos que se trata de dos implicaciones
equivalentes y deben ser consideradas como la misma proposicin. Lo mismo
ocurre si se realizan las tablas de verdad de la contraria y de la recproca: ambas
resultan equivalentes (comprubelo).
Haremos un esquema que nos ayudar a recordar cules implicaciones son
equivalentes, cules recprocas y cules contrarrecprocas:
p =q R E C P R O C A S q =p

C C
O O
N N
T T
R C O N T R A R R E- R
A C P R O C A S A
R R
I I
A A
S S
| |
~ p =~ q R E C P R O C A S ~ q =~ p
Example 9 Escriba las implicaciones asociadas a la dada y analice su valor de
verdad.
11
1. (a) Si un cuadriltero es un cuadrado, entonces es un rectngulo.
La implicacin dada es verdadera.
Si un cuadriltero es un rectngulo, entonces es un cuadrado (recp-
roca): F.
Si un cuadriltero no es un cuadrado, entonces no es un rectngulo
(contraria): F.
Si un cuadriltero no es un rectngulo, entonces no es un cuadrado
(contrarrecproca): V .
(b) Dos ngulos son suplementarios si suman 180

(esta implicacin est

escrita en la forma q si p que, como vimos, es otra forma de expresar
p =q).
p(x; y): x +y = 180

q(x; y): x e y son ngulos suplementarios.

Directa: p = q: si dos ngulos suman 180

, entonces son suplemen-

tarios: V .
Recproca: q =p: si dos ngulos son suplementarios, entonces suman
180

: V .
Contraria: ~ p =~ q: si dos ngulos no suman 180

, entonces no
son suplementarios: V .
Contrarrecproca: ~ q =~ p: si dos ngulos no son suplementarios,
entonces no suman 180

: V .
Es un error generalizado creer que los valores de verdad de la directa y
la contraria deben ser distintos. Como vimos en el ejemplo anterior, sto no
siempre es as: pueden tener o n el mismo valor de verdad.
Por ahora diremos que la contraria no es la negacin de la directa. Ms
adelante veremos cmo se niegan las implicaciones.
5.4 Condicin necesaria y condicin suciente
Dijimos que una forma de leer la implicacin p =q es decir que p es condicin
suciente para q, o bien que q es condicin necesaria para p. Si, al analizar
su valor de verdad, la implicacin resulta verdadera, diremos que la condicin
contenida en el antecedente es suciente para que se cumpla el consecuente y
que lo que expresa el consecuente es necesario para lo que arma el antecedente.
Example 10 La implicacin: si un polgono es un cuadrado, entonces es un
rectngulo, se puede expresar de las siguientes formas:
1. (a) que un polgono sea un cuadrado es condicin suciente para que sea
un rectngulo, y:
(b) que un polgono sea un rectngulo es condicin necesaria para que
sea un cuadrado,
condiciones que se cumplen ya que se trata de una implicacin verdadera.
12
Si una implicacin y su recproca son ambas verdaderas, es decir v(p =q) =
V y v(q =p) = V , diremos que p es condicin necesaria y suciente para q, y
que q es necesaria y suciente para p, o bien que p es equivalente a q, lo que
expresamos con p =q.
Example 11 La implicacin si un nmero es par, es mltiplo de 2 y su recp-
roca si un nmero es mltiplo de 2, es par, son ambas verdaderas. Entonces,
podemos expresarlas en la forma: es necesario y suciente que un nmero
sea par, para que sea mltiplo de 2, o bien, es necesario y suciente que un
nmero sea mltiplo de 2, para que sea par.
Example 12
1. (a) Dadas las proposiciones, p: es rico y q: es feliz, exprese en sm-
bolos las siguientes expresiones:
i. Es necesario ser pobre para ser feliz.
ii. Ser rico es condicin suciente para ser feliz.
iii. Ser rico es condicin necesaria para ser feliz.
Solucin
1. (a) i. q =~ p
ii. p =q
iii. q =p
(b) Exprese las implicaciones siguientes usando las frases es condicin
necesaria o es condicin suciente:
i. Si un entero es mltiplo de 4, es par.
ii. Si un tringulo est inscripto en una semicircunferencia, es rec-
tngulo.
iii. Sean, p(x; y): dos tringulos son congruentes y q(x; y): dos trin-
gulos tienen dos lados y el ngulo comprendido respectivamente
congruentes. Analice la implicacin: si dos tringulos son con-
gruentes, entonces tienen dos lados y el ngulo comprendido re-
spectivamente congruentes.
Solucin
1. (a) i. Es condicin suciente que un entero sea mltiplo de 4 para que
sea par, o bien, es condicin necesaria que un entero sea par
para que sea mltiplo de 4.
ii. Es condicin suciente que un tringulo est inscripto en una
semicircunferencia para que sea rectngulo, o bien es condi-
cin necesaria que un tringulo sea rectngulo para que pueda
inscribirse en una semicircunferencia.
13
iii. La implicacin p(x; y) = q(x; y) es verdadera; tambin lo es
q(x; y) = p(x; y). Luego, decimos que, el tener dos lados y el
ngulo comprendido congruentes, es condicin necesaria y su-
ciente para que dos tringulos sean congruentes.
Si el valor de verdad de la implicacin dada es verdadero, puede decirse que:
Implicacin dada Forma equivalente
p =q p es condicin suciente para q
q =p p es condicin necesaria para q
Si v(p =q) = V , su forma equivalente es: p es necesaria y suciente para q.
En matemtica, muchas veces se habla de condicin suciente pero no nece-
saria o condicin necesaria pero no suciente. Qu signicado tienen esas
expresiones?
Analicemos la expresin p necesaria y no suciente para q: signica que p
debe ser necesaria y no suciente al mismo tiempo.
Si p es necesaria para q: (q =p) = V
Si p es suciente para q: (p =q) = V
Si p no es suciente para q: (p =q) = F
En consecuencia, p es necesario y no suciente si y slo si (q = p) = V y
(p =q) = F. En resumen:
(p =q) = V p es suciente
. pero no necesaria
(q =p) = F para q
(p =q) = F p es necesaria
. pero no suciente
(q =p) = V para q
Example 13 Sea la implicacin si un tringulo es issceles, entonces tiene sus
tres lados congruentes. Se trata de una implicacin falsa: (p(x) = q(x)) =
F. Veamos la recproca: si un tringulo tiene sus tres lados congruentes es
issceles. Su valor de verdad es: (q =p) = V . Luego, es suciente, pero no
necesario que un tringulo tenga sus lados congruentes, para que sea issceles.
Tambin en la vida diaria se nos presentan situaciones de este tipo. Consid-
eremos, por ejemplo, verdadera la siguiente armacin: si usted no elige a V.
J., usted no tendr un gobierno honesto. Garantiza un gobierno honesto el
que sea elegido V. J.?
Analicemos la expresin en smbolos:
p: usted elige a V. J. q: usted tendr un gobierno honesto.
La implicacin dada es: ~ p =~ q, que sabemos es equivalente a q =
p. Resulta que p es necesaria para q, pero no sabemos si es suciente, ya
que desconocemos el valor de p = q. En consecuencia, la eleccin de V.J. no
garantiza un gobierno honesto: es condicin necesaria, pero no sabemos si es
suciente o no.
14
6 Leyes lgicas
Recordemos que una ley lgica es una tautologa.
En el clculo proposicional se utilizan las siguientes leyes lgicas o tau-
tologas, cuya demostracin se reduce a la confeccin de la correspondiente tabla
de verdad.
1. Involucin:~ (~ p) =p
p ~ p ~ (~ p) ~ (~ p) =p
V F V V
F V F V
2. Idempotencia: (p . p) =p (p . p) =p
3. Conmutatividad:
(a) de la disyuncin: p . q =q . p
(b) de la conjuncin: p . q =q . p
4. Asociatividad:
(a) de la disyuncin: (p . q) . r =p . (q . r)
(b) de la conjuncin: (p . q) . r =p . (q . r)
5. Distributividad:
(a) de la conjuncin con respecto a la disyuncin : (p.q) .r =(p.r) .
(q . r)
(b) de la disyuncin con respecto a la conjuncin: (p .q) .r =(p .r) .
(q . r)
6. Leyes de De Morgan:
(a) ~ (p . q) =~ p . ~ q
(b) ~ (p . q) =~ p . ~ q
Se deja a cargo del estudiante la demostracin de estas leyes lgicas.
7 Conjunto de verdad
Dada una forma o esquema proposicional p(x), el conjunto de valores de x que
hace que p(x) sea una proposicin verdadera, recibe el nombre de conjunto de
verdad de p(x).
Por ejemplo, sea p(x) : x
2
25 = 0; el conjunto de verdad de p(x), es
P = 5; 5.
15
El conjunto de valores de x, que hace que p(x) sea una proposicin falsa se
llama el complemento del conjunto P y se representa con P.
En nuestro ejemplo: P = x R[x ,= 5.
Una implicacin p(x) = q(x) es verdadera, si el conjunto de verdad de
p(x), que llamaremos P, est incluido en el conjunto de verdad de q(x), que
llamaremos Q. En smbolos, P Q.
Example 14
1. (a) x
2
= 1 =x = 1
p(x) : x
2
= 1 P = 1; 1
q(x) : x = 1 Q = 1
Como 1; 1 * 1, diremos que la implicacin es falsa.
(b) x
2
2x + 1 = 0 =x
2
4x + 3 = 0
p(x) : x
2
2x + 1 = 0 P = 1
q(x) : x
2
4x + 3 = 0 Q = 1; 3
Como P Q, la implicacin es verdadera.
Una equivalencia p(x) =q(x) es verdadera si el conjunto de verdad de p(x)
es igual al conjunto de verdad de q(x). En smbolos: P = Q.
Example 15
1. (a) x + 5 = 0 =x = 5
p(x) : x + 5 = 0 P = 5
q(x) : x = 5 Q = 5
Como P = Q, la equivalencia es verdadera.
(b) x 3 = 0 =x
2
= 9
p(x) : x 3 = 0 P = 3
q(x) : x
2
= 9 Q = 3; 3
Como P ,= Q, la equivalencia es falsa.
8 Negacin de proposiciones compuestas
Cuando mencionamos las leyes lgicas, vimos la negacin de la conjuncin y
de la disyuncin (leyes de De Morgan). Veremos ahora la negacin de una
implicacin y la de una equivalencia.
8.1 Negacin de una implicacin
Observemos que las proposiciones ~ (p =q) y p. ~ q son lgicamente equiva-
lentes, como lo muestra la tabla siguiente:
p q p =q ~ (p =q) ~ q p . ~ q ~ (p =q) =(p . ~ q)
V V V F F F V
V F F V V V V
F V V F F F V
F F V F V F V
16
Por lo tanto, la negacin de una implicacin no es una implicacin, sino la
conjuncin entre el antecedente y la negacin del consecuente.
Example 16
1. (a) La negacin de si las rectas A y B son paralelas, entonces los ngulos
alternos formados con una tercera recta C que las corta, son iguales
es: las rectas A y B son paralelas y los ngulos alternos formados
con una tercera recta C que las corta, no son iguales.
(b) ~(Si hoy es lunes, entonces maana es mircoles)=Hoy es lunes y
maana no es mircoles.
(c) ~

3 = 3 =3
2
= (3)
2

=3 = 3 . 3
2
,= (3)
2
.
8.2 Negacin de una equivalencia
Efectuando una tabla como la realizada para la negacin de una implicacin, se
puede vericar (tarea para el lector) que la proposicin ~ (p =q) es equivalente
a ~ p = q, o p =~ q. Pero tambin podramos encontrar la negacin, usando
la denicin de equivalencia y las leyes sobre la negacin aprendidas. En efecto,
sabemos que p =q es lo mismo que p =q . q =p, entonces, negar la primera
frmula equivale a negar sta ltima. Resulta pues:
~ [(p =q) . (q =p)] =(p. ~ q) . (q. ~ p)
En resumen:
Operacin En smbolos Negacin
Conjuncin p . q ~ p. ~ q
Disyuncin p . q ~ p. ~ q
Implicacin p =q p . ~ q
Equivalencia p =q
~ p =q; p =~ q o
(p. ~ q) . (q. ~ p)
Example 17 La negacin de el acero es un metal y la tierra es redonda es,
el acero no es un metal o la tierra no es redonda. La negacin de trabajamos
como docentes o nos dedicamos a los negocios es, no trabajamos como docentes
y no nos dedicamos a los negocios. La negacin de si estudio entonces en-
tiendo es, estudio y no entiendo. La negacin de: 5
3
= 125 =555 = 125
es, 5
3
,= 125 = 5 5 5 = 125, o tambin, 5
3
= 125 = 5 5 5 ,= 125 o
5
3
= 125 . 5 5 5 ,= 125" o \5 5 5 = 125 . 5
3
,= 125".
8.3 Negacin de cuanticadores
La negacin de la proposicin para todo x; p(x), es, existe x, tal que no
p(x). Por ejemplo: para todo x; x es primo tiene como negacin: existe x,
tal que x no es primo.
Anlogamente, la negacin de la proposicin existe un x, tal que p(x), es:
para todo x, no p(x).
17
Example 18 Existen nmeros que son cuadrados perfectos tiene como ne-
gacin a: todos los nmeros no son cuadrados perfectos.
Podemos, entonces, expresar esto simblicamente:
~ (\x; p(x)) =x : ~ p(x)
~ (x : p(x)) =\x; ~ p(x)
Regla prctica. La negacin de \ es y recprocamente. No alcanza con negar
el cuanticador, se debe negar tambin p(x).
Cuando hablamos de negar un cuanticador, cometemos un abuso de lenguaje,
porque lo que se niega es la proposicin obtenida cuando a la forma proposicional
le anteponemos un cuanticador.
Example 19
1. (a) ~ [\x : (x ,= 0 =x
2
> 0)] =x[(x ,= 0 . x
2
_ 0)
(b) ~ (x[x
2
+ 5x + 4 = 0) =\x : x
2
+ 5x + 4 ,= 0
(c) ~ [\x : (p(x) =~ q(x))] =x[p(x) . q(x)
(d) ~ (\x; y[x y = 0) =x[\y : x y ,= 0
(e)
Proposicin Negacin Negacin incorrecta
i. Todos los alumnos Algunos alumnos Todos los alumnos
estudian. no estudian. no estudian.
ii. Algunos alumnos es- Ningn alumno es- Algunos alumnos no
tudian computacin. tudia computacin estudian computacin
o, no todos los alumnos
estudian computacin.
Para emplear los trminos con precisin no deben usarse las expresiones
todos : : : no y no todos : : :. En lgica, as como en el lenguaje comn, es
conveniente reemplazar la frmula todos los x no son : : : por ningn x es : : :,
cuando se tiene que formar la negacin de algn x es : : :. Recprocamente, la
negacin de todos los x son : : :, es: algn x no es : : :.
~(algn x es : : :) = ningn x es : : :
~(todos los x son : : :) = algn x no es : : :
Example 20 Formemos la negacin de las proposiciones dadas.
1. (a) Algunos videos son actuales y todos son interesantes.
Vemos que se trata de una conjuncin, por lo que su negacin sera:
18
no es cierto que algunos videos son actuales o no todos son intere-
santes. Aplicando lo aprendido anteriormente, a cada una de las
proposiciones, resulta:
Todos los videos no son actuales o algunos no son interesantes (ne-
gando los cuanticadores primero, sin tener en cuenta la ambiguedad);
pero, segn dijimos, es conveniente expresar sto del siguiente modo:
ningn video es actual o algunos no son interesantes.
(b) Si no pagamos el gas, algunas personas podran imitarnos.
Se trata de una implicacin y escribimos su negacin as:
no pagamos el gas y no es cierto que algunas personas podran im-
itarnos; aplicando lo visto, resulta: no pagamos el gas y todas las
personas no podran imitarnos. Correctamente, sera: no pagamos
el gas y ninguna persona podra imitarnos.
9 Mtodos de demostracin
La esencia de la matemtica es demostrar implicaciones. En efecto, si queremos
demostrar una proposicin p, podemos usar como hiptesis todos los teoremas y
axiomas conocidos y, a partir de ellos, deducir p. Si llamamos P a la conjuncin
de todas estas armaciones, lo que queremos probar es que P =p.
El problema de la construccin de una demostracin consiste en preparar
una serie de pasos que conduzcan a la conclusin deseada. No hay caminos au-
tomticos para hacerlo. Es algo que se adquiere con la prctica y el desarrollo
de la iniciativa de cada uno. Es decir, a demostrar se aprende demostrando y
nosotros construiremos muchas demostraciones a lo largo de todo el curso. Pero
no hay algoritmos de demostracin, slo mtodos generales, cuyo conocimiento
nos puede servir para realizar una demostracin. Como los teoremas matemti-
cos (en particular los de carcter universal) tienen la forma de implicaciones,
vamos a ver mtodos para demostrar implicaciones.
Probemos, por ejemplo, el siguiente teorema: Sean m y n nmeros naturales
(1; 2; : : :); se tienen m alumnos y n asientos y supongamos ciertas las siguientes
armaciones:
H) H
1
) Cada alumno est sentado en uno y slo un asiento.
H
2
) Dos alumnos distintos no estn en un mismo asiento.
H
3
) En cada asiento hay por lo menos un alumno.
T) Hay tantos alumnos como asientos.
D) m _ n (por H
1
y H
2
).
n _ m (por H
3
y H
1
).
En consecuencia, m = n, como queramos demostrar (c.q.d.).
19
Otra forma de demostrar este teorema sera a partir de la negacin de la
tesis:
m ,= n
8
<
:
m > n contradice H
1
y H
2
m < n contradice H
3
y H
1
Lo hemos demostrado usando la contrarrecproca ~ T =~ H, que es equiva-
lente a H =T.
El primer ejemplo ilustra lo que se conoce con el nombre de mtodo directo
y el segundo el mtodo indirecto.
9.1 Mtodo directo
Comenzamos examinando el antecedente; si se comprueba que p es falso, se tiene
que (p =q) es verdadero, por lo tanto p =q queda demostrada.
Si, en cambio, el (p) = V , debemos examinar q y llegar a establecer que
(q) = V pues, si se llega a que (q) = F tendremos que p = q es F y la
implicacin no queda demostrada.
Al utilizar el mtodo directo, como ya sabemos que si v(p) es F la implicacin
p = q es verdadera, slo interesa examinar el caso en el que el antecedente es
verdadero. Por eso, el mtodo directo consiste en: partir de la verdad del
antecedente y tratar de establecer la verdad del consecuente.
Example 21
1. (a) Probar que si x es par, entonces x
2
es par.
x = 2k (k Z)
x
2
= 4k
2
= 2(2k
2
)
= 2m c.q.d.
(b) Demuestre que si a divide a b y b divide a c, entonces a divide a c:
\a; b; c Z (a ,= 0 y b ,= 0) : a[b . b[c =a[c
H) a[b . b[c
T) a[c
D) a[b =b = k a con k Z (1)
b[c =c = k
0
b con k
0
Z (2)
Reemplazando (1) en (2), se tiene: c = k
0
(k a) = (k
0
k) a = k
00
a
con k
0
k = k
00
.
Luego, a[c como queramos demostrar.
20
9.2 Mtodo indirecto
En este mtodo se examina q. Si se comprueba que es verdadera estamos seguros
que la implicacin es verdadera y, por tanto, est demostrada p =q. Si (q) =
F, entonces hay que examinar p y llegar a establecer que (p) = F.
Es decir, el mtodo indirecto consiste en partir de la falsedad del consecuente
(tesis) y determinar la falsedad del antecedente (hiptesis).
Example 22 Demuestre que: \x : x
2
es par =x es par.
Prueba
Supongamos que x no sea par, es decir que sea impar. Esto se expresa
en smbolos como x = 2k + 1, (con k entero). Elevando ambos miembros al
cuadrado, resulta:
x
2
= (2k + 1)
2
= 4k
2
+ 4k + 1
= 2(2k
2
+ 2k) + 1
= 2m+ 1, con m = 2k
2
+ 2k
Esta ltima expresin nos dice que x
2
es impar, con lo que establecemos que el
consecuente o tesis es falso y as queda demostrada la implicacin.
Una variante del mtodo indirecto es el mtodo por reduccin al absurdo,
que consiste en negar la implicacin dada, es decir, suponer la verdad de p. ~ q
y examinar las consecuencias de esta negacin. Si se llega a contradecir algn
resultado conocido, diremos que este absurdo provino de suponer que p =q era
falsa, por lo que debe ser verdadera.
Example 23 Pruebe que: x es impar = x
2
es impar.
Partimos de la negacin de la implicacin:
x es impar . x
2
es par
x = 2k + 1 . x
2
= 2m
x
2
= (2k + 1)
2
. x
2
= 2m
x
2
= 4k
2
+ 2k + 1 . x
2
= 2m
x
2
= 2(2k
2
+k) + 1 . x
2
= 2m
x
2
= 2p + 1 . x
2
= 2m
Ambos miembros representan el mismo nmero, pero el de la izquierda es
impar y el de la derecha es par, lo cual es un absurdo que provino de negar la
implicacin. Luego la implicacin es verdadera.
21
9.3 Contraejemplo
Si se quiere demostrar una proposicin de la forma \x; p(x) y se halla un x = x
0
tal que (p(x
0
)) es F, decimos que queda demostrado que la proposicin dada
es falsa:
~ [\x; p(x)] = x [~ p(x)
Muchas veces, cuando queremos demostrar algo, damos ejemplos. Si la impli-
cacin es verdadera, los ejemplos no son sucientes para demostrarla; en cambio,
si es falsa, s.
Por ejemplo, sea la implicacin:
\x : (x impar =(x es primo . x + 2 es primo . x + 4 es primo))
Analizaremos la implicacin dada para algunos nmeros:
3 5 7 (ya que 3 es primo)
9 11 13 (3 no es primo, pero 11 s)
15 17 19
21 23 25
27 29 31
33 35 37
39 41 43
: : : : : : : : :
91 (7 13) 93 95
: : : : : : : : :
115 117 119
(17 7)
Empezamos probando con 3, 5, 7, : : :, etc. y vemos que se cumple. En efecto,
para la primera lnea de la tabla, 3 es primo. Para la segunda, 9 no es primo
pero 11 s.
Al llegar a la lnea formada por 39, 41 y 43, estamos tentados a decir que esta
implicacin es verdadera, pues se cumpli en todos los casos. Si embargo, cuando
consideramos los nmeros 91, 93 y 95, observamos que ninguno de ellos cumple
con la condicin dada. Como deba cumplirse para todo x, queda probado que
la implicacin dada es falsa.
Lo mismo ocurre si consideramos la terna 115, 117 y 119.
Fermat, un matemtico francs del siglo XVII, creador de la teora de nmeros,
revolucion el mundo de la matemtica con la siguiente armacin, que escribi
en una copia del libro de Diofanto:
no existen enteros x; y; z tales que: x
n
+y
n
= z
n
con n > 2.
Para probar que es falsa, haca falta encontrar tres nmeros que la cumplan,
cosa que no fue posible, pero tampoco se pudo demostrar que es verdad.
Actualmente se dice que ya est probada, pero tal demostracin llena un
libro y hasta el momento no pudo comprobarse si es vlida o no.
22
10 Razonamientos vlidos
Entendemos por razonamiento la armacin de que una cierta proposicin (lla-
mada conclusin) se deduce de otras proposiciones (las premisas). Diremos que
el razonamiento es vlido si y slo si la conjuncin de las premisas implica
la conclusin (se sobreentiende que tanto las premisas como la conclusin es-
tn expresadas mediante ciertas proposiciones simples o elementales y ciertos
conectivos lgicos).
En smbolos: sean P
1
; P
2
; : : : ; P
n
las premisas y q la conclusin: P
1
. P
2
.
: : : . P
n
=q.
Si llamamos P a la conjuncin de las premisas, ser posible analizar el valor
de verdad de P =q. Pueden darse tres casos:
1. (a) P = q es V para todas las combinaciones posibles de valores de
verdad de las proposiciones elementales (tautologa).
(b) P = q es F para todas las combinaciones posibles de valores de
verdad de las proposiciones elementales (contradiccin).
(c) p =q es V para algunas combinaciones y F para otras (contingencia).
Slo en el primer caso sera vlido el razonamiento y diremos que de p se
deduce q.
Para probar, entonces, si un razonamiento es vlido o no, puede seguirse tres
caminos:
1) Hacer una tabla con todas las combinaciones posibles de valores de verdad
de las proposiciones elementales y luego establecer si la implicacin p =q
es una tautologa o no.
Example 24 Si nosotros tuviramos acceso a una computadora, entonces el
uso de internet sera masivo. Si no puede usar una computadora, un ciudadano
comn no podr acceder a la informacin distribuda a travs de los satlites
de la red. Por lo tanto: si la gente comn puede acceder a toda la informa-
cin distribuda a travs de los satlites de la red, entonces podemos usar una
computadora.
Solucin
Escribimos ese razonamiento en forma simblica, asignando nombre a las
proposiciones:
p : Tenemos acceso a una computadora.
q : El uso de internet es masivo.
r : Un ciudadano comn accede a la informacin distribuda por los satlites de la red.
El razonamiento sera:
p =q
~ p =~ r
r =p
23
Confeccionemos la tabla de verdad:
p q r p =q ~ p ~ r ~ p =~ r
V V V V F F V
F V V V V F F
V F V F F F V
F F V V V F F
V V F V F V V
F V F V V V V
V F F F F V V
F F F V V V V
P Q
z }| {
(p =q) . (~ p =~ r)
z }| {
(r =p) P =Q
V V V
F F V
F V V
F F V
V V V
V V V
F V V
V V V
Observamos que P =Q es siempre V , por lo que se trata de una tautologa
y el razonamiento es vlido.
2) Como la implicacin slo es falsa cuando el antecedente es verdadero y el
consecuente falso y en todos los dems casos es verdadera, para establecer
que el razonamiento es vlido interesa considerar, justamente, el caso en
que, partiendo de la verdad de las premisas, se llegue a la verdad de la con-
clusin. Suponemos que todas las premisas son verdaderas y, analizando,
debemos establecer el valor de verdad de la conclusin.
Example 25
Si 6 es primo, entonces 3 no divide a 6.
2 es impar o 3 divide a 6.
2 es par.
Por lo tanto: 6 no es primo.
Identicamos las proposiciones de la siguiente manera:
p : 6 es primo. q : 3 divide a 6. r : 2 es impar.
24
Escribimos este razonamiento en forma simblica y, luego, suponenemos ver-
daderas a todas las premisas, comenzando el anlisis por la que juzguemos es
ms conveniente:
p =~ q (~ r) = V =(r) = F
r . q (r . q) = V . (r) = F =(q) = V =(~ q) = F
~ r (p =~ q) = V . (~ q) = F =(p) = F =(~ p) = V
~ p
Hemos establecido que de premisas verdaderas se obtiene una conclusin
verdadera. Por lo tanto, el razonamiento dado es vlido. En realidad, lo que
hicimos fue aplicar el mtodo directo, usado para demostrar implicaciones.
3) Para decir que un razonamiento es vlido, al igual que cuando partimos
de la verdad de las premisas para llegar a la verdad de la conclusin,
podemos partir de la falsedad de la conclusin y tratar de establecer que
no existe ninguna combinacin de valores de verdad de las proposiciones
elementales, que haga que la conjuncin de las premisas sea verdadera.
Si partiendo de la falsedad de la conclusin se encuentra alguna combinacin
de valores de verdad de las proposiciones que haga que P (conjuncin de las
premisas) sea verdadera, diremos que el razonamiento no es vlido.
Example 26 Mis profesores me apoyan si yo demuestro inters en mis estu-
dios. O me va bien en los exmenes o no puedo demostrar inters en mis
estudios. Si me dedico a los deportes entonces me va bien en los exmenes. Por
lo tanto: si mis profesores me apoyan entonces no me dedico a los deportes.
Simbolizamos las proposiciones del siguiente modo:
p : Mis profesores me apoyan.
q : Demuestro inters en mis estudios.
r : Me va bien en los exmenes.
s : Me dedico a los deportes.
El razonamiento est representado por:
q =p
r . ~ q
s =~ r
p =~ s
25
Suponemos que la conclusin es falsa, es decir que:
(p =~ s) = F =(p) = V . (~ s) = F =(s) = V .
A partir de sto, considerando las premisas verdaderas, se tiene que:
1. (a) (s =~ r) = V . (s) = V =(~ r) = V =(r) = F
(b) (r. ~ q) = V . (r) = F =(~ q) = V =(q) = F
Al ser (q) = F, (q =p) = V , por tanto (P) = V , siendo P la conjuncin
siguiente: (q =p) . (r. ~ q) . (s =~ r).
Observamos que, siendo la conclusin falsa, es posible que la conjuncin de
las premisas P sea verdadera. Estamos ante el caso de que, para algunos valores
de verdad asignados a las proposiciones, P =Q es falsa (al ser P verdadera y Q
falsa). Por lo tanto, se trata, o de una contingencia, o bien de una contradiccin
(no interesa demasiado la diferencia) y el razonamiento no es vlido.
Exercise 27
1. (a) Traducir a la forma simblica y comprobar la validez de los razon-
amientos dados.
i. Yo canto una cancin o Pedro es un buen alumno. Mara no sabe
Matemtica. No me gusta el teatro o yo no canto una cancin.
Mara sabe Matemtica s y slo s yo no canto una cancin. Por
lo tanto: Pedro es un buen alumno.
ii. Si tener 128 K es mejor que no tener memoria alguna, en-
tonces compraremos una nueva computadora o compraremos ms
memoria. Si compramos una nueva computadora entonces no
compraremos ms memoria. Por tanto si tener 128K es mejor
que no tener memoria alguna, entonces compraremos ms memo-
ria.
(b) Extraer una conclusin para que el siguiente razonamiento sea vlido:
Mi esposa entiende de cine o Superman es una psima pelcula. Yo
no duermo en el cine. No me atraen las pelculas de accin o mi
esposa no entiende de cine. Por lo tanto, yo duermo en el cine s y
slo s no me atraen las pelculas de accin.
26