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.
