EJERCICIO 2

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2

A. Cali es la capital de la salsa o Medellín es la ciudad de la eterna primavera si y solo si
Bucaramanga es la ciudad bonita y Barranquilla es la puerta de oro de Colombia.

 Definir las proposiciones simples del argumento.

P=cali es la capital de la salsa

Q=medellin es la ciudad de la eterna primavera
R=Bucaramanga en la ciudad bonita
S=barranquilla es la puerta de oro de Colombia

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

[(P∨Q)↔(R∧S)]

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador
Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al
recurso)

Tabla – Resultados Simulador Lógica UNAD

P q r s (p∨q)↔(r∧s)
V v v v V
V v v f F
V v f v F
V v f f F
V f v v V
V f v f F
V f f v F
V f f f F
 P q r s (p∨q)↔(r∧s)
F v v v V
F v v f F
F v f v F
F v f f F
F f v v F
F f v f V
F f f v V
F f f f V

 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 R S (P∨Q) (P∨Q)↔R (P∨Q)↔(R∧S)

V V V V V V V
V V V F V V F
V V F V V F F
V V F F V F F
V F V V V V V
V F V F V V F
V F F V V F F
V F F F V F F
F V V V V V V
F V V F V V F
F V F V V F F
F V F F V F F
F F V V F F F
F F V F F F V
F F F V F V V
F F F F F V V

 Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia

Rta/ contingencia
 EJERCICIO 3
Descripción del ejercicio:

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

desarrollo del ejercicio 3:

A. (¬ p ∧ r) ↔¿)
 Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto académico

P= La UNAD es una universidad presencial,

Q= es una universidad virtual de fácil aprendizaje
R= te esfuerzas mucho
S= dedicas tiempo
ORACION COMPUESTA
La UNAD no es una universidad presencial y es una universidad virtual de fácil aprendizaje, si solo si, te
esfuerzas mucho o dedicas tiempo

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador
Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al
recurso)

JTabla – Resultados Simulador Lógica UNAD

p Q r s (~p∧r)↔(q∨s)
v V v v F
v V v f F
v V f v F
 p Q r s (~p∧r)↔(q∨s)
v V f f F
v F v v F
v F v f V
v F f v F
v F f f V
f V v v V
f V v f V
f V f v F
f V f f F
f F v v V
f F v f F
f F f v F
f F f f V

 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 (~P∧R) (~P∧R)↔Q (~P∧R)↔(Q∨S)

V V V V F F F F
V V V F F F F F
V V F V F F F F
V V F F F F F F
V F V V F F V F
V F V F F F V V
V F F V F F V F
V F F F F F V V
F V V V V V V V
F V V F V V V V
F V F V V F F F
F V F F V F F F
F F V V V V F V
F F V F V V F F
F F F V V F V F
F F F F V F V V

 Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia
Rta/ contingencia