Actividades Tema 4 - Ejercicio 13: Transformar argumento sobre Aristóteles a lenguaje simbólico

Lectura

Actividad 13 - Transformar argumento al lenguaje simbólico

Instrucción: Transformo el siguiente argumento a un lenguaje simbólico:

Si es cierto que Aristóteles nació en Estagira y que fue tutor de Alejandro Magno y, además, que, si nació en Estagira, era macedonio por nacimiento, entonces era efectivamente macedonio.

Proposiciones simples:

• p = 'Aristóteles nació en Estagira'
• q = 'Aristóteles fue tutor de Alejandro Magno'
• r = 'Aristóteles era macedonio'

Forma simbólica esperada: ((p \land q) \land (p \rightarrow r)) \rightarrow r

(Espacio de escritura para la respuesta del estudiante)

Transformo el siguiente argumento a un lenguaje simbólico: 'Si es cierto que Aristóteles nació en Estagira y que fue tutor de Alejandro Magno y, además, que, si nació en Estagira, era macedonio por nacimiento, entonces era efectivamente macedonio.'

Glosario

• formalización: Proceso de transformar un argumento del lenguaje natural a un lenguaje simbólico formal mediante variables y conectores lógicos
• conjunción (∧): Conector lógico 'y' que une dos proposiciones; verdadero solo cuando ambas son verdaderas
• argumento hipotético encadenado: Argumento donde una condición se combina con otra para derivar una conclusión mediante modus ponens