OFICINA DE APOYO DOCENTE

FACULTAD DE INGENIERÍA
UNIVERSIDAD CATÓLICA DE LA SANTÍSIMA CONCEPCIÓN
CONCEPCIÓN-CHILE
Álgebra - IN1001C

Lógica Matemática

Concepto de proposición

Definición (Proposición). Una proposición es una oración que afirma o niega algo, es decir, una propo-
sición se distingue por ser un enunciado verdadero o bien falso, pero no ambos simultáneamente.

Actividad 1 (5 minutos)

En cada enunciado, determine si es o no una proposición, justificando adecuadamente. De ser una proposición
indique el valor de verdad.

(a) Me gusta el cine. (d) ¿Qué dı́a es hoy?

(e) x = 0.
(b) 5.814 es múltiplo de 6.
(f) Arturo Vidal es actualmente jugador del Bayern
(c) −3 > −2. Munich.

Definición. Se distinguen dos tipos de proposiciones: simples (fórmulas) y complejas (compuestas).

Una proposición se denomina simple cuando en ella no interviene ningún conectivo lógico o término de enlace
(y, o, no, si...entonces..., si y sólo si,...). Si se juntan una o varias proposiciones simples con un conectivo lógico
(o término de enlace), se forma una proposición compleja.

1
 Observaciones.

Para representar las proposiciones se utilizan usualmente letras minúsculas tales como p, q, r,... etc.
Se usan los siguientes sı́mbolos para representar los términos de enlace
∧, se denomina conjunción y se lee y

∨, lo llamaremos disyunción, se lee o.

Y, lo llamaremos disyunción excluyente y se lee o... o...

∼, se denomina negación y se lee no.

→, se denomina condicional, se lee si..., entonces...

↔, se llama bicondicional y se lee si, y sólo si,....

Cuando no hay lugar a ambigüedades, pueden omitirse los paréntesis y se adopta una convención con respecto
a la dominancia relativa (que indica lo que se lee primero) de los diversos conectivos. La convención indica que
→ y ←→ dominan a ∧ y ∨.

Actividad 2 (5 minutos)

Suponga que, p : Goliat es alto, q : David es bajo y r : David derrota a Goliat. Escriba las siguientes
proposiciones.

(a) p → (q∧ ∼ r) (b) (p ∨ q) ←→ r.

Actividad 3 (5 minutos)

Defina las proposiciones elementales necesarias para escribir la siguiente proposición en forma simbólica,

“Jorge estará feliz e irá a la fiesta si, y sólo si, aprueba Álgebra”.

2
 Definición. Se llama negación de una proposición p a la proposición no p la cual se denota ∼ p. La
proposición ∼ p es falsa si la proposición p es verdadera y, es verdadera si p es falsa.

Tablas de Verdad
A continuación presentaremos un esquema de los restantes conectivos.
p q p∧q p∨q pYq p→q p↔q
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V

Observaciones.

La condicional p → q también se lee “p es condición suficiente para q” o “q es condición necesaria para p”.
La bicondicional p ↔ q también se lee “p es condición necesaria y suficiente para q”.

Actividad 4 (5 minutos)

Dadas las proposiciones

p : 1 + 3 · 2 6= 7, q : (22 ≥ 4) → (3 · (−3) = 0), r : (2 = 3) ↔ (−1 > −2).

(a) Determine el valor de verdad de las proposiciones p, q y r.

(b) Determine el valor de verdad de (∼ p ∨ r) → (q ∧ ∼ r).

Observación.
Toda tabla de verdad tiene 2n renglones, dónde la n corresponde al número de variables proposicionales.

3
 Actividad 5 (15 minutos) 
Construya una tabla de verdad para las siguientes proposiciones.
(a) [(p ∧ q) ∨ (p∧ ∼ q)] ∨ (∼ p∧ ∼ q)

(b) [(∼ (p → q) →∼ (q ↔ r)) ∧ (p ∨ q)] ∧ ∼ r.

Definición.
Tautologı́a: corresponde a una proposición compleja que es cierta para cualquier valor de verdad de cada
una de sus componentes.

Contradicción: corresponde a una proposición compleja que es falsa cualesquiera sea el valor de verdad
de cada una de sus componentes.
Contingencia: corresponde a una proposición compleja que es verdadera para algunos valores de verdad
de cada una de sus componentes y es falsa para otros.

4
 Actividad 6 (10 minutos) 
Construya una tabla de verdad para la siguiente proposición e indique si es Tautologı́a, Contingencia o
Contradicción.

[∼ (p →∼ (p → q))] ↔ p ∧ q.

Definición.
Equivalencia: dos proposiciones son lógicamente equivalentes si al conectarlas mediante la bicondicional,
la proposición resultante es una tautologı́a. Si esto ocurre escribimos p ≡ q o bien p ⇔ q.

Implicancia: una proposición p implica lógicamente una proposición q si al conectarlas mediante la

condicional, la proposición resultante es una tautologı́a. Se denota p ⇒ q.

Actividad 7 (15 minutos) 

(a) Muestre si acaso la siguiente proposición es una implicación lógica [(p →∼ q) ∧ (∼ r ∨ q) ∧ r] →∼ p.

(b) Muestre si acaso la siguiente proposición es una equivalencia lógica [((p → q) ↔∼ q)] ↔∼ (p ∧ q).

5
Álgebra de proposiciones (equivalencias de composiciones más comunes de proposiciones simples).

Ley de la doble negación Leyes Distributiva

• ∼ (∼ p) ⇔ p • p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)
Leyes de Idempotencia • p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)

• p∧p⇔p Leyes de De Morgan

• p∨p⇔p
• ∼ (p ∧ q) ⇔∼ p∨ ∼ q
Leyes del Complemento • ∼ (p ∨ q) ⇔∼ p∧ ∼ q
• p∧ ∼ p ⇔ F Leyes de Absorción
• p∨ ∼ p ⇔ V
• p ∧ (p ∨ q) ⇔ p
Leyes de Identidad
• p ∨ (p ∧ q) ⇔ p
• p∧V ⇔p
Ley del Contra-recı́proco
• p∨V ⇔V
• p∧F ⇔F • (p → q) ⇔ (∼ q →∼ p)
• p∨F ⇔p Otras leyes
Leyes Conmutativa
• (p ↔ q) ⇔ (p → q) ∧ (q → p)
• p∧q ⇔q∧p
• (p ↔ q) ⇔ (p ∧ q) ∨ (∼ p∧ ∼ q)
• p∨q ⇔q∨p
• (p → q) ⇔ (∼ p ∨ q)
Leyes Asociativa
Negaciones importantes
• (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r)
• (p ∨ q) ∨ r ⇔ p ∨ (q ∨ r) • ∼ (p → q) ⇔ (p∧ ∼ q)
• (p ↔ q) ↔ r ⇔ p ↔ (q ↔ r) • ∼ (p ↔ q) ⇔ (p∧ ∼ q) ∨ (q∧ ∼ p)

Actividad 8 (10 minutos) 

Sean p y q proposiciones. Muestre, utilizando álgebra de proposiciones, si la siguiente expresión lógica es
Tautologı́a

(p ∨ q) → q ⇔ p → q.

6
Cuantificadores Lógico

Definiciones.

Función proposicional: es una expresión que contiene una o más variables, al cual si asignamos valores
especifı́cos se convierte en una proposición. Notación p(x), q(x, y), r(x, y, z).

p(x) : x tiene la propiedad p.

Conjunto de validez: es el conjunto de todos los valores de una función proposicional, para los cuales
ésta es verdadera.

Cuantificador universal: nos indica que una función proposicional es verdadera para todos los elementos
de un conjunto y se denota por ∀.
Cuantificador existencial: nos indica que una función proposicional es verdadera para algunos elemen-
tos de un conjunto y se denota por ∃.

Cuantificador existencia y unicidad: nos indica que una función proposicional es verdadera para un
único elemento de un conjunto y se denota por ∃!.

Actividad 9 (10 minutos) 

Defina las funciones proposicionales necesarias para escribir la siguiente proposición en forma simbólica.

“ Todos los alumnos de Álgebra si estudian, entonces obtienen buenas notas. ”

Negaciones de proposiciones con cuantificadores

∼ (∀x ∈ A : p(x)) ⇔ ∃x ∈ A : ∼ p(x).

∼ (∃x ∈ A : p(x)) ⇔ ∀x ∈ A : ∼ p(x).

∼ (∃!x ∈ A : p(x)) ⇔ (∀x ∈ A : ∼ p(x)) ∨ (∃x, y ∈ A : (p(x) ∧ p(y)) ∧ x 6= y).

7
 Actividad 10 (10 minutos) 
Escriba la negación de las siguientes proposiciones,

(a) ∀x ∈ A :∼ p(x) → q(x).

(b) ∃x ∈ A : p(x) ∧ q(x).

(c) ∃!x ∈ A : p(x) ∨ q(x).

Actividad 11 (15 minutos) 

Considere los conjuntos A = {−3, −1, 0, 2} y B = {0, 1, 4, 9}. Indique, justificadamente, si la siguiente
proposición es verdadera o falsa.

(∀x ∈ A)(∃y ∈ B)[(y < x2 + 1) ∧ (y > x2 − 1)].

8
Razonamiento Lógico

Definición. Un argumento lógico es una condicional de la forma (P1 ∧ P2 ∧ · · · ∧ Pk ) → Q donde

las proposiciones P1 , P2 , · · · , Pk son llamadas premisas y originan como consecuencia otra proposición Q,
llamada conclusión.

Ejemplo.

P1 : “Todos los hombres son mortales” (premisa 1), P2 : “Euclides es un hombre” (premisa 2).

Q : “Euclides es mortal”(conclusión).

P1 ∧ P2 → Q.

Observaciones.

Un argumento lógico se denomina argumento válido si dicha condicional es una tautologı́a.

Un argumento lógico se denomina falacia si dicha condicional es falsa (contradicción).

Un argumento no se modifica si una o varias de las premisas se reemplazan por otras premisas equivalentes.
Si un argumento es válido y las premisas son verdaderas, entonces la conclusión es verdadera.

Métodos de Demostración
A continuación se presentarán tres métodos de demostración de implicaciones.

Método directo o de Hipótesis auxiliar. Sean R y S proposiciones, si al suponer que R es verdadera,

se puede hacer una demostración de que S es verdadera, entonces el condicional R → S es una proposición
verdadera, luego una implicancia lógica.

Esquema Operativo General. Para demostrar que una fórmula del tipo R ⇒ S es teorema, se procederá de la
siguiente manera.

Se supone que el antecedente R es verdadero (hipótesis auxiliar).

A partir de la hipótesis, se construye un argumento lógico en el cual se pueden utilizar los axiomas y los teo-
remas ya probados, mediante la aplicación de las reglas de validez, para llegar a la fórmula S como conclusión
o tesis.

En este punto concluye la prueba y queda establecida la verdad de R ⇒ S.

9
 Actividad 12 (10 minutos) 
Demuestre de manera directa (p → q) ↔ p ⇔ (p ∧ q).

Método indirecto o de reducción al absurdo. Sean R y S proposiciones. Si al suponer que la proposición

R es verdadera y S es falsa, podemos llegar a una contradicción o algo absurdo, lo que finalmente probará que
el condicional.

R −→ S es verdadera.

Esquema Operativo General. Para demostrar que una fórmula del tipo R ⇒ S es un teorema, se procederá
de la siguiente forma.

Se supone que la conclusión S es falsa (hipótesis auxiliar).

A partir de la hipótesis, se construye un argumento lógico en el cual se pueden utilizar los axiomas y los teo-
remas ya probados, mediante la aplicación de las reglas de validez, para probar que la proposición R es falsa.

En este punto concluye la prueba y queda establecida la verdad de R ⇒ S.

10
 Actividad 13 (10 minutos) 
Sea a ∈ N. Demuestre por el método de reducción al absurdo que, si a2 es impar, entonces a es impar.

Método por la contrarrecı́proca. Se utiliza la contrarrecı́proca cuando suponiendo que la conclusión S es

falsa, se demuestra usando teoremas y equivalencias lógicas establecidas previamente, que R es falso.

Esquema Operativo General. En este caso se utiliza el esquema de la demostración directa, pero al condicional

∼ S →∼ R.

Actividad 14 (10 minutos) 

Sea a ∈ N. Demuestre por método de la contrarrecı́proca que, si a2 es impar, entonces a es impar.

11
 Actividad de Autoevaluación

1. Escriba simbólicamente y determine el valor de verdad de los siguientes proposiciones:

6 8
a) Si 3 6= o 2= , entonces 3 = 4.
2 4
b) 4 6= 22 es una condición suficiente para que 1 6= 8.

2. Sean A = {0, −1, −2} y B = {2, 1, 3} y las siguientes proposiciones

r : ∃x ∈ A, ∀y ∈ B : x · y < 0, s : ∀x ∈ A, ∃y ∈ B : x + y ≤ 5 → x · y > −2.

(a) Determine el valor de verdad de las proposiciones definidas.

(b) Escriba la negación de las proposiciones dadas.

3. Demuestre, de manera directa, que si a y b son números pares, entonces a + b es número par.

Álgebra (IN1001C) Primer Semestre 2018.

12