LÓGICA

PROPOSICIONES Y TABLAS DE VERDAD

PARTICIPANTE

JHON FERNEY ARREDONDO

ENTREGADO A:

ANTONIO ACOSTA RUZ

CORPORACION UNIVERSITARIA DEL CARIBE CECAR

SINCELEJO – SUCRE

LICENCIATURA EN INGLES

VI SEMESTRE

03-MARZO-2019
1. De las siguientes expresiones, explique cuáles son proposiciones y cuáles no.
1.1. Hace frío el día de hoy
1.2. Doce es un número primo
1.3. Asia es un continente
1.4. ¿Me dice la hora por favor?
1.5. Paris es la capital de Alemania

R/: 1.1, 1.2, 1.3 y 1.5 son proposiciones. Las proposiciones son afirmaciones que pueden
ser verdaderas o falsas. La 1.4 no es proposición, porque no se puede decir que sea
verdadera o falsa.

2. A partir de las siguientes proposiciones simples p: Alemania es un país de Europa y

q: Alemania es un país desarrollado, forma proposiciones compuestas y simbolízalas
mediante los conectores lógicos y, o, entonces.
R/:

p q pɅq
V V V
p q p Vq
V V V
p q p→ q
V V V

3. Exprese las siguientes proposiciones compuestas con simbología matemática

3.1. Oslo es la capital de Noruega y Madrid es la capital de España
3.2. Irán o Arabia Saudita disminuirán el precio del petróleo
3.3. Si el diseño es correcto, este será aprobado
3.4. Si Rusia invade Crimea entonces Ucrania protestará ante la ONU y Alemania
convocará a una reunión de países de Europa
3.5. Si Messi o Neymar juegan contra nosotros, nuestro equipo perderá

R/:

3.1. Oslo es la capital de Noruega y Madrid es la capital de España

p Ʌ q

pɅq
3.2. Irán disminuirá el precio del petróleo o Arabia Saudita disminuirá el precio del

petróleo.

p V q

pVq

3.3. Si el diseño es correcto, este será aprobado

p → q

p→q

3.4. Si Rusia invade Crimea entonces Ucrania protestará ante la ONU y Alemania

convocará a una reunión de países de Europa

p → (q Ʌ r)

p → (q Ʌ r)

3.5. Si Messi juega contra nosotros o Neymar juega contra nosotros, nuestro
p V q

equipo perderá.
r

(p V q) → r
4. Construye una tabla de verdad para las siguientes expresiones lógicas y clasifícalas
como tautología, contradicción o contingencia
4.5. (𝑝 ∧ 𝑞) → 𝑝
4.6. (𝑝 → 𝑞) ∧ (𝑞 → 𝑟)
4.7. (𝑝 ∧ 𝑞) ⟷ (𝑞 ∧ 𝑝)
4.8. ~(𝑝 ∧ 𝑞) ⟷ ~(𝑝 ∨ 𝑞)
4.9. (𝑞 ∧ (𝑝 → 𝑞)) → 𝑝)

4.5 (𝑝 ∧ 𝑞) → 𝑝

(p Ʌ q) → p
p q
V V
V F
F V
F F
(p Ʌ q) (p Ʌ q) → p
V V
F V
F V
F V
Tautología

4.6 (𝑝 → 𝑞) ∧ (𝑞 → 𝑟)

(p → q) Ʌ (q → r)
p q r p→q q→r (p → q) Ʌ (q → r)
V V V V V V
V V F V F F
V F V F V F
V F F F V F
F V V V V V
F V F V F F
F F V V V V
F F F V V V
Contingencia
4.7 (𝑝 ∧ 𝑞) ⟷ (𝑞 ∧ 𝑝)

(p Ʌ q) ⟷ (q Ʌ p)
p q (p Ʌ q) (q Ʌ p) (p Ʌ q) ⟷ (q Ʌ p)
V V V V V
V F F F V
F V F F V
F F F F V
Tautología

4.8 ~(𝑝 ∧ 𝑞) ⟷ ~(𝑝 ∨ 𝑞)

~ (p Ʌ q) ⟷ ~ (p V q)
p q (p Ʌ q) ~ (p Ʌ q) (p V q) ~ (p V q) ~ (p Ʌ q) ⟷ ~ (p V q)
V V V F V F V
V F F V V F F
F V F V V F F
F F F V F V V
Contigencia

4.9 (𝑞 ∧ (𝑝 → 𝑞)) → 𝑝)

(q Ʌ (p → q)) → p)
p q p→q q Ʌ (p → q) (q Ʌ (p → q)) → p)
V V V V V
V F F F V
F V V V F
F F V F V
Contingencia