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 Commented [U-SDQ1]: Huawei tiene Android de Google. Commented [U-SDQ2]: Te falta una proposición simple [( p ∧¬q) )] → ¬r Commented [U-SDQ3]: Falta la tabla de verdad realizada de manera manual Commented [U-SDQ4]: Corregir de acuerdo al anterior comentario.