EJERCICIO 2

1. Definir las proposiciones simples del argumento.

2. Definir la expresión del argumento en lenguaje simbólico o formal.
3. 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)
4. 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.

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.

Proposiciones simples
R//

P= google es una empresa estadounidense

Q= huawei es una empresa china
R= huawei android no tiene google

[( p ∧¬q) )] → ¬r