Gabriel García Márquez escribió Cien años de soledad o La Ilíada. Si y solo si es un escritor brillante e ingenioso.
• Definir las proposiciones simples del argumento.
• Definir la expresión del argumento en lenguaje simbólico o formal.
• 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)
• 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
La proposicion dada en lenguaje simbolico se puede presentar como (p∨q) ⇔r
Para pasar a un lenguaje simbolico: colocamos las proposiciones que nos dan y formamos las escrituras de forma simbolica tradicional. Procedemos
p: Gabriel Gabriel García Márquez escribió Cien años de soledad
q: Gabriel García Márquez escribió la Ilíada
r: Gabriel García Márquez es un escritor brillante e ingenioso
Entonces como tenemos: Gabriel García Márquez escribió Cien años de soledad o La Ilíada, en simbolico sera (p∨q)
Si y solo si se presenta bajo el simbolo ⇔, entonces tenemos que:
(p∨q) ⇔r
Luego se puede formar la tabla de la verdad de acuerdo a los conocimientos ya adquiridos:
Tabla de Verdad:
p | q | r | p∨q |p∨q↔r
V V V V V
V F V V V
F V F V F
F F F F F