▪ 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.
o Definir las proposiciones simples del argumento.
o Definir la expresión del argumento en lenguaje simbólico o formal.
o 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)
o 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.
Respuestas a la pregunta
Proposiciones y Tablas de verdad
1. Definir las proposiciones simples del argumento
¬p: Empresas estadounidenses no pueden negociar con empresas chi-nas
q: Goo-gle es una empresa estadounidense
r: Hua-wei es una empresa chi-na
¬o: no tiene An-droid de Goo-gle.
2. Definir la expresión del argumento en lenguaje simbólico o formal.
¬p ∨ q: Empresas estadounidenses no pueden negociar con empresas chi-nas o Goo-gle es una empresa estadounidense
r→¬o: Si Hua-wei es una empresa chi-na entonces no tiene An-droid de Goo-gle.
(¬p ∨ q)∧ ( r→¬o): Empresas estadounidenses no pueden negociar con empresas chi-nas o Goo-gle es una empresa estadounidense y Si Hua-wei es una empresa chi-na entonces no tiene An-droid de Goo-gle.
Generar Tabla de la Verdad.
(¬p ∨ q)∧ ( r→¬o)
El resultado es una tautología, contingencia o contradicción.
Tautología una proposición que es cierta para cualquier valor de verdad de sus componentes. Por tanto, la última columna de su tabla de verdad estará formada únicamente por verdadero.
Contradicción: es la negación de una tautología, luego es una proposición falsa cualesquiera sea el valor de verdad de sus componentes. La última columna de la tabla de verdad de una contradicción estará formada únicamente por falso.
Por lo tanto es una contingencia tiene valores de verdad verdaderos y falsos
