Captulo 1 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 pro-
cedimientos de la lgica, no es la misma cosa que pensar. 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. La lgica tiene aplicaciones prcticas en el diseo de equipos
informticos, la especicacin de sistemas, la programacin computacional, los lenguajes de programacin
y en otras reas de ciencias de la computacin.
As como los nmeros son los elementos bsicos de la aritmtica, las proposiciones simples son los
elementos de la lgica.
En efecto, en aritmtica comenzamos a operar con los nmeros naturales f1, 2, 3, : : :g 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.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 falsas. 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 una oracin, frase o expresin respecto de la cual tiene sentido armar que
sea verdadera o falsa.
La proposicin es un elemento fundamental de la Lgica Matemtica.
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.
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.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 . A los informticos, les convienen, muchas veces expresar con 1 al valor de verdad de
una proposicin verdadera ((p) = 1) y con 0 cuando el valor de verdad es falso ((p) = 0): Trabajaremos,
indistintamente, con ambas notaciones.
Ejemplo 1 Sea la proposicin p: Salta es ms antigua que Chaco. Su valor de verdad es (p) = V:

1.2 Operaciones con proposiciones

As como en aritmtica y en lgebra se estudian operaciones entre nmeros, en lgica se estudian ope-
raciones entre proposiciones. Deniremos las operaciones entre proposiciones en el sentido siguiente:
dadas una o dos proposiciones simples, cuyos valores de verdad se conocen, trataremos de caracterizar
la proposicin 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.
1
1.2.1 Conectivos u operadores lgicos
Consideraremos los siguientes smbolos y sus operaciones asociadas:

Conectivo Operacin asociada Signicado

^ Conjuncin o producto lgico: p ^ q pyq
_ Disyuncin o suma lgica: p _ q poq
Si p, entonces q;
! Implicacin o condicional: p ! q
o p implica q
$ Doble implicacin: p $ q p si y slo si q
0 No p; o no es
; Negacin: p, p0
cierto que p

Estos conectivos o conectores permiten formar proposiciones compuestas. Se dice que una proposicin
es compuesta cuando est formada por dos o ms proposiciones simples unidas por medio de conectivos
lgicos. A cada uno de estos conectivos se le asocia una operacin lgica.

1.2.2 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 propo-
sicin:
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 p q p^q
V V V 1 1 1
V F F 1 0 0
F V F 0 1 0
F F F 0 0 0
Expresiones tales como pero, sin embargo, aunque utilizadas para unir dos proposiciones tienen
el mismo sentido conjuntivo y.

1.2.3 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.
El uso del conectivo en una disyuncin se asocia al signicado en sentido inclusivo de la palabra . A
menos que tiene el signicado de .

Ejemplo 2 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 p q p_q
V V V 1 1 1
V F V 1 0 1
F V V 0 1 1
F F F 0 0 0

2
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.
En el lenguaje corriente la palabra , a veces puede denotar exclusin.

Ejemplo 3 El 20 de marzo a las 18 hs. ir al cine o al gimnasio.

En este ejemplo, si un suceso se realiza el otro queda excluido y es, este sentido excluyente, el que
prevalece.
Para la disyuncin, con sentido excluyente, la tabla de verdad es la siguiente:

p q pYq p q pYq
V V F 1 1 0
V F V 1 0 1
F V V 0 1 1
F F F 0 0 0

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

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:

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).
b. (p) = V
( q) = F
(q ^ r) = V
( r ^ u) = F
c. Con los valores que nos dan, vamos resolviendo los parntesis en el orden en que lo hacamos para
operaciones 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

3
 d. Para resolver sto conviene hacer una tabla que se confecciona del siguiente modo: como las pro-
posiciones implicadas son tres, la tabla tendr 8 = 23 las y, en general, 2n las cuando sea n el
nmero de proposiciones simples que intervienen (en nuestro caso 3) y tantas columnas como ope-
raciones 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 (20 ), en la segunda columna (
q ) los valores V y F alternados de 2 en 2 (21 ), en la tercera columna ( r ) los valores de V y F
alternados de 4 en 4 (22 ). 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

1.2.4 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 me duelen las muelas entonces voy al dentista.
Si Jujuy es una ciudad argentina entonces 2 es un nmero par.
Se trata de enunciados de la forma: si p, entonces q, donde p y q son proposiciones. Los represen-
taremos como p ! q, lo que se lee: p implica q.
En la primera oracin, llamada ahora implicacin, tendramos: p: me duelen las muelas y q:voy
al dentista, por lo que, al escribirla, en smbolos queda p ! q: En la segunda: p: Jujuy es una ciudad
argentina y q:2 es un nmero par; en smbolos: p ! q: Observamos que en este segundo enunciado
no hay una relacin causal entre p y q.
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 ejemplo:

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.
Denicin 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. Es decir la implicacin es falsa nicamente
cuando siendo verdad la hiptesis, la conclusin es falsa.
4
 Denimos la tabla de verdad de la implicacin de la siguiente forma:

p q p!q p q p!q
V V V 1 1 1
V F F 1 0 0
F V V 0 1 1
F F V 0 0 1

Las tablas de verdad se denen arbitrariamente pero respetando el sentido comn.

Ejemplo 5

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 implicacin 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 verdadero y consecuente falso.
c. 1 = 1 ! 12 = (1)2 es V por tener su antecedente falso.

1.2.4.1 Diferentes formas de expresar una implicacin

Dada la importancia de la implicacin p ! q, existen muchas maneras diferentes de enunciarla. Todas
las armaciones siguientes signican lo mismo:

(a) p implica q (b) Si p entonces q (c) q si p

(d) Si p; q (e) p es suciente para q (f) q es necesario para p

(g) p slo si q (h) q siempre que p (i) q se deduce de p

(j) una condicin necesaria para p es q (k) una condicin suciente para q es p (l) q cuando p

1.2.5 Doble implicacin o bicondicional o equivalencia

Denicin Dadas dos proposiciones p y q, a la proposicin compuesta p si y solo si q se la llama
proposicin bicondicional y se denota por p $ q: Se interpreta como p solo si q y q solo si p, esto es
si p entonces q y si q entonces p: Es decir p ! q y q ! p. Esto es la proposicin p es equivalente a la
proposicin q, si se verican simultneamente p ! q y q ! p.
En p $ 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

5
Observamos que los valores de la ltima columna de ambas tablas son exactamente los mismos, como era
de esperarse, ya que denimos la doble implicacin como la conjuncin de estas dos implicaciones que,
como veremos, sern designadas como la directa y la recproca, la una de la otra.
Usando solo 1 y 0, la tabla es:
p q p$q p q p!q q!p (p ! q) ^ (q ! p)
1 1 1 1 1 1 1 1
1 0 0 1 0 0 1 0
0 1 0 0 1 1 0 0
0 0 1 0 0 1 1 1
Cuando dos expresiones P; Q tienen el mismo valor de verdad, para los distintos valores de verdad
de las proposiciones componentes, se dice que son lgicamente equivalentes y se escribe P $ Q o bien
P Q: En este caso (p $ q) (p ! q) ^ (q ! p)

Ejemplo 6

a. La equivalencia (1)3 = 1 $ 33 = 27 es verdadera, puesto que las dos proposiciones son verda-
deras.
b. La equivalencia un tringulo es equiltero $ un tringulo es equingulo es verdadera, porque
ambas proposiciones se reeren al mismo conjunto de tringulos.
c. La equivalencia 1 = 2 $ 22 = 4 es falsa, ya que la primera proposicin es F y la segunda V .

1.2.6 Negacin
Denicin 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). Tambin se simboliza con p0 :
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 .
Trabajaremos, indistintamente, con p o con p0 para denotar la negacin de p:
Una tabla de verdad muestra las relaciones entre los valores de verdad de proposiciones. Para la
negacin, su tabla de verdad es la siguiente:

p p p p
V F 1 0
F V 0 1

La negacin es una operacin unitaria puesto que opera sobre una sola proposicin p, a quien le hace
corresponder la proposicin p.

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

1.2.7 Traduccin de frases del lenguaje natural

Usando los diferentes conectivos lgicos se pueden representar con notacin lgica a enunciados, dados
en lenguaje natural. El paso del lenguaje natural al lenguaje formal se conoce como formalizacin.

Ejemplo 8 Si no estudio Matemtica para Informtica y no hago los prcticos de Elementos de Progra-
macin entonces, reprobar el cuatrimestre y no podr ir de vacaciones a Brasil.

Identicando a las proposiciones componentes:

p : estudio Matemtica para Informtica
q : hago los prcticos de Elementos de Programacin
r : reprobar el cuatrimestre
s : puedo ir de vacaciones a Brasil
La frase dada se puede escribir como: ( p^ q) ! (r_ s)

6
 1.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 p q p q q ! p
V V V V V F F V
F V V F V V F V
V F F V F F V F
F F V 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).
Se expresa:
p ! q q ! p

q ! p p ! q
Haremos un esquema que nos ayudar a recordar cules implicaciones son equivalentes, cules
recprocas y cules contrarrecprocas:
p)q RECPROCAS ! q)p
" "
C C
O - % O
N N
T T
R - C O N T R A R R E- % R
A CPROCAS A
R . & R
I I
A A
S . & S
# #
p ) q RECPROCAS ! q ) p

Ejemplo 9 Escriba las implicaciones asociadas de la implicacin:

Si llueve entonces no voy al parque.

Solucin:
p : llueve
q : voy al parque
Recproca: Si no voy al parque entonces llueve.
Contraria: Si no llueve entonces voy al parque.
Contrarrecproca: Si voy al parque entonces no llueve.

Ejemplo 10 Escriba las implicaciones asociadas a la dada y analice su valor de verdad.

a. Si un cuadriltero es un cuadrado, entonces es un rectngulo.

Solucin:
La implicacin dada es verdadera.
Recproca: Si un cuadriltero es un rectngulo, entonces es un cuadrado. (F )
Contraria: Si un cuadriltero no es un cuadrado, entonces no es un rectngulo. (F )
Contrarrecproca: Si un cuadriltero no es un rectngulo, entonces no es un cuadrado. (V )
7
 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).
Solucin:
Directa: si dos ngulos suman 180 , entonces son suplementarios. (V )
Recproca: si dos ngulos son suplementarios, entonces suman 180 . (V )
Contraria: si dos ngulos no suman 180 , entonces no son suplementarios. (V )
Contrarrecproca: 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.

1.4 Tautologa, contradiccin y contingencia

Denicin Sea P una proposicin compuesta de las proposiciones simples p1 ; p2 : : : ; pk :( donde k es un
entero positivo)
P es una tautologa si es verdadera para todos los valores de verdad que se asignen a p1 ; p2 : : : ; pk :
P es una contradiccin si es falsa para todos los valores de verdad que se asignen a p1 ; p2 : : : ; pk :
Una proposicin P que no es tautologa ni contradiccin se llama contingencia.

Ejemplo 11 Establece si las siguientes frmulas son tautologas, contradicciones o contingencias.

(a) p _ p (b) q ^ q (c) ( p) (d) (p ^ q) ! p

Solucin:
Para ello vamos a confeccionar las tablas correspondientes para todos los valores de verdad posibles:
(a) (b) (c)
p p p_ p q q q^ q p p ( p)
V F V V F F V F V
F V V F V F F V F

(d)
p q p ^ q (p ^ q) ! p
V V V V
V F F V
F V F V
F F F V
Observamos que la primera frmula (a) y la cuarta (d) son tautologas, la segunda (b) una contradic-
cin y la tercera (c) una contingencia.

1.4.1 Tautologas
Las tautologas son muy importantes en Lgica, ya que al tener un resultado verdadero para todos los
valores de verdad de sus proposiciones componentes, se consideran leyes que se pueden utilizar para
realizar demostraciones de teoremas o para inferir resultados de proposiciones desconocidas.
En general, las tautologas tienen la forma P ) Q esto signica si P entonces Q: Con P simbolizamos
a una proposicin compuesta y como tal est formada por proposiciones ms simples.
Para probar que una implicacin es una tautologa, se debe cambiar el smbolo ) por ! y evaluar la
proposicin en la forma normal.
En Lgica, hay muchas tautologas muy importantes y muy usadas, enunciamos las ms comunes, con
los nombres que usualmente reciben:

8
 1. Adicin: p ) (p _ q)

2. Simplicacin: (p ^ q) ) p

3. Conjuncin: (p) ^ (q) ) (p ^ q)

4. Modus ponens: [p ^ (p ! q)] ) q

5. Modus tollens: [p ! q) ^ q 0 ] ) p0

6. Transitividad de la condicional: [(p ! q) ^ (q ! r)] ) (p ! r)

7. Transitividad de la bicondicional: [(p $ q) ^ (q $ r)] ) (p $ r)

8 . Extensin de la condicional: (a) (p ! q) ) [(p _ r) ! (q _ s)]

9. Extensin de la condicional: (b) (p ! q) ) [(p ^ r) ! (q ^ s)]

10. Extensin de la condicional: (c) (p ! q) ) [(q ! r) ! (p ! r)]

11. Dilema constructivo: (a) [(p ! q) ^ (r ! s)] ) [(p _ r) ! (q _ s)]

12. Dilema constructivo: (b) [(p ! q) ^ (r ! s)] ) [(p ^ r) ! (q ^ s)]

13. Silogismo hipottico: [(p ! q) ^ (q ! r)] ) (p ! r)

14. Silogismo disyuntivo: [(p _ q) ^ p0 ] ) q

En los siguientes ejemplos justicaremos algunas de estas tautologas, mediante tablas de verdad.

Ejemplo 12 La tabla de verdad de la ley de adicin p ) (p _ q) es:

p q p_q p ) (p _ q)
1 1 1 1
1 0 1 1
0 1 1 1
0 0 0 1

Ejemplo 13 La tabla de verdad de Modus ponens es:

p q p!q p ^ (p ! q) [p ^ (p ! q)] ) q
1 1 1 1 1
1 0 0 0 1
0 1 1 0 1
0 0 1 0 1

Ejemplo 14 La tabla de verdad de la ley del Silogismo disyuntivo: [(p _ q) ^ p0 ] ) q es:

p q p0 p_q (p _ q) ^ p0 [(p _ q) ^ p0 ] ) q
1 1 0 1 0 1
1 0 0 1 0 1
0 1 1 1 1 1
0 0 1 0 0 1

En muchas de las tautologas, la hiptesis P se presenta como conjuncin de proposiciones. Si P

denota a la conjuncin de p1 ; p2 ; p3 ; : : : pk :
P = p1 ^ p2 ^ p3 ^ : : : pk . Se quiere probar P ) Q:

9
 Suele ser comn representar las tautologas como:

p1
p2
p3
..
.
pk

) Q

Esto se entiende como (p1 ^ p2 ^ p3 ^ : : : pk ) ) Q (donde k es un entero positivo). Las proposiciones

de partida (hiptesis) p1 ; p2 ; p3 ; : : : pk se llaman premisas y la proposicin de llegada, Q; conclusin.
Las hiptesis se escriben en una columna y la conclusin debajo de una barra horizontal. El smbolo )
denota por tanto o luego. Se supone que tanto las premisas como la conclusin son verdaderas.
Podemos decir que estamos frente a lo que se llama un argumento. Un argumento, tambin llamado
razonamiento consiste en una o ms proposiciones llamadas hiptesis y una tesis llamada conclusin,
de forma tal que la conclusin se apoye en las hiptesis. Se dice que un razonamiento o argumento es
la armacin de que una cierta proposicin Q (llamada conclusin) se deduce de otras proposiciones
iniciales p1 ; p2 ; p3 ; : : : pk llamadas premisas o hiptesis.
Los argumentos basados en tautologas representan mtodos de razonamiento universalmente correc-
tos. A los argumentos y a la forma en que se relacionan entre si se les llama reglas de inferencia.

1.5 Inferencias lgicas

A veces podemos prescindir del esfuerzo que signica la construccin de tablas. Desarrollaremos una lista
de tcnicas llamadas reglas de inferencia.
Las reglas de inferencia permiten relacionar dos o ms proposiciones para obtener una tercera. Se trata
de probar argumentos, basados en tautologas. La validez de estos argumentos depende, solamente, de la
forma de las proposiciones que intervienen y no de los valores de verdad de las variables que intervienen.
En la siguiente tabla se muestran las reglas de inferencia ms usadas y las tautologas con las que
estn relacionadas:

10
 Regla de inferencia Tautologa Nombre

p
p ) (p _ q) Adicin
) p_q
p^q
(p ^ q) ) p Simplicacin
) p
p
q
(p) ^ (q) ) (p ^ q) Conjuncin

) p^q
p
p!q
p ^ (p ! q) ) q Modus Ponens

) q
p!q
q0
[(p ! q) ^ q 0 ] ) p0 Modus tollens
) p0
p!q
r!s
[(p ! q) ^ (r ! s)] ) [(p _ r) ! (q _ s)] Dilema constructivo
) (p _ r) ! (q _ s)
p!q
r!s
[(p ! q) ^ (r ! s)] ) [(p ^ r) ! (q ^ s)] Dilema constructivo
) (p ^ r) ! (q ^ s)
p!q
q!r
[(p ! q) ^ (q ! r)] ) (p ! r) Silogismo hipottico
) p!r
p_q
p0
[(p _ q) ^ p0 ] ) q Silogismo disyuntivo
)q

Ejemplo 15 Para el siguiente conjunto de premisas, escriba una conclusin:

Si corro, bajo de peso. No bajo de peso.
Solucin:
p : corro
q : bajo de peso
El argumento sera: (p ! q) ^ q 0
Por modus tollens: (p ! q) ^ q 0 ) p0
La regla de inferencia:
Si corro entonces bajo de peso
No bajo de peso

) No corro
Conclusin: No corro.

Ejemplo 16 Dados los siguientes argumentos, indique qu ley de inferencia lgica justica la conclusin:

11
 a. Hace fro y llueve. Por tanto, hace fro.
Sean las proposiciones p : hace fro q : llueve
Entonces el argumento dado es de la forma:

p^q

) p

Este argumento utiliza la regla de simplicacin.

b. Si Rocco es un gato, entonces come carne. Si come carne entonces es felino. Por lo tanto: si Rocco
es un gato entonces es felino.
Sean las proposiciones p : Rocco es un gato q : come carne
r : es felino.
Entonces el argumento dado, escrito en notacin lgica, es de la forma:

p!q
q!r

) p!r

Este argumento utiliza la regla de silogismo hipottico.

1.6 Equivalencias lgicas

Como ya vimos, se dice que dos proposiciones P y Q son lgicamente equivalentes si tienen los mismos
valores de verdad en todos los casos posibles de valores de verdad de sus proposiciones componentes. Se
indica con P Q o bien con P , Q: Se dice tambin que son leyes lgicas.
El bicondicional P , Q es una tautologa.

Ejemplo 17 (p ! q) (q 0 ! p0 ). Tambin se escribe (p ! q) , (q 0 ! p0 )

Realizando la correspondiente tabla:

p q p0 q0 p!q q 0 ! p0 (p ! q) , (q 0 ! p0 )
1 1 0 0 1 1 1
1 0 0 1 0 0 1
0 1 1 0 1 1 1
0 0 1 1 1 1 1

1.6.1 Algunas leyes lgicas

En el clculo proposicional se utilizan las siguientes leyes lgicas o equivalencias, cuya demostracin se
reduce a la confeccin de la correspondiente tabla de verdad.

I. Involucin o doble negacin: ( p) , p

p p ( p) ( p) , p
V F V V
F V F V

II. Idempotencia: (a) (p _ p) , p (b) (p ^ p) , p

III. Leyes Conmutativas:

(a) de la disyuncin: p _ q , q _ p
(b) de la conjuncin: p ^ q , q ^ p
(c) de la doble implicacin: (p $ q) , (q $ p)

IV. Leyes Asociativas:

(a) de la disyuncin:
(p _ q) _ r , p _ (q _ r)
(b) de la conjuncin:
(p ^ q) ^ r , p ^ (q ^ r)

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

VI. Leyes de De Morgan:

(a) (p _ q) , ( p ^ q) (negacin de una disyuncin)

(b) (p ^ q) , ( p _ q) (negacin de una conjuncin)

VII. Contrapositiva o contrarecproca:

(a) (p ! q) , ( q ! p)

VIII. Variantes de la condicional:

(a) (p ! q) , ( p _ q)
(b) (p ! q) , (p ^ q) (negacin de una implicacin)
(c) (p _ q) , ( p ! q)
(d) (p ^ q) , (p ! q)
(e) [(p ! r) ^ (q ! r)] , [(p ^ q) ! r]
(f) [(p ! q) ^ (p ! r)] , [(p ! (q ^ r]

IX. Variantes de la bicondicional:

(a) (p $ q) , [(p ! q) ^ (q ! p)]

(b) (p $ q) , [( p _ q) ^ ( q _ p)]
(c) (p $ q) , [(p ^ q) _ ( p^ q)]

X. Contradiccin:
(p^ p) , 0
XI. Leyes de identidad:

(a) (p _ 0) , p
(b) (p _ 1) , 1
(c) (p ^ 0) , 0
(d) (p_ p) , 1
(e) (p ^ 1) , p
(f) (p ^ q _ q) , q

A modo de ejemplo demostraremos la equivalencia con la negacin de una implicaccin (ley VIII (b))
y con la negacin de una doble implicacin:

Ejemplo 18 Negacin de una implicacin: La siguiente tabla muestra que las proposiciones (p !
q) y p^ q son lgicamente equivalentes:

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

Por lo tanto, la negacin de una implicacin no es una implicacin, sino la conjuncin entre el antecedente
y la negacin del consecuente.

En smbolos:
(p ! q) , p^ q

13
Ejemplo 19 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),
(ley IX (a)) entonces, negar la primera frmula equivale a negar sta ltima. Resulta pues:

[(p ! q) ^ (q ! p)] , (p^ q) _ (q^ p)

Luego
(p $ q) , (p^ q) _ (q^ p)

Una vez que se prueban las leyes lgicas enunciadas (se deja a a cargo del lector la prueba de las
restantes), se puede usar las mismas para probar otras, como por ejemplo:

Ejemplo 20 Usando equivalencias lgicas, demuestre que: (p _ q) _ (p _ r) , (p _ q) _ r

Solucin:
(p _ q) _ (p _ r) dada

, [(p _ q) _ p] _ r por asociativa de la disyuncin IV.(a)

, [p _ (q _ p] _ r por asociativa de la disyuncin IV.(a)

, [(p _ (p _ q] _ r por conmutativa de la disyuncin III.(a)

, [(p _ p) _ q] _ r por asociativa de la disyuncin IV.(a)

, (p _ q) _ r por idempotencia II.(a)

1.6.2 Negacin de proposiciones compuestas

La siguiente tabla muestra un resumen de las operaciones con proposiciones y sus correspondientes
negaciones:
Operacin En smbolos Negacin
Conjuncin p^q p_ q
Disyuncin p_q p^ q
Implicacin p!q p^ q
p $ q; p $ q o
Equivalencia p$q
(p^ q) _ (q^ p)

Ejemplo 21 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 entiendo es, estudio y no entiendo. La negacin de: 53 = 125 $ 5 5 5 = 125 es,
53 6= 125 , 5 5 5 = 125, o tambin, 53 = 125 $ 5 5 5 6= 125 o 53 = 125 ^ 5 5 5 6= 125" o
\5 5 5 = 125 ^ 53 6= 125".

1.7 Razonamientos vlidos. Demostraciones formales

Recordemos que un razonamiento es cualquier proposicin con la estructura (p1 ^ p2 ^ p3 ^ : : : pk ) ) Q
(donde k es un entero positivo). Hay razonamientos que son vlidos y otros que no lo son.
Diremos que el razonamiento es vlido si la conjuncin de las premisas implica la conclusin (se
sobreentiende que tanto las premisas como la conclusin estn expresadas mediante ciertas proposiciones
simples o elementales y ciertos conectivos lgicos). Podemos decir que un razonamiento es vlido si la
conclusin Q es verdadera cada vez que todas las premisas p1 ; p2 ; : : : ; pk lo sean. Esto, a su vez nos
permite aceptar como vlido el razonamiento en el caso de que alguna de las premisas sea falsa, ya que si
alguna de las premisas pi es falsa entonces la conjuncin p1 ^ p2 ^ : : : ^ pk ser falsa. De esta manera la
implicacin (p1 ^ p2 ^ p3 ^ : : : pk ) ) Q es verdadera, no dependiendo del valor de verdad de la conclusin.
En smbolos: Se trata de demostrar que P ) Q donde P y Q son proposiciones compuestas.
P = (p1 ^ p2 ^ p3 ^ : : : pk ):
S ean p1 ; p2 ; : : : ; pk las premisas y Q la conclusin: ( p1 ^ p2 ^ : : : ^ pk ) ) Q.
El smbolo ) signica deduccin de la tesis a partir de las hiptesis. Se debe probar que P ) Q:

14
 A esto, en general, se lo llama teorema. Demostraremos que un teorema es verdadero mediante una
secuencia de sentencias, que forman un argumento llamado demostracin. Se dice que un teorema es
verdadero si la proposicin P ) Q es una tautologa.
Los teoremas, representados con notacin lgica, se pueden demostrar, usando el mtodo directo o
bien el mtodo por contradiccin

Para probar si un razonamiento es vlido puede seguirse alguno de los caminos siguientes:

1) Tabla de verdad para mostrar que es tautologa

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.

Ejemplo 22 Traduce a la forma simblica y comprueba la validez del siguiente razonamiento:

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

Si al enunciado dado lo representamos en smbolos:

p!q
p ! r
) r!p

Donde P = (p ! q) ^ ( p ! r); Q = (r ! p)
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 }| { z }| {
(p ! q) ^ ( p ! r) (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) Tabla de verdad para identicar las crticas

Para mostrar la validez de un argumento tambin se puede realizar los siguientes pasos:
15
 (a) Identicar las premisas y la conclusin del argumento.
(b) Construir la tabla de verdad mostrando los valores verdaderos de todas las premisas y de la
conclusin.
(c) Encontrar las las (llamadas las crticas) en las cuales todas las premisas son verdaderas.
(d) En cada la crtica determinar si la conclusin del argumento es tambin verdadera.
I. Si en cada la crtica la conclusin es tambin verdadera entonces el argumento es vlido.
II. Si hay al menos una la crtica en la cual la conclusin es falsa entonces el argumento no
es vlido.

Ejemplo 23 Decida si el siguiente argumento es vlido:

p ! (q _ r0 )
q ! (p ^ r)
) p!r

Solucin:
p q r r0 q _ r0 p^r p ! (q _ r0 ) q ! (p ^ r) p!r
V V V F V V V V V
F V V F V F V F V
V F V F F V F V V
F F V F F F V V V
V V F V V F V F F
F V F V V F V F V
V F F V V F V V F
F F F V V F V V V
La tabla tiene cuatro las crticas la primera, la cuarta, la sptima, y la octava. En la sptima la las
premisas son verdaderas y la conclusin es falsa. En consecuencia el argumento no es vlido.

Tambin se puede demostrar si un razonamiento es vlido, usando lo que llamamos mtodo directo o
el mtodo indirecto, que enunciamos a continuacin.

3. Demostracin por el 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.
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 conclusin.
Suponemos que todas las premisas son verdaderas y, analizando, debemos establecer el valor de verdad
de la conclusin.

Ejemplo 24 Decida si el siguiente razonamiento es vlido:

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.

Solucin:

16
 Identicamos las proposiciones de la siguiente manera:
p : 6 es primo. q : 3 divide a 6. r : 2 es impar.
Escribimos este razonamiento en forma simblica y, luego, suponemos verdaderas 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.
Ejemplo 25 Demuestre la validez del siguiente razonamiento:
p!q

r ! q

( p^ t)

t!s

) s
Solucin:

En este caso usamos leyes lgicas para tratar de simplicar a las premisas (hiptesis) y luego analizar
con sus valores de verdad:
1. p ! q hiptesis v( r) = 1 ! v(r) = 0

2. r ! q hiptesis v(p ! r) = 1 ^ v(r) = 0 ! v(p) = 0

3. q ! r a 2. la contrapositiva VII. v(p _ t) = 1 ^ v(p) = 0 ! v(t) = 1

4. p ! r a 1. y 3. silogismo hipottico v(t ! s) = 1 ^ v(t) = 1 ! v(s) = 1

5. ( p^ t) hiptesis

6. p _ t a 5. ley de De Morgan VI. (b)

7. t ! s hiptesis

8. r hiptesis
Se observa que, partiendo de la verdad de las premisas hemos demostrado la verdad de la conclusin;
por lo que se dice que el razonamiento es vlido.

Veamos ahora la demostracin de un teorema.

Ejemplo 26 Dado el siguiente teorema, representado con notacin lgica, demustrelo usando el mtodo
directo:
[[(p _ q) ! r] ^ (r ! s)] ) ( s ! q)
Solucin:

Si escribimos en la forma:
(p _ q) ! r

r!s

) ( s ! q)
17
 1. (p _ q) ! r hiptesis

2. r ! s hiptesis

3. q ! (q _ p) adicin

4. q ! (p _ q) a 3. conmutativa de la disyuncin III. (a)

5. q ! r a 4. y 1. silogismo hipottico

6. q ! s a 5. y 2. silogismo hipottico

7. s ! q a 6. contrapositivo VII.

Se parte de la verdad de las hiptesis y se llega a la verdad de la tesis, por lo que el teorema
[[(p _ q) ! r] ^ (r ! s)] ) ( s ! q) est demostrado.

4. Demostracin por el mtodo indirecto

(a) Mtodo indirecto

Se quiere demostrar una implicacin de la forma P ! Q: 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 deter-
minar la falsedad del antecedente (hiptesis). Esto es correcto ya que la implicacin directa y
la contrarrecproca son lgicamente equivalentes.
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 con-
clusin 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 ver-
dad de las proposiciones que haga que P (conjuncin de las premisas) sea verdadera, diremos
que el razonamiento no es vlido.
(b) Mtodo por contradiccin o reduccin al absurdo

Este mtodo es una variante del mtodo indirecto. La idea que est detrs del mtodo por contra-
diccin o reduccin al absurdo es demostrar una proposicin (la conclusin de un argumento) mostrando
que, si esa proposicin fuera falsa, entonces se llegara a deducir una consecuencia imposible.
Debemos demostrar que una implicacin de la forma P ! Q es verdadera. Podemos suponer, por
el absurdo, que la implicacin es falsa, esto signica que su negacin es verdadera. Recordemos que
(P ! Q) P ^ Q: Se supone la verdad de esta conjuncin y se trata de llegar a una contradiccin.
Esta contradiccin demuestra que P ^ Q es falsa y en consecuencia P ! Q es verdadera. Este mtodo
se llama por reduccin al absurdo.
En general demostrar un teorema ( p1 ^ p2 ^ : : : ^ pn ) ) Q es equivalente a demostrar que:
( p1 ^ p2 ^ : : : ^ pn )^ Q ! una contradiccin . Se trabaja con la hiptesis y la negacin de la tesis. El
objetivo de la demostracin es llegar a una contradiccin de la forma q^ q 0: En la demostracin de
la proposicin dada, no es necesario llegar a una contradiccin con la proposicin q, sino que se podra
haber llegado a la contradiccin con cualquiera de las otras proposiciones intervinientes.

Ejemplo 27 Traduce a la forma simblica y comprueba si el siguiento razonamiento es vlido o no:

Mis profesores me apoyan si yo demuestro inters en mis estudios. O me va bien en los exmenes o
no puedo demostrar inters en mis estudios. Si me dedico a los deportes entonces no me va bien en los
exmenes. Por lo tanto: si mis profesores me apoyan entonces no me dedico a los deportes.
Solucin:

18
 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
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:
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.
Ejemplo 28 Muestre que el siguiente argumento no es vlido:

p_q

q ! (r ! s)

t!r

s ! t
Solucin:
Para mostrar que este argumento no es vlido necesitamos una asignacin de valores de verdad para
cada una de las proposiciones p; q; r; s; t de modo que la conclusin s ! t sea falsa. mientras que
las cuatro premisas sean verdaderas. El nico caso en que la conclusin s ! t es falsa es cuando
( t) = F y ( s) = V_ . Esto signica que (t) = V y (s) = F:
Como p es una de las premisas (p) = V . Consideremos la premisa v(t ! r) donde sabemos que
(t) = V: Si v(t ! r) debe ser Verdadera entonces (r) debe ser Verdadera. Ahora bien si (r) = V y
(s) = F se tiene que v(r ! s) es Falsa y el valor de la premisa [q ! (r ! s)] ser Verdadera nicamente
cuando v(q) sea Falso.
En consecuencia con la asignacin de valores de verdad (p) = V ; (q) = F ; (r) = V ; (s) = F ;
(t) = V las cuatro premisas p; p _ q; [q ! (r ! s)]; t ! r tienen el valor de verdad verdadero, mientras
que la conclusin s ! t tiene el valor de verdad Falso.
Por lo tanto el razonamiento no es vlido.
Observacin: Cabe destacar que para mostrar que una implicacin de la forma ( p1 ^p2 ^: : :^pn ) ) Q
no es una tautologa, debemos encontrar un caso para el que la implicacin sea falsa, es decir un caso en
que todas las premisas sean verdaderas pero la conclusin sea Falsa.

Veamos ahora un ejemplo de demostracin de un teorema por el mtodo de contradiccin.

19
Ejemplo 29 Dado el siguiente teorema, representado con notacin lgica, demustrelo usando el mtodo
de contradiccin:
[[(p _ q) ! r] ^ (r ! s)] ) ( s ! q)
Solucin:

1. (p _ q) ! r hiptesis

2. r ! s hiptesis

3. ( s ! q) negacin de la conclusin

4. [ ( s^ q)] a 3. variantes de la condicional VIII.(b)

5. s ^ q a 4. doble negacin I.

6. s a 5. simplicacin

7. q a 5. simplicacin

8. (p _ q) ! s a 1. y 2. silogismo hipottico

9. s ! (p _ q) a 8. contrapositiva VII.

10. s ! p^ q) a 9. ley de De Morgan VI. (a)

11. p^ q a 6. y 10. modus ponens

12. q a 11. simplicacin

13. q^ q a 7. y 12. conjuncin

14. 0 a 13. contradiccin X.

Ejercicio 1

a. Traduzca a la forma simblica y comprueba la validez de los razonamientos 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, entonces 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 memoria.

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.

1.8 Formas proposicionales. Cuanticadores

Es necesario, a veces, usar expresiones donde aparecen variables; por ejemplo, x es un nmero par,
x 6= 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 llamaremos formas proposicionales, esquemas proposicionales, funciones proposicionales
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 adecuado (que es el dominio o conjunto universo). Es decir el dominio especica los
posibles valores de la variable x:

Ejemplo 30 Dada p(x) : x es un nmero primo, cul es el valor de verdad de p(10)?

20
 Solucin:
Se tiene que: p(10) : 10 es un nmero primo.
Se obtiene una proposicin falsa: v(p(10)) = F
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 anteponemos 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 8x, 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 9x, denominado cuanticador existencial.
8x; p(x) se lee para todo x, p(x)
9x j p(x) o bien 9x : p(x) se lee existe x tal que p(x)
Denicin Decimos que la expresin 8x; p(x) es verdadera si y slo si cualquier sustitucin de x
por un elemento de un conjunto adecuado (llamado el universo de discurso o dominio), da origen a una
proposicin verdadera.
Por otra parte, 9xj p(x) es verdadera si y slo si existe por lo menos una sustitucin de x (del dominio)
que la transforme en una proposicin verdadera.

Ejemplo 31 Sea p(x) el enunciado x + 1 > x: Cul es el valor de verdad de 8x; p(x) donde el dominio
es el conjunto de los nmeros reales?

Solucin:
p(x): x + 1 > x
El dominio es D = R
La proposicin 8x 2 R; x + 1 > x es verdadera.

Ejemplo 32 Sea q(x) el enunciado x < 5: Cul es el valor de verdad de 9xjp(x) donde el dominio es
el conjunto de los nmeros reales?

Solucin:
p(x): x < 5
El dominio es D = R
La proposicin 9x 2 R; x < 5 es verdadera.

Ejemplo 33 Representa simblicamente las expresiones dadas determinando su valor de verdad.

a. Todos los enteros son pares.

b. Hay empleados pblicos que llegan a n de mes.
c. Todo estudiante de esta clase ha realizado el Curso de Ingreso Universitario (CIU).
Solucin:

a. 8x 2 Z : x = 2m; m 2 Z
b. Tomamos como dominio al conjunto de las personas (P ). 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:
p(x) : x es empleado del Estado q(x) : x llega a n de mes
la expresin dada puede escribirse como: 9x 2 P jp(x) ^ q(x).
c. Primero jamos el dominio:

i. Si tomamos como dominio al conjunto de los estudiantes de esta clase (E), e identicamos con
p(x) : x ha realizado el CIU, podemos traducir la frase dada como:
8x 2 E; p(x):
ii. Si tomamos como dominio al conjunto de todas las personas (P ) e identicamos con:
r(x) : x es un estudiante de esta clase s(x) : x ha realizado el CIU
Podemos traducir la frase dada como:
8x 2 P; r(x) ! s(x)

21
1.8.1 Conjunto de verdad
Denicin Dada una forma o esquema proposicional p(x), el conjunto de valores de x (del dominio) que
hace que p(x) sea una proposicin verdadera, recibe el nombre de conjunto de verdad de p(x).
Por ejemplo, si el dominio es D = R y p(x) : x2 25 = 0; el conjunto de verdad de p(x), es P = f5; 5g.
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 0 . (Veremos esto en el captulo 2)
En nuestro ejemplo: P 0 = fx 2 Rjx 6= 5g.
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, v(p(x) ! q(x)) = V si P Q.

Ejemplo 34 Sea D = R

Dadas las siguientes proposiciones, decida si son verdaderas o falsas.

a. 8x 2 R; x2 = 1 ! x = 1
Solucin:

p(x) : x2 = 1 P = f1; 1g
q(x) : x = 1 Q = f1g
Como f1; 1g * f1g, diremos que la implicacin es falsa.

b. 8x 2 R; x2 2x + 1 = 0 ! x2 4x + 3 = 0
p(x) : x2 2x + 1 = 0 P = f1g
2
q(x) : x 4x + 3 = 0 Q = f1; 3g
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.

Ejemplo 35 Sea D = R

a. 8x 2 R; x + 5 = 0 $ x = 5
p(x) : x + 5 = 0 P = f5g
q(x) : x = 5 Q = f5g
Como P = Q, la equivalencia es verdadera.
b. 8x 2 R; x 3 = 0 $ x2 = 9
p(x) : x 3 = 0 P = f3g
2
q(x) : x = 9 Q = f3; 3g
Como P 6= Q, la equivalencia es falsa.

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

Ejemplo 36 Dadas las proposiciones, p: es rico y q: es feliz, exprese en smbolos las siguientes
expresiones:

a. Es necesario ser pobre para ser feliz.

b. Ser rico es condicin suciente para ser feliz.
c. Ser rico es condicin necesaria para ser feliz.

Solucin:

a. q ! p
b. p ! q
c. q ! p

22
 Sea la implicacin p ! q, si al analizar su valor de verdad resulta que la misma es 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.

Ejemplo 37 Dada la proposicin: Si un nmero termina en cero entonces es divisible por cinco.

a. Indique si la condicin dada en el antecedente es suciente o necesaria para el consecuente.

b. Esciba la implicacin recproca y analice su valor de verdad.

Solucin:

a. En este ejemplo estn involucradas formas proposicionales. Identicando a las mismas y tomando
como dominio al conjunto de los nmeros enteros Z:
p(x) : x termina en cero
q(x) : x es divisible por cinco
La expresin dada, en smbolos: 8x 2 Z, p(x) ! q(x)
El valor de verdad de la implicacin es: v(8x 2 Z, p(x) ! q(x)) = V
Que un nmero termine en cero es condicin suciente para que sea divisible por cinco.

b. La implicacin recproca es: 8x 2 Z, q(x) ! p(x))

Observemos que el valor de verdad de la implicacin recproca es falso:

v(8x 2 Z, q(x) ! p(x)) = F

Ejemplo 38 La implicacin: si un polgono es un cuadrado, entonces es un rectngulo, se puede

expresar de las siguientes formas:

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.

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.

Ejemplo 39 La implicacin si un nmero es par, es mltiplo de 2 y su recproca 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.

Ejemplo 40 Exprese las implicaciones siguientes usando las frases es condicin necesaria o es con-
dicin suciente:

a. Si un entero es mltiplo de 4, es par.

b. Si un tringulo est inscripto en una semicircunferencia, es rectngulo.
c. Analice la implicacin: si dos tringulos son congruentes, entonces tienen dos lados y el ngulo
comprendido respectivamente congruentes.

Solucin:

a. 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.
b. Es condicin suciente que un tringulo est inscripto en una semicircunferencia para que sea rec-
tngulo, o bien es condicin necesaria que un tringulo sea rectngulo para que pueda inscribirse
en una semicircunferencia.
c. La implicacin directa es verdadera; tambin lo es la recproca. Luego, decimos que, el tener
dos lados y el ngulo comprendido congruentes, es condicin necesaria y suciente para que dos
tringulos sean congruentes.

23
 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 necesaria 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

Ejemplo 41 Sea la implicacin si un tringulo es issceles, entonces tiene sus tres lados congruentes.
Se trata de una implicacin falsa. 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.

Ejemplo 42 En el ejemplo 37, se observa que la implicacin recproca es falsa; por lo que el hecho de
que un nmero entero termine en cero es condicin suciente pero no necesaria para que sea divisible por
cinco.

Tambin en la vida diaria se nos presentan situaciones de este tipo. Consideremos, 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.

1.8.3 Negacin de cuanticadores

La negacin de la proposicin para todo x; p(x), es, existe x, tal que no p(x). Anlogamente, la
negacin de la proposicin existe un x, tal que p(x), es: para todo x, no p(x).
Podemos, entonces, expresar esto simblicamente:

(8x; p(x)) , 9x : p(x)

(9x : p(x)) , 8x; p(x)

Ejemplo 43 Escriba la negacin de :Para todo x; x es primo

Solucin:
La negacin es: existe x, tal que x no es primo.

Ejemplo 44 Existen nmeros que son cuadrados perfectos tiene como negacin a: todos los nmeros
no son cuadrados perfectos.

Regla prctica: La negacin de 8 es 9 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.
24
Ejemplo 45

a. [8x : (x 6= 0 ! x2 > 0)] , 9xj(x 6= 0 ^ x2 0)

b. (9xjx2 + 5x + 4 = 0) , 8x : x2 + 5x + 4 6= 0
c. [8x : (p(x) ! q(x))] , 9xjp(x) ^ q(x)
d. (8x; 9y jx y = 0) , 9x j8y : x y 6= 0
e.
Proposicin Negacin Negacin incorrecta
i. Todos los alumnos Algunos alum- Todos los alumnos
estudian. nos no estudian. no estudian.

ii. Algunos alumnos Ningn alumno Algunos alumnos no

estudian estudia estudian computacin;
computacin. computacin. o bien, 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 : : :

Ejemplo 46 Formemos la negacin de las proposiciones dadas.

a. Algunos videos son actuales y todos son interesantes.

Vemos que se trata de una conjuncin, por lo que su negacin sera:
no es cierto que algunos videos son actuales o no todos son interesantes. Aplicando lo aprendido
anteriormente, a cada una de las proposiciones, resulta:
Todos los videos no son actuales o algunos no son interesantes (negando 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 imitarnos;
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.

1.9 Razonamientos y cuanticadores

La mayora de los razonamientos que hemos trabajado hasta ahora trataban con proposiciones y no con
predicados y slo algunas tenan que ver con cuestiones de tipo matemtico.
En la mayora de los teoremas matemticos aparecen de forma natural los predicados y los cuantica-
dores. Si queremos utilizar el procedimiento lgico aprendido en los razonamientos para demostrar este
tipo de teoremas habr que utilizar proposiciones cuanticadas en los razonamientos.
Ya mencionamos algunos mtodos de demostracin y vinimos viendo como aplicarlos.
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:

H1 ) Cada alumno est sentado en uno y slo un asiento.

H2 ) Dos alumnos distintos no estn en un mismo asiento.
H3 ) En cada asiento hay por lo menos un alumno.
T) Hay tantos alumnos como asientos.

25
 D) m n (por H1 y H2 ).
n m (por H3 y H1 ).
En consecuencia, m = n, como queramos demostrar (c.q.d.).

Otra forma de demostrar este teorema sera a partir de la negacin de la tesis:

8
< m > n contradice H1 y H2
m 6= n
:
m < n contradice H3 y H1

Lo hemos demostrado usando la contrarrecproca T ) H, que es equivalente a H ) T .

El primer ejemplo ilustra lo que ya vimos que se conoce con el nombre de mtodo directo y el segundo
el mtodo indirecto.
A continuacin demostraremos algunos teoremas por los mtodos directo, indirecto y absurdo o con-
tradiccin.

Ejemplo 47

a. Pruebe que: Si un nmero entero es par, entonces su cuadrado es par.

Prueba:

H) p(x) : x es par

T) q(x) : x2 es par

D) Debemos probar que: 8x 2 Z; p(x) ! q(x):

Para demostrar podemos usar el mtodo directo. Partimos de la verdad de la hiptesis y llegamos
a la verdad de la tesis:
Sea x un nmero par. Si x es par, es de la forma x = 2k

x = 2k 1 (k 2 Z)

x2 = 4k2 Elevando al cuadrado a ambos miembros de 1

= 2(2k2 )

= 2m donde m = 2k2 y m 2 Z c.q.d.

Esta ltima expresin nos dice que x2 es par. (que es la tesis)

b. Demuestre que si a divide a b y b divide a c, entonces a divide a c.

8a; b; c 2 Z (a 6= 0 y b 6= 0) : ajb ^ bjc ! ajc

Prueba:

H) ajb ^ bjc
T) ajc
D) Demostramos usando el mtodo directo: Si ajb entonces b = k a con k 2 Z (1)

(a) Si bjc entonces c = k0 b con k0 2 Z (2)

Reemplazando (1) en (2), se tiene: c = k (k a) = (k0 k) a = k00 a con k0 k = k00 .
0

Luego, ajc como queramos demostrar. (es la tesis)

c. Demuestre que: Si el cuadrado de un nmero entero es par entonces el nmero es par.

Prueba:

H) p(x) : x2 es par

T) q(x) : x es par

26
 D) Observemos que se tendran dicultades para probar la implicacin por el mtodo directo (8x 2 Z;
p(x) ! q(x)).
8x 2 Z; si x2 es par entonces x es par.
Realicemos la demostracin por el mtodo indirecto. Recordemos que:
(p(x) ! q(x)) q(x) ! p(x)
Teniendo en cuenta esta equivalencia se puede demostrar la implicacin dada viendo que su con-
trarecproca es verdadera. En este caso, debemos probar que: si x no es par entonces x2 no es
par.

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:

x2 = (2k + 1)2 (k 2 Z)

= 4k2 + 4k + 1

= 2(2k2 + 2k) + 1

= 2m + 1, con m = 2k2 + 2k; m 2 Z

Esta ltima expresin nos dice que x2 es impar, con lo que llegamos a negar la hiptesis original. As
queda demostrada la implicacin.

d. Pruebe que: Si un nmero entero es impar entonces su cuadrado es impar.

Prueba:

H) p(x) : x es impar

T) q(x) : x2 es impar

D) Debemos probar que: 8x 2 Z; p(x) ! q(x)

8x 2 Z, si x es impar entonces x2 es impar.
Demostraremos esta implicacin por el mtodo del absurdo.
Recordemos que para demostrar que una proposicin de la forma 8x; ( p(x) ! q(x)) es verdadera,
podemos suponer, por el absurdo, que la negacin es verdadera.

Es decir partir de [8x; ( p(x) ! q(x)] es verdadera. Esto signica trabajar con 9x : ( p(x)^ q(x))
y tratar de llegar a una contradiccin. Esta contradiccin demuestra que 9x : ( p(x)^ q(x)) es falsa y
por lo tanto 8x; ( p(x) ! q(x)) es verdadera.
Partimos del antecedente y la negacin del consecuente, es decir: x es impar y x2 es par

x es impar ^ x2 es par

x = 2k + 1 ^ x2 = 2m

x2 = (2k + 1)2 ^ x2 = 2m

x2 = 4k2 + 2k + 1 ^ x2 = 2m

x2 = 2(2k2 + k) + 1 ^ x2 = 2m

x2 = 2p + 1 ^ x2 = 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 suponer que la negacin de la implicacin era verdadera. Luego
la implicacin dada es verdadera.
Mtodo del contraejemplo
Ahora supongamos que se quiere probar que una proposicin 8x; p(x) es falsa. Normalmente se dice
que se refuta la proposicin 8x; p(x):

27
 8x; p(x) ser falsa cuando exista al menos un elemento x0 en el dominio para el cual p(x0 ) sea una
proposicin falsa. ( (p(x0 )) = F ): De esta manera se encuentra un ejemplo que contradice el que 8x; p(x)
sea verdad, este se llama contraejemplo.

[8x; p(x)] 9x j p(x)

Muchas veces, cuando queremos demostrar algo, damos ejemplos. Si la implicacin es verdadera, los
ejemplos no son sucientes para demostrarla; en cambio, si es falsa, s.

Ejemplo 48 Decida si la expresin: 8n 2 Z; n2 + n + 41 es primo es verdadera o falsa.

Solucin:

Sea p(n) = n2 + n + 41
Si tomamos n = 40 : p(40) = (40)2 + 40 + 41 = 40(40 + 1) + 41 = 40 41 + 41 = 41(40 + 1) = 41 41 y
no es un nmero primo.
Por lo tanto 8n 2 Z, n2 + n + 41 es primo es Falsa.

Ejemplo 49 Dada la implicacin: 8x : x impar! (x es primo_ x + 2 es primo _x + 4 es primo): Decida

si es verdadera o falsa.

Solucin:
8x : (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: xn + 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.

28