1

Ejercicio 2: Proposiciones y Tablas de verdad

C: 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.

Lenguaje natural del argumento

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.

P: Empresas estadounidenses

q: Pueden negociar con empresas chinas

r: Huawei es una empresa china

s: Tiene Android de Google.

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

Lenguaje simbólico del argumento.

( ¬ p ⋁ q ) ⋀ (r → s)

2n=2 4=2∗2∗2∗2=16
 2

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

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.

El resultado de la tabla es contingencia porque son verdaderas y falsas.

p q r s ¬p ( ¬ p ⋁ q) (r → s) ( ¬ p ⋁ q ) ⋀ (r → s)

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