Matemtica I (ING Y ARQ)

Material de Lectura Ciclo 01/2017

Elementos de Lgica Simblica

El presente material de lectura muestra una serie de definiciones y ejemplos que proporcionan una
introduccin a la lgica simblica. Y que permitan al lector conocer un poco sobre la lgica proposicional,
equivalencias lgicas y mtodos de demostracin.

La lgica deriva etimolgicamente del vocablo griego masculino logos, trmino procedente del griego
"lghein", que fue utilizado con mltiples significados, siendo los fundamentales los de "clculo" y
"discurso", en filosofa suele traducirse por "razn" o pensamiento.
En Platn el Logos es el discurso articulado que permite dar razn de una cosa. En Aristteles, al entender
que la lgica se ocupa del discurso declarativo (del discurso que afirma o niega) ste pasa a constituirse en
el objeto de la lgica como "logos apophantiks" ("discurso declarativo").
La " lgica simblica " es un instrumento que sirve de ayuda al ejercicio inteligente del sentido comn y a la
prctica de la investigacin cientfica y la reflexin filosfica. Forma parte del bagaje cultural del hombre, y
en sus aplicaciones comprende disciplinas tan diversas del saber cmo la matemtica, la lingstica, la
informtica, las ciencias naturales y sociales, la jurisprudencia y la filosofa.
Se comenzar definiendo la unidad ms bsica de la lgica: la proposicin.

Proposicin

Llamaremos de esta forma a cualquier afirmacin que sea verdadera o falsa, pero no ambas cosas a la vez. Es decir
que oraciones imperativas, preguntas, exclamaciones y aquellas afirmaciones que son falsas para algunas personas y
verdaderas para otras (subjetivas) no se consideran proposiciones.

Las siguientes afirmaciones son proposiciones:

a) Gabriel Garca Mrquez escribi Cien aos de soledad. Es una proposicin verdadera
b) 6 es un nmero primo. Es una proposicin falsa.
c) 3+2=6 Es una proposicin falsa.
d) -1 es un nmero entero, y 2 tambin lo es. Es una proposicin verdadera.

Las proposiciones se denotan con letras minsculas: p, q, r ...

Por ejemplo, p: tres ms cuatro es igual a siete.

Se utiliza para definir que p es la proposicin tres ms cuatro es igual a siete.

Este tipo de proposiciones se llaman simples, ya que no pueden descomponerse en otras.

Ejercicio: determine cules de los siguientes enunciados son proposiciones y cuales no lo son.

a) x+y>5 No es proposicin, porque no son conocidos los valores especficos de x e y

b) Te vas? No es proposicin porque es una pregunta.
c) Compra cinco azules y cuatro rojas. No es proposicin porque representa una orden.
d) 1+1= 2 Si es proposicin porque es una afirmacin.

P g i n a 1 | 14
Valor de verdad de una proposicin

Llamaremos valor de verdad de una proposicin a su veracidad o falsedad. El valor de verdad de una proposicin
verdadera es verdad y el de una proposicin falsa es falso.

Ejercicio. Cules de las siguientes afirmaciones son proposiciones? Determinar el valor de verdad de aquellas que lo
sean.

p: Existe Premio Nobel de informtica.

R. S es proposicin, valor de verdad: Falso.

q: La tierra es el nico planeta del Universo que tiene vida.

R. No es proposicin, depende de la subjetividad de los individuos otorgarle falsedad o veracidad, usualmente
tambin se relaciona con la religin la cual no es objetiva.

r: Teclee Escape para salir de la aplicacin.

R. Es una orden y no una afirmacin. No es proposicin.

s: Cinco ms siete es doce.

R. Si es proposicin con valor de verdad: Verdadero.

Proposicin Compuesta
Si las proposiciones simples p1,p2,...,pn se combinan para formar la proposicin P, diremos que P es una proposicin
compuesta de p1,p2,...,pn.

La Matemtica Discreta es mi asignatura preferida y Mozart fue un gran compositor es una proposicin compuesta
por las proposiciones La Matemtica Discreta es mi asignatura preferida y Mozart fue un gran compositor.

l es inteligenteo estudia todos los das es una proposicin compuesta por dos proposiciones: l es inteligente
y l estudia todos los das.

La propiedad fundamental de una proposicin compuesta es que su valor de verdad est completamente determinado
por los valores de verdad de las proposiciones que la componen junto con la forma en que estn conectadas a lo que
denominamos: conectivos lgicos. En el primer ejemplo podemos ver que la unin de las dos proposiciones simples
es una y, en el segundo ejemplo la unin de las proposiciones se realiza mediante un o.

Conectivos lgicos
Son utilizados para conectar proposiciones simples entre s y construir proposiciones compuestas. El valor de verdad
de la proposicin compuesta estar determinado por:

Los valores de verdad de cada proposicin simple

Los conectivos lgicos utilizados para formar la proposicin compuesta.

Para poder establecer los valores de verdad de la proposicin compuesta haremos uso de tablas de verdad en la cual
plasmaremos las diferentes combinaciones posibles que pueden generarse con los valores de verdad de las
proposiciones simples.

P g i n a 2 | 14
Los diferentes conectivos lgicos que estudiaremos son:
1. Negacin
2. Conjuncin (y lgico)
3. Disyuncin (o incluyente)
4. Disyuncin exclusiva (o excluyente)
5. Implicacin condicional
6. Inplicacin bicondicional

1. Negacin
Dada una proposicin cualquiera, p, llamaremos negacin de p a la proposicin no p y la notaremos ~p.

Ser verdadera cuando p sea falsa y falsa cuando p sea verdadera.

La tabla de verdad de esta nueva proposicin, ~p, es:

p ~p

V F

F V

De esta forma, el valor de verdad de la negacin de cualquier proposicin es siempre opuesto al valor de verdad de la
afirmacin original.

Por ejemplo:

p: el 2 es un nmero primo. Valor de verdad: verdadero

Su negacin sera ~p: el dos no es un nmero primo. Valor de verdad falso.

r: 0 es un nmero natural. Valor de verdad: falso

Su negacin sera ~r: 0 no es un nmero natural. Valor de verdad: verdadero.

2. Conjuncin (y lgico)
Dadas dos proposiciones cualesquiera p y q, llamaremos conjuncin de ambas a la proposicin compuesta p y q y
la notaremos p q. Esta proposicin ser verdadera nicamente en el caso de que ambas proposiciones p , q sean
verdaderas.

Obsrvese que de la definicin dada se sigue directamente que si p y q son, ambas, verdaderas entonces p q es
verdadera y que si al menos una de las dos es falsa, entonces p q es falsa. Por lo tanto su tabla de verdad vendr dada
por

p q
V V V
V F F
F V F
F F F
Obsrvese tambin que el razonamiento puede hacerse a la inversa, es decir si p q es verdad, entonces p y q son,
ambas, verdad y que si p q es falsa, entonces una de las dos debe ser falsa.
P g i n a 3 | 14
 3. Disyuncin (o incluyente)
Dadas dos proposiciones cualesquiera p, q, llamaremos disyuncin de ambas a la proposicin compuesta p o q y la
denotaremos p q. Esta proposicin ser verdadera si al menos una de las dos p, q sea verdadera.

De acuerdo con la definicin dada se sigue que si una de las dos, p o q, es verdad entonces p q es verdad y que p q
ser falsa, nicamente si ambas lo son. Su tabla de verdad ser, por tanto,

p q
V V V
V F V
F V V
F F F

Al igual que en la conjuncin, podemos razonar en sentido inverso. En efecto, si pq es verdad, entonces una de las
dos, al menos, ha de ser verdad y si p q es falsa, entonces ambas deben ser falsas.

La palabra o se usa en el lenguaje ordinario de dos formas distintas. A veces se utiliza en el sentido de p o q, o
ambos, es decir, al menos una de las dos alternativas ocurre y, a veces es usada en el sentido de p o q, pero no ambos
es decir, ocurre exactamente una de las dos alternativas.

Por ejemplo,

Iremos a cenar o al cine, puede ser referida a realizar una de ellas o ambas, ah se pone en practica el o inclusivo.

El ir a Madrid o a Bilbao usa o con el sentido que solo puede realizarse una de ambas cosas pero no las dos a la
vez. A este tipo de disyuncin la llamaremos disyuncin exclusiva.

4. Disyuncin Exclusiva (o excluyente)

Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin exclusiva de ambas a la proposicin compuesta
p o q pero no ambos y la denotaremos p q. Esta proposicin ser verdadera si una u otra, pero no ambas son
verdaderas.

Segn esta definicin una disyuncin exclusiva de dos proposiciones p y q ser verdadera cuando tengan distintos
valores de verdad y falsa cuando sus valores de verdad sean iguales. Su tabla de verdad es, por tanto,

p q
V V F
V F V
F V V
F F F
Haciendo el razonamiento contrario si p q es verdad, nicamente podemos asegurar que una de las dos es verdad y
si pq es falsa, slo podemos deducir que ambas tienen el mismo valor de verdad.

5. Implicacin Condicional
Dadas dos proposiciones p, q, se le llama proposicin condicional a la proposicin compuesta si p, entonces q y
se denota por p q.
A la proposicin p se le llama hiptesis, antecedente, premisa o condicin suficiente y a la q tesis, consecuente,
conclusin o condicin necesaria del condicional.

P g i n a 4 | 14
Una proposicin condicional es falsa nicamente cuando siendo verdad la hiptesis, la conclusin es falsa (no se debe
deducir una conclusin falsa de una hiptesis verdadera).

De acuerdo con esta definicin su tabla de verdad es:

p q
V V V
V F F
F V V
F F V

Obsrvese que si p q es verdad no puede deducirse prcticamente nada sobre los valores de verdad de p y q ya que
pueden ser ambas verdad, ambas falsas o la primera falsa y la segunda verdad. Ahora bien, si el condicional p q es
falso, entonces podemos asegurar que p es verdadera y q falsa.

Otras formulaciones equivalentes de la proposicin condicional p q son:

p slo si q.
q si p.
p es una condicin suficiente para q.
q es una condicin necesaria para p.
q se sigue de p.
q a condicin de p.
q es una consecuencia lgica de p.
q cuando p.
Analizaremos con detalle cada uno de los cuatro casos que se presentan en la tabla de verdad.

a) Antecedente y consecuente verdaderos.

p q
V V V

En este caso parece evidente que el condicional si p, entonces q se evale como verdadero. Por ejemplo,
Si como mucho, entonces engordo

Es una sentencia que se evala como verdadera en el caso de que tanto el antecedente como el consecuente sean
verdaderos.
Ahora bien, obsrvese que ha de evaluarse tambin como verdadero un condicional en el que no exista una relacin de
causa entre el antecedente y el consecuente. Por ejemplo, el condicional
Si Garca Lorca fue un poeta, entonces Gauss fue un matemtico. Ha de evaluarse como verdadero y no existe
relacin causal entre el antecedente y el consecuente.

b) Antecedente verdadero y consecuente falso.

p q
V F F
En este caso parece natural decir que el condicional se evala como falso. Por ejemplo, supongamos que un poltico
aspirante a Presidente del Gobierno promete:

Si gano las elecciones, entonces bajar los impuestos

P g i n a 5 | 14
Este condicional ser falso slo si ganando las elecciones, el poltico no baja los impuestos. A nadie se le ocurrira
reprochar al poltico que no ha bajado los impuestos si no ha ganado las elecciones.

c) Antecedente falso y consecuente verdadero.

p q
F V V

Parece ilgico preguntarse por la veracidad o falsedad de un condicional cuando la condicin expresada por el
antecedente no se cumple. Sin embargo, esta respuesta del sentido comn no nos sirve, estamos en lgica binaria y
todo ha de evaluarse bien como verdadero, bien como falso, es decir, si una sentencia no es verdadera, entonces es
falsa y viceversa.

Es decir, p no es la nica condicin posible, por lo cual puede darse el caso de que q sea verdadero siendo p falso.
O sea, la falsedad del antecedente no hace falso al condicional y si no lo hace falso, entonces lo hace verdadero.
Por ejemplo,

Si estudio mucho, entonces me canso

Qu ocurrira si no estudio y, sin embargo, me cansara? Pues que la sentencia no sera invlida, ya que no se dice
que no pueda haber otros motivos que me puedan producir cansancio, por ejemplo no haber dormido bien la noche
anterior.

d) Antecedente y consecuente falsos.

p q
F F V

Obsrvese, anecdticamente, que es muy frecuente el uso de este condicional en el lenguaje coloquial, cuando se
quiere sealar que, ante un disparate (Dicho o hecho que no tiene razn ni sentido), cualquier otro est justificado.

Si t eres premio Nobel, entonces yo soy el dueo de Microsoft

Si las vacas vuelan, entonces

6. Proposicin bicondicional

Dadas dos proposiciones p y q, a la proposicin compuesta p si y slo si q se le llama proposicin bicondicional

y se denota por

La interpretacin del enunciado es: p slo si q y p si q o tambin p s y solo si q o lo que es igual:

Si p, entonces q y si q, entonces p

Por tanto, su tabla de verdad es:

p q
V V F
V F V
F V V
F F F

P g i n a 6 | 14
Luego la proposicin bicondicional p q es verdadera nicamente en caso de que ambas proposiciones, p y q,
tengan los mismos valores de verdad.

Una formulacin equivalente de la proposicin bicondicional en estos trminos, sera:

Una condicin necesaria y suficiente para p es q

Tautologas, Contradicciones y Contingencia.

Sea P una proposicin compuesta de las proposiciones simples p1,p2,...,pn

P es una Tautologa si es verdadera para todos los valores de verdad que se asignen a p1,p2,...,pn.

P es una Contradiccin si es falsa para todos los valores de verdad que se asignen a p1,p2,...,pn.

P es una Contingencia si no es Tautologa ni Contradiccin

Una proposicin P que no es tautologa ni contradiccin se llama, usualmente, Contingencia.

Ejemplo. Probar que la proposicin compuesta p ~p es una tautologa y la p ~p es una contradiccin.

Solucin: construimos la tabla de verdad de las proposiciones compuestas indicadas

p ~p ~
V F V
F V V
p ~p . Es una tautologa porque todos sus valores de verdad son verdaderos

p ~p ~
V F F
F V F
p ~p . Es una contradiccin porque todos sus valores de verdad son falsos

Ejemplos. Establecer si las siguientes proposiciones son tautologas, contingencias o contradicciones.

a) (p q) (q p)
b) [p (q r)] [(p q) (p r)]
c) (p q) q
d) p (p q)

P g i n a 7 | 14
Variantes del condicional

La recproca, contra directa o contra recproca y la inversa

Proposicin Recproca
Dada la proposicin condicional p q, su reciproca es la proposicin q p.

Por ejemplo, la reciproca de Si la salida no va a la pantalla, entonces los resultados se dirigen a la impresora ser Si
los resultados se dirigen a la impresora, entonces la salida no va a la pantalla.

Proposicin Contrarrecproca, contrapositiva o contradirecta.

Dada la proposicin condicional p q, su contra recproca es la proposicin, tambin condicional,

q p.

Por ejemplo, la contrarreproca de la proposicin Si Mara estudia mucho, entonces es buena estudiante es Si Mara
no es buena estudiante, entonces no estudia mucho.

Proposicin Inversa
Dada la proposicin condicional p q, su contra recproca es la proposicin, tambin condicional,

p q.

Ejemplo

Escribir la recproca y la contra recproca de cada una de las afirmaciones siguientes:

Si llueve, no voy.
Me quedar, slo si t te vas.
Si tienes un dolar, entonces puedes comprar un helado.
No puedo completar la respuesta si no me ayudas.

Solucin

Escribiremos la recproca y la contra recproca.

Si llueve, no voy.

Reciproca.

Si no voy, entonces llueve.

Contrarrecproca.

Si voy, entonces no llueve.

P g i n a 8 | 14
Me quedar slo si te vas.

Reciproca.

Si te vas, entonces me quedar.

Contrarrecproca.

Si no te vas, entonces no me quedar.

No puedo completar la respuesta si no me ayudas.

Reciproca.

Si no puedo completar la respuesta, entonces no me ayudas.

Contrarrecproca.

Si puedo completar la respuesta, entonces me ayudas.

Equivalencia Lgica
La proposicin P es lgicamente equivalente a la proposicin Q si, y slo si la proposicin bicondicional
P Q es una tautologa.

Demostracin

Veamos que P Q slo si P Q es una tautologa.

En efecto, si P Q, entonces tienen los mismos valores de verdad, es decir P y Q son, ambos, verdaderos o falsos,
de aqu que el valor de verdad de P Q sea siempre verdadero, es decir es una tautologa.

Recprocamente, probemos que P Q si P Q es una tautologa.

Efectivamente, si la proposicin bicondicional P Q es siempre verdadera, entonces de acuerdo con su definicin, P

y Q son, ambas, falsas o verdaderas, es decir tienen los mismos valores de verdad y, por tanto, P es lgicamente
equivalente a Q.

p q p q p q (p q) p q (p q) ( p q)
V V V F F F F V
V F F F V V V V
F V F V F V V V
F F F V V V V V

P g i n a 9 | 14
Equivalencias Lgicas ms Comunes
Al igual que en la implicacin lgica, veamos una tabla con las equivalencias lgicas ms tiles junto con los nombres
que reciben.

Idempotencia de la conjuncin y la disyuncin.

(P P) P

(P P) P

Conmutatividad de la conjuncin y la disyuncin.

(P Q) (Q P)

(P Q) (Q P)

Asociatividad de la conjuncin y la disyuncin. .

[(P Q) R] [P (Q R)]

[(P Q) R] [P (Q R)]

Distributividad de respecto de y de respecto de .

[P (Q R)] [(P Q) (P R)]

[P (Q R)] [(P Q) (P R)]

Leyes de De Morgan.

(P Q) (P Q)

(P Q) (P Q)

Leyes de dominacin.

P T T P C C

Leyes de identidad.

P T P P C P

Doble negacin.

P P

Implicacin.

(P Q) (P Q)

Exportacin.

[P (Q R)] [(P Q) R]

Contrarrecproca.

(P Q) (Q P)

P g i n a 10 | 14
Mtodos de demostracin
Con frecuencia los teoremas son de la forma si p entonces q y es necesario demostrar la veracidad de dicha
proposicin, para ello veremos algunos mtodos que nos ayudan a demostrarlo.
Mtodo de demostracin trivial
Se construye una demostracin de este tipo, probando que el valor verdadero de la conclusin es verdad sin
importar el valor de verdad de la hiptesis.

Si es posible establecer la veracidad de la conclusin Q, entonces el condicional P Q ser una tautologa

independientemente del valor de verdad que tenga la hiptesis, luego P = Q, la demostracin es correcta y el teorema
cierto.

La demostracin trivial tiene una aplicacin limitada y an as es bastante importante. Se utiliza frecuentemente para
establecer casos especiales de afirmaciones.

Mtodo de demostracin directa

Una demostracin de este tipo muestra que la verdad de la conclusin Q, se sigue lgicamente de la verdad de la
hiptesis P. La demostracin empieza asumiendo que P es verdad para despus, utilizando cualquier informacin
disponible, as como teoremas probados con anterioridad, probar que Q es verdad.

Ejemplo Demostrar que el cuadrado de un nmero entero par tambin es par.

Demostracin

El teorema a demostrar escrito en forma de condicional, sera

Para cualquier entero n, si n es par, entonces n2 es par

que se corresponde con el esquema

Donde p(n) : n es par.

y el universo del discurso son todos los nmeros enteros.

Pues bien, sea n un nmero entero cualquiera.

Si n es par, entonces existir un nmero entero k tal que n = 2k

de aqu que elevando al cuadrado, obtengamos n2 = 4k2 = 2(2k2)

y como el cuadrado de un nmero entero tambin es entero, 2k2 ser entero (lo llamaremos m). As pues, hemos

encontrado un entero m tal que n2 = 2m.

Por lo tanto, concluimos que n2 es par.

P g i n a 11 | 14
Mtodo de demostracin indirecta o por la contrarecproca.
La demostracin de un teorema se dice que es por el mtodo indirecto (contrarrecproca) cuando suponiendo que
la conclusin, Q, es falsa y utilizando la hiptesis P y otros teoremas y equivalencias lgicas establecidas
previamente, se concluye que P es falso.

Est basada en la equivalencia lgica entre una proposicin condicional y su contrarrecproca,

P Q Q P

Por lo tanto, si probamos que Q P es una tautologa, habremos probado que P Q tambin lo es, luego P
Q.

Ejemplo. Demostrar, para cada entero n, que si 5n + 3 es par, entonces n es impar.

Demostracin

Utilizaremos el mtodo de demostracin por la contrarrecproca.

Si p(n) : n es par ; q(n) : n es impar

el esquema del teorema propuesto ser

n[p(5n + 3) q(n)]
en el universo de los nmeros enteros. El esquema de la contrarrecproca seria

n[q(n) p(5n + 3)]

es decir,

Para cada entero n, si n no e s impar, entonces 5n + 3 no es par

Pues bien, sea n cualquier nmero entero.

Si n no es impar,

2 + 1

para cualquier entero k y, por lo tanto,

5 + 3 5(2 + 1) + 3,

5 + 3 2(5 + 4),

y como si k es entero, 5k + 4 tambin lo es (lo llamaremos m), tendremos que

5 + 3 2,

P g i n a 12 | 14
Consecuentemente, 5n + 3 no es par y la demostracin concluye.

Veamos la demostracin a travs de implicaciones. Sea n un nmero entero cualquiera. Entonces,

n no es impar 2 + 1,

5 + 3 5(2 + 1) + 3
{ 5 + 3 10 + 8
5 + 3 2(5 + 4)

5 + 3 2,

5 + 3

Mtodo de demostracin por contradiccin o al absurdo.

La demostracin de un teorema diremos que es por contradiccin cuando suponiendo que la conclusin, Q, es
falsa y utilizando la hiptesis P, y otros teoremas y equivalencias lgicas establecidas previamente, se llega a
una contradiccin.

Est basada en la equivalencia lgica conocida como reduccin al absurdo, es por ello que este mtodo de
demostracin es conocido, tambin, como demostracin por reduccin al absurdo.
P Q (P Q) C
donde C es una contradiccin. Por lo tanto, si probamos que (P Q) C es una tautologa tendremos que P
Q tambin lo es y, consecuentemente, P Q.

Ejemplo. Demostrar que si el cuadrado de un nmero entero es impar, entonces el nmero es impar.
Demostracin
El teorema a demostrar es

Para cada entero n, si n2 es impar, entonces n es impar

Si p(n) : n es impar

entonces el esquema del teorema en notacin simblica ser

en el universo de los nmeros enteros.

Lo demostraremos por contradiccin o reduccin al absurdo. El esquema sera

P g i n a 13 | 14
donde C es una contradiccin.

Pues bien, sea n cualquier nmero entero.

Supongamos que n2 es impar y que, sin embargo, n no es impar. Entonces, tendremos que

n2 es impar y n es par

de aqu que por la definicin de numero impar (Nota 3.3) y la de par dada en el ejemplo 3.3.9, tengamos que
existan dos numeros enteros k y l tales que

n2 = 2k + 1 y n = 2l

luego,
n2 = 2k + 1 y n2 = 4l2

por lo tanto,
2k + 1 = 4l2

de donde se sigue que

1 = 4l2 2k = 2(2l2 k)

y como si l y k son enteros, 2l2 k tambin lo es (lo llamaremos m), tendremos que hemos encontrado un
nmero entero m tal que
1 = 2m
es decir, el 1 es par, lo cual, es una contradiccin.

Lo que nos ha llevado a la contradiccin es la suposicin de que n no era impar, por lo tanto sta es falsa siendo
cierta la contraria, es decir, n es impar.

P g i n a 14 | 14