2.

Empresas estadounidenses no pueden negociar con empresas chinas

o Google es una empresa estadounidense y Si Huawei es una empresa
china entonces no tiene Android de Google.
Definir las proposiciones simples del argumento.

p: Empresas estadounidenses no pueden negociar con empresas chinas

q: Google es una empresa estadounidense

r: Huawei es una empresa china

s: Huawei tiene Android de Google

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)
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 ~ s p ∨ q (p ∨ q (p ∨ q) ∧ r =>~ s
)∧r

v v v v f v V F

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

v v f f v V F V

v f v v f V V F

v f v f v V V V

v f f v f V F V

v f f f v V F V

f v v v f V V F

f v v f v V V V

f v f v f V F V

f v f f v V F V

f f v v f F F V

f f v f v F F V

f f f v f F F V

f f F f v F F V

A continuación, encontrará proposiciones compuestas en lenguaje

simbólico (argumento) para el desarrollo del ejercicio 3:

[(𝑝 ⋁𝑞) ⟷ 𝑟]
A partir de la proposición compuesta en lenguaje simbólico que haya
seleccionado deberá:

 Definir las proposiciones simples

p: realizo las actividades a tiempo

q: busco asesoría para cumplir

r: obtengo buenas calificaciones

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.

Yo realizo mis actividades académicas a tiempo y busco asesoría para

cumplir con las actividades propuestas por lo tanto obtengo buenas
calificaciones.

 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)
 Generar una tabla de verdad manualmente a partir del lenguaje
simbólico (En Word, Excel o foto del desarrollo manual).

P q r 𝑝 ⋁𝑞 [(𝑝 ⋁𝑞) ⟷ 𝑟]

v V V v v

v V F v f

v F V v v

v F F v f

f V V v v

f V F v f

f F V f f
 f F f f v

contingencia