EJERCICIO 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 la expresión del argumento en lenguaje simbólico o formal.

p: Empresas estadounidenses no pueden negociar con empresas chinas

q: Google es una empresa estadounidense

r: Huawei es una empresa china

o: no tiene Android de Google.

(¬p ∨ q) ∧ (r→¬o): 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.

 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)

(¬p ∨ q)∧ ( r→¬o)

Tautología: Es una expresión lógica que resulta verdadera para cualquier interpretación; es
decir, para cualquier asignación de valores de verdad. La construcción de una tabla de verdad
es un método efectivo para determinar si una expresión cualquiera es una tautología o no.

Contradicción: Una proposición es una contradicción, si es falsa para todos sus valores de
verdad.

Contingencia: Una proposición es una contingencia si no es ni verdadera ni falsa

independientemente de los valores de verdad de las proposiciones simples que la componen.
 (¬p ∨ q)∧ (
P q R s r→¬o)
V v v v v
V v v f f
V v f v v
V v f f v
V f v v f
V f v f f
V f f v f
V f f f f
F v v v v
F v v f f
F v f v v
F v f f v
F f v v f
F f v f v
F f f v v
F f f f v

Por lo tanto, es una contingencia tiene valores de verdad verdaderos y falsos