UNIVERSIDAD AUSTRAL DE CHILE

FACULTAD DE CIENCIAS DE LA INGENIERIA

CENTRO DE DOCENCIA DE CIENCIAS BASICAS

PARA INGENIERIA.

GUIA DE APRENDIZAJE N 1: L
ogica Proposicional

ALGEBRA
PARA INGENIERIA
Resultados de Aprendizaje:
1. Argumentar la veracidad o falsedad de un enunciado en un contexto dado, utilizando
conceptos l
ogicos.
Contenidos:
1. L
ogica Proposicional.

1.

Introducci
on

Toda estructura matem

atica supone la necesidad de razonar en forma valida y el uso de un lenguaje apropiado. Por esto es necesario una gran simplificacion y el uso de un simbolismo adecuado e inequvoco que nos
permita razonar v
alidamente mediante reglas dadas con claridad. La logica simbolica y la teora de conjuntos
nos permiten adquirir este simbolismo y el esquema de un razonamiento deductivo.

2.

Proposiciones y conectivos l
ogicos
Definici
on 1 Una proposici
on es una frase que es verdadera o falsa, no existiendo la posibilidad de obtener ambas decisiones conjuntamente.

En general, las proposiciones las simbolizamos utilizando letras min

usculas como p, q, r, etc.
No son proposiciones:

Ejemplo 1 Son proposiciones:

p : Todos los hombres son inmortales.

Que edad tienes?

q : El n
umero 1331 es divisible por 11.
Te gusta la matem
atica?

s : 3 + 2 < 10 3.
t : Luis estudia, adem
as de trabajar.

Viva Chile!

z : La luna no es un s
atelite de la tierra.

Ser o no ser.

Definici
on 2 Los conectivos l
ogicos son usados para obtener nuevas proposiciones a partir de proposiciones. A las proposiciones que no incluyen conectivos l
ogicos las llamamos
proposiciones simples o at
omicas y a las que s tienen conectivos l
ogicos las llamamos
proposiciones compuestas o moleculares.
A continuaci
on definimos los conectivos l
ogicos, indicando como operan seg
un las distintas posibilidades de
combinaciones de valores de verdad de las proposiciones p y q, lo cual se presenta en una tabla a la cual
denominaremos tabla de verdad.
Definici
on 3 La negaci
on de una proposici
on p es la proposici
on no p, que denotaremos
como p, p, p. La proposici
on p es verdadera si la proposici
on p es falsa y es falsa si p es
verdadera. Esto se resume en la siguiente tabla de verdad:
p
V
F

p
F
V

Ejemplo 2 La negaci
on de la proposici
on p: dos es un n
umero impar es p: dos no es un n
umero impar.
Definici
on 4 Se llama disyunci
on incluyente a la proposici
on p o q, denotada por p q.
La proposici
on p q es verdadera si al menos una de las proposiciones que la componen es
verdadera y su tabla de verdad es la siguiente:
p
V
V
F
F

pq
V
V
V
F

q
V
F
V
F

Ejemplo 3 La proposici
on 3 + 2 = 5 o 3 = 32 es una disyunci
on inclusiva, compuesta por dos proposiciones:
p : 3 + 2 = 5,
q : 3 = 32 ,

que es una proposici

on verdadera.
que es una proposici
on falsa.

Por lo tanto, el valor de verdad de la proposici

on p q es verdadero.
Definici
on 5 Se llama disyunci
on excluyente a la proposici
on o p o q, denotada por
pq. La proposici
on pq es verdadera si solo una de las proposiciones es verdadera. Esto se
esquematiza con la siguiente tabla de verdad:
p
V
V
F
F

q
V
F
V
F

pq
F
V
V
F

Ejemplo 4 La proposici
on o 3 + 2 = 5 o 1 = 12 es una disyunci
on exclusiva, compuesta por dos proposiciones:
p : 3 + 2 = 5,
q : 1 = 12 ,

que es una proposici

on verdadera
que es una proposici
on verdadera.

Por lo tanto, el valor de verdad de la proposici

on pq es falso.
Ejemplo 5 Si consideramos las proposiciones:
p:
q:

Esta tarde ire al cine.

Esta tarde me quedare en casa estudiando.

Tenemos que
pq: O esta tarde ire al cine o me quedare en casa estudiando.
Cu
al es el valor de verdad de esta disyunci
on exclusiva?
Definici
on 6 Se llama conjunci
on a la proposici
on p y q, denotada por p q. La proposici
on p q es verdadera solo si ambas proposiciones son verdaderas. Esto se esquematiza
con la siguiente tabla de verdad:
p
V
V
F
F

pq
V
F
F
F

q
V
F
V
F

Ejemplo 6 Si consideramos las proposiciones:

p:
q:

El tri
angulo equil
atero tiene los tres lados iguales.
El tri
angulo equil
atero tiene los tres
angulos iguales.

La conjunci
on de ambas proposiciones es:
p q: El tri
angulo equil
atero tiene sus tres lados y sus tres
angulos iguales.
Esta conjunci
on es verdadera ya que las proposiciones que las conforman son verdaderas.
Definici
on 7 Se llama implicancia a la proposici
on si p, entonces q, denotada por
p q. La proposici
on p q es falsa u
nicamente cuando p es verdadera y q es falsa. Esto
se esquematiza con la siguiente tabla de verdad:
p
V
V
F
F

pq
V
F
V
V

q
V
F
V
F

En la implicancia p q, p se llama antecedente y q se llama consecuente.

Ejemplo 7 Dadas las proposiciones:
p:
q:
r:

El sistema solar est

a formado solo por astros.
El Sol es un astro.
La Tierra es un astro.

Algunas de las proposiciones condicionales que podemos formar son las siguientes:
p q:
p r:
q p:
r q:

Si el sistema solar est

a formado solo por astros, entonces el Sol es un astro.
Si el sistema solar est
a formado solo por astros, entonces la Tierra es un astro.
El Sol es un astro es una condici
on suficiente para que el sistema solar este formado solo por astros.
Que el Sol sea un astro es una condici
on necesaria para que la Tierra sea un astro.

Observaci
on: De la definici
on de proposicion condicional, se deduce que para probar que una proposici
on
condicional es Falsa hay que mostrar alg
un ejemplo en que el antecedente sea verdadero y el consecuente,
falso.
Ejemplo 8 La proposici
on
Si ABCD es un cuadril
atero, entonces todos sus
angulos interiores son rectos,
es una proposici
on falsa ya que, por ejemplo, un trapecio escaleno es un cuadril
atero pero no todos sus

angulos interiores son necesariamente rectos.

Observaci
on: Notar que una proposici
on condicional no necesariamente incluye la palabra entonces y una
frase que contiene la palabra entonces no necesariamente es una proposicion condicional.
Ejemplo 9 Consideremos la siguiente proposici
on condicional:
Si vivo en Valdivia, vivo en la regi
on de Los Ros.
Esta proposici
on es verdadera, su antecedente p y su consecuente q son
p:
q:

Vivo en Valdivia.
Vivo en la regi
on de Los Ros .

Observamos que una condici

on suficiente para vivir en la regi
on de Los Ros es vivir en Valdivia. Sin
embargo, vivir en la regi
on de Los Ros es necesario pero no suficiente para vivir en Valdivia, puesto que
podra vivir en otras localidades de la regi
on tal como Niebla.

Definici
on 8 Se llama bicondicional a la proposici
on p si y solo si q, que denotaremos
p q. La proposici
on p q es verdadera si p y q tienen el mismo valor de verdad. Esto se
esquematiza con la siguiente tabla de verdad:
p
V
V
F
F

pq
V
F
F
V

q
V
F
V
F

Ejemplo 10 Si consideramos las proposiciones,

p:
q:
r:

El 4ABC es rect
angulo.
El cuadrado de la longitud del lado m
as largo en el 4ABC es igual a la suma de los cuadrados de
las longitudes de sus otros dos lados.
La suma de las longitudes de dos lados del 4ABC es mayor o igual a la longitud del lado restante.

Podemos dar varias lecturas al bicondicional:

p q: El cuadrado de la longitud del lado m
as largo en el 4ABC es igual a la suma de los cuadrados de
las longitudes de sus otros dos lados es necesario y suficiente para que 4ABC sea rect
angulo.
r q: La suma de las longitudes de dos lados del 4ABC es mayor o igual a la longitud del lado restante
siempre y cuando este sea rect
angulo.
El teorema de Pit
agoras garantiza que las primeras dos bicondicionales son verdaderas, mientras que la
tercera no necesariamente lo es ya que todos los tri
angulos hacen que la proposici
on r sea verdadera mientras
que la proposici
on q puede ser verdadera o falsa.
Definici
on 9 Una proposici
on compuesta se llama:
a) Tautologa si es siempre verdadera cualesquiera sean los valores de verdad de las
proposiciones que la componen.
b) Contradicci
on si es siempre falsa, independientemente de los valores de verdad de
las proposiciones que la componen.
c) Contingencia si no es tautologa ni contradicci
on.
Ejemplo 11 La proposici
on p p es una tautologa
p
V
F

pp
V
V

p
F
V

Ejemplo 12 La proposici
on p p es una contradicci
on
p
V
F

pp
F
F

p
F
V

Ejemplo 13 La proposici
on p q es una contingencia
p
V
V
F
F

q
V
F
V
F

p
F
F
V
V

p q
V
F
V
V

Definici
on 10 Dos proposiciones se denominan l
ogicamente equivalentes si y solo si poseen
la misma tabla de verdad, o bien, si su bicondicional genera una tautologa, esto se denota
por p q o bien p q.
Ejemplo 14 (p q) ((p q) (q p))
p
V
V
F
F

3.

q
V
F
V
F

pq
V
F
F
V

p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

qp
V
V
F
V

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

Propiedades

A continuaci
on listaremos una lista de propiedades, es decir, proposiciones que son equivalentes entre s:
Sean p, q, y r proposiciones simples:
on)
a) p p (Doble Negaci
b)

c)

d)
e)
f)

g)

h)

i)

pq

qp
pq

qp
Propiedades Conmutativas

(p q) (q p)

(p q) r p (q r)
(p q) r p (q r)
Propiedades Asociativas

(p q) r p (q r)

p (q r) (p q) (p r)
Propiedades Distributivas
p (q r) (p q) (p r)

(p q) p q
Leyes de Morgan
(p q) p q

pp p
Propiedades de Idempotencia
pp p

p (p q) p
Propiedades de Absorcion
p (p q) p

pV V

pV p
Leyes Complementarias
pF p

pF F

p q p q
Trasformaci
on de Condicional
(p q) p q

Ejemplo 15 Para escribir correctamente la negaci

on de la proposici
on
Si dos rectas no son paralelas, entonces se intersectan.
Identificamos que es una proposici
on condicional de la forma p q, donde
p:
q:

Dos rectas no son paralelas.

Dos rectas se intersectan.

As, utilizando la propiedad (p q) p q, tenemos que

p q : Dos rectas no son paralelas y no se intersectan
es la negaci
on de la proposici
on dada.

4.

Condicionales derivadas
Definici
on 11 Dado el condicional p q, se definen:
Su Recproca: q p
Su Inversa: p q
Su Contrarrecproca o Contraposici
on: q p

Ejemplo 16 Consideremos la siguiente proposici

on condicional:
Si vivo en Valdivia, vivo en la regi
on de Los Ros.
Cuyos antecedente p y consecuente q son, respectivamente:
p:
q:

Vivo en Valdivia.
Vivo en la regi
on de Los Ros .

Su condicionales derivadas son:

Recproca q p:Si vivo en la regi
on de Los Ros, entonces vivo en Valdivia.
Inversa p q: Si no vivo en valdivia, entonces no vivo en la regi
on de Los Ros.
Contrarrecproca o Contraposici
on q p: Si no vivo en la regi
on de Los Ros, entonces no vivo
en Valdivia.
Al analizar las condicionales derivadas de la proposici
on condicional p q, la cual es verdadera, tenemos
que tanto su recproca como su inversa son falsas; mientras que la contrarrecproca es tambien verdadera.
Cabe entonces preguntarse Esto sucede en todos los casos?
Ejemplo 17 Analicemos las condicionales derivadas de la proposici
on p q, donde
p:
q:

Dos rectas son paralelas.

Dos rectas nunca se intersectan.

Tenemos que
p q:
q p:
p q:
q p:

Si
Si
Si
Si

dos
dos
dos
dos

rectas
rectas
rectas
rectas

son paralelas, entonces nunca se intersectan,

nunca se intersectan, entonces son paralelas,
no son paralelas, entonces se intersectan,
se intersectan, entonces no son paralelas,

son todas proposiciones verdaderas.

Observando los dos u
ltimos ejemplos, se puede deducir que la recproca y la inversa de una proposici
on
condicional no necesariamente poseen el mismo valor de verdad que esta. Por otra parte, podemos sospechar
que la contrarrecproca posee el mismo valor de verdad que la proposicion condicional que la genera.
En efecto, la siguiente tabla de verdad resume los distintos valores de verdad de una proposicion condicional
y sus condicionales derivadas,
p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

qp
V
V
F
V

p q
V
V
F
V

q p
V
F
V
V

a partir de la cual, se deduce que p q q p y que q p p q.

5.

Razonamiento indirecto

El razonamiento indirecto est

a basado en la equivalencia logica
p q q p.
Ejemplo 18 Para determinar el valor de verdad de la proposici
on
Si n2 es par, entonces n es par.
Identificamos una proposici
on condicional p q, donde
p:
q:

n2 es par
n es par

y analizamos su contrarrecproca:
q p : Si n es impar, entonces n2 es impar
y seguimos el siguiente razonamiento:
Si n es impar, entonces podemos escribir n = 2k + 1, donde n es un n
umero entero no negativo.
n2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k) + 1, que resulta ser un n
umero impar.
Por lo tanto, hemos mostrado que la proposici
on q p es verdadera, por lo tanto p q tambien lo es.

6.

Reducci
on al absurdo

Para mostrar que una proposici

on p es verdadera, la demostracion por reduccion al absurdo consiste en en
comenzar asumiendo que la proposici
on p es falsa, es decir, que p es verdadera. Si esta suposicion produce
una contradicci
on l
ogica, se deduce que p no puede ser falsa por lo que ha de ser verdadera.
Ejemplo 19 Consideremos la proposici
on
p : No existe un n
umero racional mnimo mayor que cero.
La negaci
on de esta proposici
on es
p : Existe un n
umero racional mnimo mayor que cero.
Supongamos que p es verdadera.
Llamemos r al supuesto n
umero mnimo racional mayor que cero.
x = 2r tambien es un n
umero racional mayor que cero, adem
as x < r, lo que contradice la minimalidad
de r.
Por lo tanto p resulta ser falsa y p, verdadera.

7.

Ejercicios

1. Traduzca las siguientes proposiciones usando notacion logica, usando p, q, r y conectivos logicos.
a) El sol est
a brillando si y solo si no esta lloviendo.
b) Esta lloviendo y el sol est
a brillando.
c) Si est
a lloviendo, entonces hay nubes en el cielo.
d ) Si la tribu es n
omada, entonces no construira chozas permanentes ni cultivara la tierra.
e) Si el testigo no dice la verdad, entonces Juan es inocente o culpable.
f ) Si no es el caso que Marcos sea un comerciante y prospero industrial, entonces es ingeniero o no
es comerciante.
g) Si Juan aprob
o los ex
amenes de admision ingreso a la universidad.
2. Determine el valor de verdad de p, q y r si la siguiente proposicion compuesta es verdadera
(p r) (r) (q r)
3. Dada la proposici
on compuesta (p q) (q (p r)). Determine su valor de verdad si
p
q
r

: 52=1
: |x|
= x, x R
25 = 5
:

4. Determine cu
ales son oraciones proposicionales condicionales
a) Entonces vendr
a el fin de los tiempos.
b) Un movimiento en falso y se van de este lugar.
c) Llover
a aunque no salga el sol.
d ) Dan el examen aun cuando tengan bajas notas.
5. En cada uno de las siguientes proposiciones condicionales describa el consecuente y el antecedente.
a) Si tengo tiempo, te llamo.
b) Te presto el dinero con tal de que me lo devuelvas antes de fin de mes.
c) Te prestare el auto siempre y cuando no lo necesite.
d ) Haz lo que quieras mientras no molestes a tu hermano.
e) Te llevare al cine a condici
on de que termines tus deberes antes.
f ) Un movimiento en falso y se van de este lugar.
g) 2 + 2 6= 4 entonces no es verdad que 3 + 3 = 7 si y solo si 1 + 1 = 2.
6. Determine el valor de verdad de:
a) 2 + 2 6= 4 entonces no es verdad que 3 + 3 = 7 si y solo si 1 + 1 = 2
b) No es verdad que 2 + 7 = 9 si y solo si 2 + 1 = 5, implica que 5 + 5 = 8
7. Si p es verdadero y q es falso, determine el valor de verdad de:
(p q) [(p q) (p q)]
8. Si p (q r) es falso, determine el valor de verdad de
(p q) [(r q) (r p)]
9. En cada uno de los siguientes enunciados condicionales escriba la expresion logica formal correspondiente.
8

a) La Tierra es c
ubica si y solo s el Sol es un planeta
b) x c < y c si y solo si, x = y
c) 2 + 2 6= 4 entonces no es verdad que 3 + 3 = 7 si y solo si 1 + 1 = 2
d ) No es verdad que 2 + 7 = 9 si y solo si 2 + 1 = 5, implica que 5 + 5 = 8
10. Para cada una de las siguientes proposiciones condicionales, construya su recproca, contrarrecproca
e inversa. En cada caso analice el valor de verdad de la proposicion obtenida.
a) Si tengo tiempo, te llamo.
b) Si dos rectas son perpendiculares a una misma recta, entonces son paralelas.
c) Si x es m
ultiplo de 4, entonces x es par.
d ) Si x > 0, entonces x2 > 0.
e) Para x, y postivos se tiene que z = x + y es positivo.
f ) Si x y < 0 y x > 0, entonces y < 0.
11. Considere la proposici
on compuesta:
[(p q) (p r)] = [(p q) (p r)]
Diga cu
al es le valor de verdad de esta proposicion para cada uno de los casos dados:
a) p es Falso (F), q es Falso (F) y r es Falso (F).
b) p es Falso (F), q es Falso (F) y r es Verdadero (V).
c) p es Verdadero (V), q es falso (F) y r es Verdadero (V).
d ) p es Verdadero (V), q es Verdadero (V) y r es falso (F).
e) p es Verdadero (V), q es Verdadero (V) y r es verdadero (V).
12. Si se sabe que p q es V y que r p es F , determine el valor de verdad de (r q) (r q)
13. Sabiendo que p q es F , r p es F , determine el valor de verdad de:
a) p r
b) p r
14. Sabiendo que p (q r) es falsa,
a) Deduzca los valores de verdad de las proposiciones simples p, q y r.
b) Determine el valor de verdad de la proposicion compuesta
[(p q) (p r)] [q (
p r)].
15. Escriba en lenguaje simb
olico los siguientes enunciados y luego determine su valor de verdad.
a) Si trabajo no puedo estudiar. Estudio o apruebo matematica, pero trabajare. Por tanto, aprobare matem
atica.
b) Si trabajo no puedo estudiar; trabajo o apruebo matematica, pero aprobe matematica. Por tanto,
estudie.