Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
Si las películas de Marvel han sido las más taquilleras en los últimos años entonces, la gran
mayoría de las personas las han visto y si la gran mayoría de las personas no las han visto
entonces The Avengers no es una película taquillera.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
ítems:
Definir las proposiciones simples del argumento.

p: Las películas de Marvel han sido las más taquilleras en los últimos años

q: la gran mayoría de las personas las han visto

r: The Avengers es una película taquillera

Definir la expresión del argumento en lenguaje simbólico o formal.

( p →q ) ∧ ( ∼ q → r )

Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico
Generar una tabla de verdad manualmente a partir del lenguaje simbólico y
determinar si el resultado es una tautología, contingencia o contradicción.

( p →q ) ∧ ( ∼ q → r )

p q r ∼q r p →q ∼q→ r ( p →q ) ∧ ( ∼ q → r )

V V V F F V V V

V V F F V V V V

V F V V F F F F

V F F V V F V F

F V V F F V V V

F V F F V V V V

F F V V F V F F

F F F V V V V V

El resultado es una contingencia ya que al ver su resultado prevalece en verdadero y

falso.
Ejercicio 3: Problemas de aplicación

Una vez realizadas las lecturas, desarrolle el ejercicio propuesto.

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento)

para el desarrollo del ejercicio 3:

{ p ⟷ [ q ∧(r ∨s )] }

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado

deberá:

Definir las proposiciones simples

p: Neyla estudia en la UNAD

q: La UNAD es una universidad pública de Colombia

r: Neyla estudia radiología

s: la UNAD ofrece el programa de radiología en modalidad virtual

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Las proposiciones simples

Neyla estudia en la UNAD si y solo si La UNAD es una universidad pública de Colombia

y Neyla estudia radiología o la UNAD ofrece el programa de radiología en modalidad
virtual
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico
Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

{ p ⟷ [ q ∧(r ∨s )] }
p q r s r∨s [ q ∧(r ∨ s) ] { p ⟷ [ q ∧(r ∨s )] }
V V V V V V V

V V V F V V V

V V F V V V V

V V F F F F F

V F V V V F F

V F V F V F F

V F F V V F F

V F F F F F F

F V V V V V F

F V V F V V F

F V F V V V F

F V F F F F V

F F V V V F V

F F V F V F V

F F F V V F V

F F F F F F V

El resultado es una contingencia