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 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.
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.
Example 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
Negacin: p, p
0
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
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 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). Tambin se simboliza con p
0
:
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 p
0
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
V F
F V
p p
1 0
0 1
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: : :.
1.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 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
V V V
V F F
F V F
F F F
p q p ^ q
1 1 1
1 0 0
0 1 0
0 0 0
2
Expresiones tales como pero, sin embargo, aunque utilizadas para unir dos proposiciones tienen
el mismo sentido conjuntivo y.
1.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.
El uso del conectivo en una disyuncin se asocia al signicado en sentido inclusivo de la palabra . A
menos que tiene el signicado de .
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
p q p _ q
1 1 1
1 0 1
0 1 1
0 0 0
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.
Example 4 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 p Y q
V V F
V F V
F V V
F F F
p q p Y q
1 1 0
1 0 1
0 1 1
0 0 0
Example 5 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).
3
(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 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
(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 tantas 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 segunda
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
1.2.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 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:
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
4
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.
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
p q p !q
1 1 1
1 0 0
0 1 1
0 0 1
Las tablas de verdad se denen arbitrariamente pero respetando el sentido comn.
Example 6
(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 !1
2
= (1)
2
es V por tener su antecedente falso.
1.2.5.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) p es suciente para q (e) q es necesario para p (f) p slo si q
(g) q siempre que p (h) q se deduce de p (i) q cuando p
(j) una condicin necesaria para p es q (k) una condicin suciente para q es p
1.2.6 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.
5
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
p q p $q
1 1 1
1 0 0
0 1 0
0 0 1
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 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. 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 7
(a) La equivalencia (1)
3
= 1 $ 3
3
= 27 es verdadera, puesto que las dos proposiciones son
verdaderas.
(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 $2
2
= 4 es falsa, ya que la primera proposicin es F y la segunda V .
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.
Example 8 Si no estudio Matemtica para Informtica y no hago los prcticos de Elementos de Pro-
gramacin 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)
1.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 tautologas. Las frmulas cuyo valor de verdad es siempre
falso, se llaman contradicciones. Aquellas que no son ni tautologas ni contradicciones, se denominan
contingencias.
Example 9 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:
(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 contradiccin y la tercera una
contingencia.
6
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.
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:
Adicin: p )(p _ q) Simplicacin: (p ^ q) )p
Modus ponens: [p ^ (p !q)] )q Modus tollens: [p !q) ^ q
0
] )p
0
Transitividad de la condicional: [(p !q) ^ (q !r)] )(p !r)
Transitividad de la bicondicional: [(p $q) ^ (q $r)] )(p $r)
Extensin de la condicional: (a) (p !q) )[(p _ r) !(q _ s)]
Extensin de la condicional: (b) (p !q) )[(p ^ r) !(q ^ s)]
Extensin de la condicional: (c) (p !q) )[(q !r) !(p !r)]
Dilema constructivo: (a) [(p !q) ^ (r !s)] )[(p _ r) !(q _ s)]
Dilema constructivo: (b) [(p !q) ^ (r !s)] )[(p ^ r) !(q ^ s)]
Example 10 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
Example 11 La tabla de verdad de Modus ponens:
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
Como se observa, se puede demostrar que una frmula es tautolgica realizando su correspondiente tabla
de valores de verdad.
1.4 Inferencias lgicas
Las reglas de inferencia permiten relacionar dos o ms proposiciones para obtener una tercera. Estas
reglas justican los pasos dados para demostrar que, a partir de una serie de hiptesis se llega, de forma
lgica a una conclusin. Se dice que sta proposicin se ha inferido o deducido de aqullas. 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.
Las proposiciones de partida se llaman premisas, las reglas aplicadas reglas de inferencia y la propo-
sicin de llegada, conclusin. Las hiptesis se escriben en una columna y la conclusin debajo de una
barra horizontal. El smbolo ) denota por tanto o luego
7
Regla de inferencia Tautologa Nombre
p
) p _ q
p )(p _ q) Adicin
p ^ q
) p
(p ^ q) ) p Simplicacin
p
q
) p ^ q
(p) ^ (q) )(p ^ q) Conjuncin
p
p !q
) q
p ^ (p !q) )q Modus Ponens
p !q
q
0
) p
0
[(p !q) ^ q
0
] ) p
0
Modus tollens
p !q
q !r
) p !r
[(p !q) ^ (q !r)] )(p !r) Silogismo hipottico
p _ q
p
0
) q
[(p _ q) ^ p
0
] )q Silogismo disyuntivo
Cada lnea es una premisa y despus de viene la conclusin.
Para probar se puede realizar una tabla de verdad y demostrar que es una tautologa.
Example 12 Pruebe, usando tablas de verdad, la regla del Silogismo disyuntivo: [(p _ q) ^ p
0
] )q
p q p
0
p _ q (p _ q) ^ p
0
[(p _ q) ^ p
0
] )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
Se observa que [(p _ q) ^ p
0
] )q es una tautologa.
Example 13 Indique en qu regla de inferencia se basa el siguiente argumento:
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.
1.5 Equivalencias lgicas
Se dice que dos proposiciones P y Q son lgicamente equivalentes si tienen los mismos valores de verdad
en todos los casos posibles. Se indica con P Q o bien con P , Q: Se dice tambin que son leyes
lgicas.
Example 14 (p !q) (q
0
!p
0
). Tambin se escribe (p !q) ,(q
0
!p
0
)
8
Realizando la correspondiente tabla:
p q p
0
q
0
p !q q
0
!p
0
(p !q) ,(q
0
!p
0
)
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.5.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)
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)
(b) (p ^ q) , ( p _ q)
VII. Contrapositiva:
(a) (p !q) , ( q ! p)
VIII. Variantes de la condicional
(a) (p !q) , ( p _ q)
(b) (p !q) , (p ^ q)
(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)]
9
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
Se deja a cargo del estudiante la demostracin de estas leyes lgicas.
Exercise 1 Usando equivalencias lgicas, demuestre que: (p _ q) _ (p _ r) ,(p _ q) _ r
(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 Argumentos o razonamientos vlidos
Entendemos por razonamiento la armacin de que una cierta proposicin (llamada 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 estn
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:
(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 15 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.
10
El razonamiento sera:
p !q
p ! r
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 }| {
(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
conclusin. Suponemos que todas las premisas son verdaderas y, analizando, debemos establecer el
valor de verdad de la conclusin.
Example 16
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.
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, usado para
demostrar implicaciones.
11
Example 17 Demuestre la validez del siguiente razonamiento:
p !q
r ! q
( p^ t)
t !s
r
) s
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.
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 18 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.
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
12
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.
Exercise 2
(a) Traducir a la forma simblica y comprobar 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 en-
tonces 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.7 Demostraciones formales
Si se tiene una proposicin de la forma P )Q , donde P y Q son proposiciones compuestas, se dice que se
tiene un teorema o argumento. A las proposiciones que integran P y que estn conectadas por conectivos
^ se las llaman hiptesis y a la proposicin Q se la llama conclusin. Demostraremos que un teorema es
verdadero mediante una secuencia de sentencias, que forman un argumento llamado demostracin. Los
teoremas se pueden demostrar, usando el mtodo directo o bien el mtodo por contradiccin.
1.7.1 Demostracin por el mtodo directo
Se parte de la verdad de las hiptesis y se llega a la verdad de la tesis.
Example 19 Demuestre, usando el mtodo directo:
[[(p _ q) !r] ^ (r !s)] )( s ! q)
Si escribimos en la forma:
(p _ q) !r
r !s
) ( s ! q)
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.
13
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.
1.7.2 Demostracin por 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 p^ p 0
El esquema es: p
1
^ p
2
^ : : : p
n
^ q ! una contradiccin.
Example 20 Pruebe, por 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.
Se quiere probar que el teorema P ) Q es verdadero y se parte de que la negacin del teorema es
verdadero, es decir se parte de (P !Q). Sabemos que (P !Q) P^ Q; por eso se trabaja con
esta conjuncin. Al llegar a una contradiccin se dice que la misma provino de suponer que el teorema
P !Q era falso. Por lo que el teorema es verdadero.
En la demostracin de la proposicin dada, no es necesario llegar a una contradiccin con la propo-
sicin q, sino que se podra haber llegado a la contradiccin con cualquiera de las otras proposiciones
intervinientes.
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). 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 cuanticadores. 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.
14
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)
9xjp(x) o bien 9x : p(x) se lee existe x tal que p(x)
Decimos que la expresin 8x; p(x) es verdadera si y slo si cualquier sustitucin de x por un elemento
de un conjunto adecuado (dominio), da origen a una proposicin verdadera. Por otra parte, 9xjp(x) es
verdadera si y slo si existe por lo menos una sustitucin de x (del dominio) que la transforme en una
proposicin verdadera.
Example 21 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; m2 Z
(b) Tomamos como dominio al conjunto de las personas. 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: 9xjp(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)
1.8.1 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 = 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
.
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, P Q.
Example 22
(a) x
2
= 1 !x = 1
p(x) : x
2
= 1 P = f1; 1g
q(x) : x = 1 Q = f1g
Como f1; 1g * f1g, 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 = f1g
q(x) : x
2
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.
Example 23
15
(a) 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) x 3 = 0 $x
2
= 9
p(x) : x 3 = 0 P = f3g
q(x) : x
2
= 9 Q = f3; 3g
Como P 6= Q, la equivalencia es falsa.
1.9 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).
p !q q ! p
q !p p ! q
Haremos un esquema que nos ayudar a recordar cules implicaciones son equivalentes, cules re-
cprocas 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 24 Escriba las implicaciones asociadas a la dada y analice su valor de verdad.
(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 (recproca): 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 .
16
(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 suplementarios: 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 .
(c) 8x 2 R; x = 3 !x
2
9 = 0
La implicacin dada es verdadera, ya que si identicamos a las proposiciones componentes:
p(x) : x = 3 q(x) : x
2
9 = 0
Los respectivos conjuntos de verdad son: P = f3g Q = f3; 3g. Se observa
que P Q:
Directa: 8x; p(x) !q(x): 8x 2 R; x = 3 !x
2
9 = 0: V:
Recproca: 8x; q(x) !p(x): 8x 2 R; x
2
9 = 0 !x = 3: F.
Contraria: 8x; p(x) ! q(x): 8x 2 R; x 6= 3 !x
2
9 6= 0: F.
Contrarrecproca: 8x; q(x) ! p(x): 8x 2 R; x
2
9 6= 0 !x 6= 3: 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.9.1 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 25 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.
Example 26 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.
Example 27
(a) Dadas las proposiciones, p: es rico y q: es feliz, exprese en smbolos las siguientes expre-
siones:
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
i. q ! p
ii. p !q
iii. q !p
17
(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 rectngulo.
iii. Sean, p(x; y): dos tringulos son congruentes y q(x; y): dos tringulos tienen dos lados y el
ngulo comprendido respectivamente congruentes. Analice la implicacin: si dos trin-
gulos son congruentes, entonces tienen dos lados y el ngulo comprendido respectivamente
congruentes.
Solucin
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 condicin necesaria que un tringulo sea rectngulo para que
pueda inscribirse en una semicircunferencia.
iii. La implicacin p(x; y) !q(x; y) es verdadera; tambin lo es q(x; y) !p(x; y). Luego, de-
cimos que, el tener dos lados y el ngulo comprendido congruentes, es condicin necesaria
y suciente 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 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
Example 28 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. 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.10 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.
18
1.10.1 Negacin de una implicacin
Observemos que las proposiciones (p !q) y p^ q son lgicamente equivalentes, 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
Por lo tanto, la negacin de una implicacin no es una implicacin, sino la conjuncin entre el ante-
cedente y la negacin del consecuente.
En smbolos: (p !q) p^ q
Example 29
(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
6= (3)
2
.
1.10.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 30 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: 5
3
= 125 $ 5 5 5 = 125 es,
5
3
6= 125 , 5 5 5 = 125, o tambin, 5
3
= 125 $ 5 5 5 6= 125 o 5
3
= 125 ^ 5 5 5 6= 125" o
\5 5 5 = 125 ^ 5
3
6= 125".
1.10.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).
Example 31 Existen nmeros que son cuadrados perfectos tiene como negacin a: todos los nmeros
no son cuadrados perfectos.
Podemos, entonces, expresar esto simblicamente:
(8x; p(x)) ,9x : p(x)
(9x : p(x)) ,8x; p(x)
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.
Example 32
19
(a) [8x : (x 6= 0 )x
2
> 0)] ,9xj(x 6= 0 ^ x
2
0)
(b) (9xjx
2
+ 5x + 4 = 0) ,8x : x
2
+ 5x + 4 6= 0
(c) [8x : (p(x) ) q(x))] ,9xjp(x) ^ q(x)
(d) (8x; 9yjx y = 0) ,9xj8y : 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 : : :
Example 33 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.11 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 automticos 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 matemticos (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.
20
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.).
Otra forma de demostrar este teorema sera a partir de la negacin de la tesis:
m 6= 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 equivalente a H )T.
El primer ejemplo ilustra lo que se conoce con el nombre de mtodo directo y el segundo el mtodo
indirecto.
1.11.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 34
(a) Probar que si x es par, entonces x
2
es par.
x = 2k (k 2 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:
8a; b; c 2 Z (a 6= 0 y b 6= 0) : ajb ^ bjc !ajc
H) ajb ^ bjc
T) ajc
D) ajb )b = k a con k 2 Z (1)
bjc )c = k
0
b con k
0
2 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, ajc como queramos demostrar.
1.11.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 35 Demuestre que: 8x : 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
21
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 36 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.
1.11.3 Contraejemplo
Si se quiere demostrar una proposicin de la forma 8x; 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:
[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.
Por ejemplo, sea la implicacin:
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: 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