UNSJ – Facultad de Ciencias Exactas, Físicas y Naturales

Carreras: Lic. en Geofísica / Lic. en Astronomía / Lic. en Física

Asignatura: Álgebra
Práctica N°1

Práctica N°1 – Introducción a la Lógica Matemática

Ejercicio 1: Indicar si son proposiciones o no, las siguientes oraciones. Justifique.

a) ¿Qué hora es?

b) La geofísica es una ciencia derivada de la geología que trata del estudio de las
propiedades físicas de la Tierra.
c) San Luis es nombre de una ciudad argentina.
d) 2 + 6 < 9
e) La Tierra empezó su evolución hace 4700 millones de años.
f) El cuadrado de todo número par también es par.
g) La astronomía es la ciencia que estudia los cuerpos celestes del universo, incluidos las
estrellas, los planetas, sus satélites naturales, los asteroides, cometas y meteoroides,
entre otros.

Ejercicio 2: Identificar si son proposiciones simples (atómicas) ó compuestas. Traducir luego a

notación simbólica utilizando conectivos lógicos.

a) El triángulo es un polígono
b) Marcos es ingeniero o Beatriz es profesora
c) Si Juan va al cine, entonces tiene dinero
d) La gravedad en los polos es mayor que en el Ecuador.
e) Un sismo es de magnitud 6 (Escala de Mercalli), si y solo si es sentido por todos.
f) La escala de Ritcher mide magnitud y la escala de Mercalli mide intensidad.

Ejercicio 3: Sean 𝑝, 𝑞 y 𝑟 las proposiciones siguientes:

𝑝: El sismo es de poca intensidad ; 𝑞: profundo
𝑟: Hay destrucción de viviendas ; 𝑠: superficial
Traducir las siguientes oraciones a notación simbólica utilizando conectivos lógicos
a) El sismo es de poca intensidad y profundo
b) Si el sismo es de poca intensidad entonces no hay destrucción de viviendas
c) Si, el sismo es de gran intensidad y superficial, entonces no hay destrucción de
viviendas
d) Hay destrucción de viviendas si, y solo si, el sismo es de gran intensidad
e) Si no hay destrucción de viviendas entonces el sismo es de poca intensidad
f) O el sismo es de poca intensidad o hay destrucción de viviendas

1
Mag.Prof. Vanesa Gallardo – Lic. Stefanía Pechuan – Prof. Eliana Prado
 UNSJ – Facultad de Ciencias Exactas, Físicas y Naturales
Carreras: Lic. en Geofísica / Lic. en Astronomía / Lic. en Física
Asignatura: Álgebra
Práctica N°1

Ejercicio 4: Sean 𝑝, 𝑞 y 𝑟 las proposiciones siguientes,

𝑝: “está lloviendo” ; 𝑞: “el sol esta brillando” ; 𝑟: “hay nubes en el cielo”

a) Traducir la siguiente oración a notación simbólica utilizando conectivos lógicos

“Si está lloviendo, entonces hay nubes en el cielo”
Luego, complete la tabla:

Notación Lenguaje coloquial

Simbólica
Recíproca
Contrarecíproca

b) Realice el mismo desarrollo que en a), usando: “Si no hay nubes en el cielo, entonces el
Sol está brillando”
c) Sean 𝑝, 𝑞 y 𝑟 las proposiciones arriba citadas. Traducir las siguientes proposiciones a
lenguaje coloquial:

(𝑝 ∧ 𝑞) ⇒ 𝑟
~𝑝 ⇔ (𝑞 ∨ 𝑟)
~(𝑝 ∨ 𝑞)

Ejercicio 5: Comprobar si son contingentes, tautológicas o contradictorias, las siguientes

proposiciones. Justificar en cada caso.

a) 𝑝 ⇒ ~(𝑞 ∧ ~𝑝) e) (𝑝 ∨ 𝑞) ⇔ (~𝑝 ∧ ~𝑞)

b) (𝑝 ⇒ 𝑞) ∧ (𝑞 ⇒ ~𝑝) f) (𝑝 ∧ 𝑞) ⇒ 𝑟
c) (𝑝 ⇒ 𝑞) ⇔ (~𝑝 ∨ 𝑞) g) (𝑝 ∧ ~𝑞) ∨ (~𝑝 ⇔ 𝑟)
d) ~[𝑟 ∨ ~(~𝑞 ⇒ 𝑝)] h) ~[(𝑝 ∧ 𝑞) ⇒ ~𝑟]

Ejercicio 6: Indique si la negación de: ~𝑝 ∧ (𝑞 ⇒ 𝑟) es equivalente a alguna de las siguientes

proposiciones. Utilice tablas de verdad.

a) (𝑝 ∨ 𝑞) ⇒ ~𝑟 b) (𝑝 ∧ 𝑞) ⇒ 𝑟 c) 𝑝 ∨ ~(𝑞 ⇒ 𝑟)

Ejercicio 7: Responda los siguientes enunciados, sin construir tablas de verdad. En todos los
casos justifique su respuesta.

a) Si 𝑉(𝑝 ⇒ 𝑞) = 𝑉 ¿puede determinar el valor de verdad de ~𝑝 ∨ (𝑝 ⇒ 𝑞)?

b) Si 𝑉(𝑝 ⇒ 𝑟) = 𝐹 ¿puede determinar el valor de verdad de (𝑝 ⇒ 𝑟) ⇒ ~𝑝?
c) Halle el valor de verdad de (𝑝 ∧ ~𝑞) ⇒ (𝑞 ∨ ~𝑝) sabiendo que 𝑉(𝑞) = 𝑉.
d) Si 𝑉(𝑝 ∧ ~𝑞) = 𝑉. ¿Se puede determinar el valor de verdad de (𝑝 ∧ 𝑞) ⇔ (𝑝 ∨ 𝑞)?

2
Mag.Prof. Vanesa Gallardo – Lic. Stefanía Pechuan – Prof. Eliana Prado
 UNSJ – Facultad de Ciencias Exactas, Físicas y Naturales
Carreras: Lic. en Geofísica / Lic. en Astronomía / Lic. en Física
Asignatura: Álgebra
Práctica N°1

Ejercicio 8: Resolver cada uno de los siguientes apartados.

I) Sea 𝑈 = {1,2,3,9,11} el conjunto referencial. Complete la siguiente tabla.

Valor de Valor de Valor de Valor de
verdad verdad verdad verdad para
para 𝑥 = 1 para 𝑥 = 3 para 𝑥 = 9 𝑥 = 11
𝑃(𝑥): es impar

𝑄(𝑥): 𝑥 > 3

𝑅(𝑥): 2𝑥 < 5

𝑇(𝑥): 𝑥 > 3 𝑦 2𝑥 < 5

II) Sea 𝑈 = { 1, 2, 3, 9,11} el conjunto referencial, o universo de discurso. Complete la

siguiente tabla.

Valor de Valor de Valor de Valor de

verdad para verdad para verdad para verdad para
𝑥 = 1, 𝑦 = 3 𝑥 = 3, 𝑦 = 9 𝑥 = 9 ,𝑦 = 2 𝑥 = 11, 𝑦 = 9
𝐴2𝑥𝑦 ∶ 𝑥 es divisor de 𝑦

2
𝐵𝑥𝑦 : 𝑥 + 𝑦 < 20

𝐴2𝑥𝑦 ∨ 𝐵𝑥𝑦
2

Ejercicio 9: Determine, en caso de ser posible, el valor de verdad de cada enunciado. Justifique.

a) (∀𝑥 ∈ ℕ ) (𝑥 + 6 > 2)
b) (∃𝑥 ∈ ℤ) (𝑥 2 + 10 ≤ 8)
c) (∀𝑥 ∈ ℕ) ( 𝑥 2 − 9 = 0)
d) (∀𝑥 ∈ ℤ)(( 𝑥 > 0) ⇒ ( 𝑥 − 3 < 0))
e) (∃𝑥 ∈ ℕ) ( 2𝑥 2 + 𝑥 = 15)
f) (∀𝑥 ∈ ℝ) (𝑥 + 6 > 2)
g) (∀𝑥 ∈ ℝ) (( 𝑥 ≠ 0) ⇒ (√𝑥 > 0))

Ejercicio 10: Negar las siguientes funciones proposicionales. Luego trabaje aplicando todas las
equivalencias que sean necesarias.

a) (∀ 𝑥 ) (𝑥 + 6 > 2)
b) [(∃𝑥 )( 𝑥 2 > 0 )] ⇒ [(∀ 𝑥 ) ( 𝑥 + 2 = 0)]

3
Mag.Prof. Vanesa Gallardo – Lic. Stefanía Pechuan – Prof. Eliana Prado
 UNSJ – Facultad de Ciencias Exactas, Físicas y Naturales
Carreras: Lic. en Geofísica / Lic. en Astronomía / Lic. en Física
Asignatura: Álgebra
Práctica N°1

c) (∃𝑥 ) (𝑥 2 + 10 ≤ 8)
d) (∀𝑥)[ ( 2𝑥 2 + 𝑥 = 15)] ∨ [(∃𝑥)(𝑥 < 2)]
e) (∀𝑥) [( 2𝑥 2 + 𝑥 = 15)] ∨ [ (∃𝑥)(𝑥 > 1)]

Ejercicio 11: Realice las siguientes demostraciones, por los métodos indicados.

1) Por el Método Directo:

a) {𝑝 ⇒ 𝑠, 𝑝 ⇒ 𝑡, 𝑝} ⊢ 𝑠 ∧ 𝑡

b) {∼ 𝑝 ⇒ 𝑡, ∼ 𝑡} ⊢ 𝑝 ∨ 𝑞

c) {∼ 𝑝 ∨ 𝑞, ∼ 𝑞, 𝑡 ⇒ 𝑝} ⊢ ∼ 𝑡

d) {𝑠 ⇒ (𝑝 ∨ 𝑞), 𝑠, ∼ 𝑝} ⊢ 𝑞

e) {𝑝 ⇒ (∼ 𝑞), 𝑞, ∼ 𝑝 ⇒ 𝑟} ⊢ 𝑟

2) Por Reducción al Absurdo:

a) {𝑠 ⇒ (∼ 𝑡), 𝑡} ⊢∼ 𝑠

b) {𝑠 ⇒ 𝑡, 𝑠 ∧ 𝑟} ⊢ 𝑡

c) {𝑞, 𝑡 ∧ 𝑝} ⊢ 𝑝 ∧ 𝑞

d) {𝑡 ⇒ (∼ 𝑞), 𝑡} ⊢ 𝑝 ∨ (∼ 𝑞)

e) {∼ 𝑝, 𝑞 ⇒ 𝑟} ⊢ (𝑝 ∨ 𝑞) ⇒ 𝑟

4
Mag.Prof. Vanesa Gallardo – Lic. Stefanía Pechuan – Prof. Eliana Prado