UNIVERSIDAD AUSTRAL DE CHILE

FACULTAD DE CIENCIAS DE LA INGENIERIA

CENTRO DE DOCENCIA DE CIENCIAS BÁSICAS PARA INGENIERÍA.

GUÍA DE APRENDIZAJE N◦ 1: Lógica Proposicional

ÁLGEBRA PARA INGENIERÍA

Resultados de Aprendizaje:
1. Argumentar la veracidad o falsedad de un enunciado en un contexto dado, utilizando
razonamiento lógico.

Contenidos:

1. Proposiciones. 2. Conectivos Lógicos. 3. Propiedades.

1. Introducción
Toda estructura matemática supone la necesidad de razonar en forma válida y el uso de un lenguaje apro-
piado. Por esto es necesario una gran simplificación y el uso de un simbolismo adecuado e inequı́voco que
nos permita razonar válidamente mediante reglas dadas con claridad. La lógica proposicional y la teorı́a de
conjuntos nos permiten adquirir este simbolismo y el esquema de un razonamiento deductivo.

2. Proposiciones y conectivos lógicos

Definición 1 Una proposición es una frase que posee un único valor de verdad, es decir,
es verdadera o falsa.

En general, las proposiciones las simbolizamos utilizando letras minúsculas como p, q, r, etc.

Ejemplo 1 Son proposiciones: No son proposiciones:

p : Todos los hombres son inmortales.
¿Qué edad tienes?
q : El número 1331 es divisible por 11.
¿Te gusta la matemática?
s : 3 + 2 < 10 − 3.
t : Luis estudia, además de trabajar. ¡Viva Chile!

z : La luna no es un sátelite de la tierra. Ser o no ser.

Definición 2 Los conectivos lógicos son usados para obtener nuevas proposiciones a par-
tir de otras proposiciones. A las proposiciones que no incluyen conectivos lógicos las lla-
mamos proposiciones simples o atómicas y a las que sı́ tienen conectivos lógicos las
llamamos proposiciones compuestas o moleculares.

Definición 3 Una Tabla de Verdad es una tabla que permite organizar los valores de
verdad de una proposición compuesta considerando todos los casos posibles.

Observación 1 Cuando hay n proposiciones, la tabla contiene 2n combinaciones posibles de valores de

verdad.

Definición 4 La negación de una proposición p es la proposición no p, que denotaremos

como p, ∼ p, ¬p. La proposición p es verdadera si la proposición p es falsa y es falsa si p es
verdadera. Esto se resume en la siguiente tabla de verdad:

p p
V F
F V

Ejemplo 2 La negación de la proposición p: dos es un número impar es p: dos no es un número impar.

Definición 5 Se llama disyunción incluyente a la proposición p o q, denotada por p ∨ q.

La proposición 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 q p∨q
V V V
V F V
F V V
F F F
Ejemplo 3 La proposición compuesta 3 + 2 = 5 o 3 = 32 es una disyunción incluyente, compuesta por dos
proposiciones simples:
p : 3 + 2 = 5, que es una proposición verdadera.
q : 3 = 32 , que es una proposición falsa.
Por lo tanto, el valor de verdad de la proposición compuesta p ∨ q es verdadero.

Definición 6 Se llama conjunción a la proposición p y q, denotada por p ∧ q. La

proposición p ∧ q es verdadera solo si ambas proposiciones son verdaderas. Esto se resume
en la siguiente tabla de verdad:

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

Ejemplo 4 Si consideramos las proposiciones:

p: El triángulo equilátero tiene los tres lados iguales.
q: El triángulo equilátero tiene los tres ángulos iguales.
La conjunción de ambas proposiciones es:
p ∧ q: El triángulo equilátero tiene sus tres lados y sus tres ángulos iguales.
Esta conjunción es verdadera ya que las proposiciones que las conforman son verdaderas.
Definición 7 Se llama implicancia a la proposición si p, entonces q, denotada por
p ⇒ q, donde p se llama antecedente y q se llama consecuente. La proposición p ⇒ q es
falsa únicamente cuando el antecedente es verdadero y el consecuente es falso. La tabla de
verdad de la implicancia es la siguiente:

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

Ejemplo 5 Dadas las proposiciones simples:

p : 30 es un número divisible por 2.
q : 30 es un número divisible por 4.
r : 30 es un número divisible por 6.
A partir de estas podemos formar proposiciones condicionales, entre otras:
p⇒q : 30 es un número divisible por 2, entonces 30 es divisible por 4.
p⇒r : 30 es un número divisible por 2, entonces 30 es divisible por 6.
¿Cuál es el valor de cada una de estas proposiciones condicionales?

Definición 8 Se llama bicondicional a la proposición p si y solo si q, que denotaremos

p ⇔ q. La proposición p ⇔ q es verdadera si p y q tienen el mismo valor de verdad. Esto se
esquematiza con la siguiente tabla de verdad:

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

Ejemplo 6 Si consideramos las proposiciones,

p: El 4ABC es rectángulo.
q: El cuadrado de la longitud del lado más largo en el 4ABC es igual a la suma de los cuadrados de
las longitudes de sus otros dos lados.
r: 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ás 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ángulo.
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ángulo.

El teorema de Pitágoras garantiza que las primera bicondicional es verdadera, mientras que la segunda no
necesariamente lo es, ya que todos los triángulos hacen que la proposición r sea verdadera mientras que la
proposición q puede ser verdadera o falsa.
Observación 2 Conocer los conectivos lógicos nos permite, entre otras, sacar conclusiones cuando conoce-
mos el valor de verdad de una proposición compuesta.

Definición 9 Una proposición compuesta se llama:

a) Tautologı́a si es siempre verdadera cualesquiera sean los valores de verdad de las
proposiciones que la componen.
b) Contradicción si es siempre falsa, independientemente de los valores de verdad de
las proposiciones que la componen.

c) Contingencia si no es tautologı́a ni contradicción.

Ejemplo 7 La proposición compuesta p ∨ p es una tautologı́a

p p p∨p
V F V
F V V

Ejemplo 8 La proposición compuesta p ∧ p es una contradicción

p p p∧p
V F F
F V F

Ejemplo 9 La proposición compuesta p ∨ q es una contingencia

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

Definición 10 Dos proposiciones se denominan lógicamente equivalentes si y solo si poseen

la misma tabla de verdad, o bien, si su bicondicional genera una tautologı́a, esto se denota
por p ≡ q o bien p ⇐⇒ q.

Ejemplo 10 (p ⇔ q) ≡ ((p ⇒ q) ∧ (q ⇒ p))

p q p⇔q p q p⇒q q⇒p (p ⇒ q) ∧ (q ⇒ p)

V V V V V V V V
V F F V F F V F
F V F F V V F F
F F V F F V V V

3. Propiedades
Sean p, q, y r proposiciones simples:

a) p≡p
| {z }
Doble Negación p∨p ≡ p
f)
p∧p ≡ p
p∨q ≡ q∨p | {z }
b) p∧q ≡ q∧p Propiedades de Idempotencia
(p ⇔ q) ≡ (q ⇔ p)
| {z } p ∧ (p ∨ q) ≡ p
Propiedades Conmutativas g)
p ∨ (p ∧ q) ≡ p
| {z }
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r) Propiedades de Absorción
c) (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
(p ⇔ q) ⇔ r ≡ p ⇔ (q ⇔ r) p∨V
≡ V
p∧V
≡ p
| {z }
Propiedades Asociativas h)
p∨F
≡ p
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) p∧F
≡ F
d)
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) | {z }
| {z } Leyes Complementarias
Propiedades Distributivas
p⇒q ≡ p∨q
(p ∨ q) ≡ p ∧ q i) p⇒q ≡ q⇒p
e)
(p ∧ q) ≡ p ∨ q (p ⇒ q) ≡ p ∧ q
| {z } | {z }
Leyes de De Morgan Trasformación de Condicional
Ejemplo 11 Para escribir correctamente la negación de la proposición compuesta

En el plano, si dos rectas no son paralelas, entonces se intersectan.

Identificamos que es una proposición condicional de la forma p ⇒ q, donde
p: Dos rectas no son paralelas.
q: 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ón de la proposición compuesta dada.

Ejemplo 12 El valor de verdad de la siguiente proposición compuesta

[(p ∨ q) ∧ p] ⇒ q

depende de los valores de verdad de p y q. El correcto uso de las propiedades permite reducir la proposición
compuesta a una proposición lógicamente equivalente:

(([p ∨ q) ∧ p] ⇒ q) ≡ [(p ∧ p) ∨ (q ∧ p)] ⇒ q

≡ [F ∨ (q ∧ p)] ⇒ q
≡ (q ∧ p) ⇒ q
≡ (q ∧ p) ∨ q
≡ (q ∨ p) ∨ q
≡ (q ∨ q) ∨ p
≡ V ∨p
≡ V

Ası́, la proposición compuesta corresponde a una Tautologı́a.

4. Ejercicios
1. En cada una de las siguientes proposiciones, identifique las proposiciones simples que la componen y
escrı́balas usando conectivos lógicos.

a) Si dos ángulos tienen un lado en común, entonces son adyacentes.

b) Si dos rectas son perpendiculares a una misma recta, entonces son paralelas.
c) No es el caso de que 9 es múltiplo de 3 o que 2 × 8 = 15.
d ) Si 3 + 4 = 7 entonces 8 es primo, o 4 no es par.

2. Determine el valor de verdad de p, q y r si la siguiente proposición compuesta es verdadera

(p ⇒ r) ∧ (r) ∧ (q ∨ r)

3. Dada la proposición compuesta (p ∧ q) ⇒ (q ∧ (p ∨ r)). Determine su valor de verdad si

p : 5·2=1
q x < 0 ⇔ −x > 0
: √
r : 25 = −5

4. Se llama disyunción excluyente a la proposición o p o q, denotada por p∨q. La proposición p∨q es

verdadera si solo una de las proposiciones es verdadera.
Si la proposición compuesta p ∨ q es falsa, determine el valor de verdad de:

(p ⇔ q) ∨ (p ⇒ q) ∨ (p Y q).

5. Si s es una proposición y se sabe que la proposición compuesta (p ⇔ q) ∨ (p ⇒ r) es falsa, determine

el valor de verdad de la proposición (p Y q) ∧ (r ∨ s)
6. Sea s una proposición y se sabe que la proposición compuesta (p Y q) ⇒ (q ∨ r) es falsa, demuestre que
el valor de verdad de la proposición (p ∨ s) ⇔ (q ∧ r) depende del valor de verdad de la proposición s.
√

7. Determine el valor de verdad de (2 < 3) ⇒ 3∈/Q

8. Si (p ∧ q) ≡ r, pruebe que la siguiente proposición es una contradicción

p ∨ (q ⇒ r)

9. Si p es verdadero y q es falso, determine el valor de verdad de:

(p ∨ q) ⇒ [(p ∨ q) ∧ (p ∧ q)]
 10. Si p ⇒ (q ∨ r) es falso, determine el valor de verdad de

(p ∨ q) ⇒ [(r ∨ q) ∧ (r ∧ p)]

11. Determine el valor de verdad de las siguientes proposiciones condicionales.

a) Si dos rectas son perpendiculares a una misma recta, entonces son paralelas.
b) Si 70 es múltiplo de 4, entonces 70 es par.
c) Si −3 > 0, entonces (−3)2 > 0.
d ) Si x = 3 e y = −4 se tiene que z = x + y es positivo.
e) Si (−3) · 2 < 0 y 2 > 0, entonces (−3) < 0.

12. Considere la proposición compuesta:

[(p ∧ q) ∨ (p ∨ r)] ⇒ [(p ∧ q) ∧ (p ∨ r)]

Determine cuál es le valor de verdad de esta proposición 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).
13. Si se sabe que p ∧ q es V y que r ∧ p es F , determine el valor de verdad de (r ∨ q) ⇒ (r ∧ q)

14. Sabiendo que p ⇒ q es F , r ∧ p es F , determine el valor de verdad de:

a) p ⇔ r
b) p ∧ r
15. 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 proposición compuesta

[(p ∧ q) ∨ (p ∧ r)] ⇒ [q ∨ (p ⇒ r)].

5. Bibliografı́a:
R. Figueroa G., Matemática Básica 1. Ediciones RFG, Perú.

Irene F. Mikenberg, Álgebra e Introducción al Cálculo. PUC, Chile 2013.

Rafael Escudero Trujillo, Carlo Rojas Alvarez,Matemáticas Básicas. Segunda Edición, Ediciones Uni-
norte.