A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

A. p: Los primeros taxis a vapor tienen sus inicios en 1803

q: El Mercedes-Benz fabrica el primer automóvil diésel en serie.
r: En 1886 se diseñó el primer auto deportivo de la historia

Lenguaje simbólico:
[(𝑝 ∧ 𝑟) ∨ (𝑝 → 𝑞)]

Lenguaje natura:
Los primeros taxis a vapor tienen sus inicios en 1803 y en 1886 se diseñó el primer auto deportivo
de la historia o los primeros taxis a vapor tienen sus inicios en 1803 entonces el Mercedes-Benz
fabrica el primer automóvil diésel en serie.

Tabla manual:

p q r 𝑝∧𝑟 𝑝→𝑞 [(𝑝 ∧ 𝑟) ∨ (𝑝 → 𝑞)]

v v V V V V
v v F F V V
v f v v f V
v f F F F F
f v V F V V
f v F F V V
f f V F V V
f f f F V V

Se clasifica como contingencia.

Tabla de verdad simulador:

B. p: El tiburón blanco también es llamado el gran depredador de los mares.
q: El tiburón blanco se encuentra en aguas templadas de casi todos los océanos.
r: El tiburón blanco son un grupo de peces herbívoros marinos.

Lenguaje simbólico:
[(𝑝 ∨ 𝑟) → (𝑞 ∧ 𝑟)]

Lenguaje Natural:

El tiburón blanco también es llamado el gran depredador de los mares o el tiburón blanco son un
grupo de peces herbívoros marinos entonces el tiburón blanco se encuentra en aguas templadas de
casi todos los océanos y el tiburón blanco son un grupo de peces herbívoros marinos

Tabla de verdad manual

p q r 𝑝∨𝑟 𝑞∧𝑟 [(𝑝 ∨ 𝑟) → (𝑞 ∧ 𝑟)]

v v V V V v
v v F V F F
v f V V F F
v f F V F F
f v V V V V
f v F F F V
f f V V F F
f f F F F V

Se clasifica como una contingencia

Tabla de verdad simulada

C. p: El mute Santandereano es un plato típico de la Región Andina.
q: El sancocho costeño es un plato típico de la Región Orinoquia.
r: La ternera a la llanera es un plato típico de la Región Caribe.

Lenguaje simbólico
(𝑝 ∨ ¬𝑞) ↔ (𝑞 ∧ ¬𝑟)

Lenguaje Natural

El mute Santandereano es un plato típico de la Región Andina y el sancocho costeño no es un plato

típico de la Región Orinoquia si y solo si el sancocho costeño es un plato típico de la Región
Orinoquia o la ternera a la llanera no es un plato típico de la Región Caribe

Tabla de verdad manual

p q r ¬𝑞 ¬𝑟 𝑝 ∨ ¬𝑞 𝑞 ∧ ¬𝑟 (𝑝 ∨ ¬𝑞) ↔ (𝑞 ∧ ¬𝑟)
v v V F F V F F
v v F F V V V V
v f V V F V F F
v f F V V V F F
f v V F F F F V
f v F F V F V F
f f V V F V F F
f f F V V V F F

Se clasifica como contingencia

 Tabla de verdad simulador

D. p: El papa Juan Pablo ll fue el papa 264 de la iglesia católica.

q: Nació el 16 de octubre de 1978
r: Fue canonizado en el año 2014

Lenguaje simbólico
[(𝑝 ∧ 𝑟) → 𝑞] ∧ [(𝑝 ∨ 𝑞) → ~𝑟]

Lenguaje Natural.

El papa Juan Pablo ll fue el papa 264 de la iglesia católica y fue canonizado en el año 2014, entonces
nació el 16 de octubre de 1978 y el papa Juan Pablo ll fue el papa 264 de la iglesia católica o nació el
16 de octubre de 1978 entonces no fue canonizado en el año 2014.

Tabla de verdad manual

p q r ¬𝑟 (𝑝 ∧ 𝑟) (𝑝 ∨ 𝑞) [(𝑝 ∧ 𝑟) → 𝑞] [(𝑝 ∨ 𝑞) → ~𝑟] [(𝑝 ∧ 𝑟) → 𝑞] ∧ [(𝑝 ∨ 𝑞) → ~𝑟]

v v V F V V V F F
v v F V F V V V V
v f V F V V F F F
v f F V F V V V V
f v V F F V V F F
f v F V F V V V V
f f V F F F V V V
f f F V F F V V V

Se clasifica como contingencia

 Tabla de verdad simulada

E. p: Nelson Mandela fue médico

q: fue presidente de Sudáfrica de 1994 a 2002
r: Nelson Mandela nació en 1918

Lenguaje Lógico
[𝑝 ↔ (𝑞 ∧ 𝑟)] → (~𝑝 ∨ 𝑟)

Lenguaje Natural

Nelson Mandela fue médico, si y solo si, fue presidente de Sudáfrica de 1994 a 2002 y Nelson
Mandela nació en 1918, entonces, Nelson Mandela no fue médico o Nelson Mandela nació en 1918

Tabla de verdad manual

p q r ~𝑝 (𝑞 ∧ 𝑟) (~𝑝 ∨ 𝑟) [𝑝 ↔ (𝑞 ∧ 𝑟)] [𝑝 ↔ (𝑞 ∧ 𝑟)] → (~𝑝 ∨ 𝑟)

v v V F V V V V
v v F F F F F V
v f V F F V F V
v f F F F F F V
f v V V V V F V
f v F V F V V V
f f V V F V V V
f f F V F V V V

Se clasifica como una tautología

Tabla de verdad simulada