Transformar a 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."
Identificamos las proposiciones atómicas (letras proposicionales):
- p: Aristóteles nació en Estagira.
- q: Fue tutor de Alejandro Magno.
- r: Era macedonio por nacimiento.
- s: Era efectivamente macedonio.
Analizamos la estructura: es una condicional cuya antecedente es una conjunción de tres elementos y cuyo consecuente es s.
Primer elemento del antecedente: "Aristóteles nació en Estagira" \rightarrow p.
Segundo elemento: "fue tutor de Alejandro Magno" \rightarrow q. Unidos por "y": p \land q.
Tercer elemento: "si nació en Estagira, era macedonio por nacimiento" \rightarrow condicional con antecedente p y consecuente r: p \rightarrow r.
Unimos los tres elementos con "y, además" (conunción): (p \land q) \land (p \rightarrow r).
Construimos la condicional principal "Si [antecedente], entonces [s]":
[(p \land q) \land (p \rightarrow r)] \rightarrow s
Equivalentemente: (p \land q \land (p \rightarrow r)) \rightarrow s.
[(p \land q) \land (p \rightarrow r)] \rightarrow s, con p: nació en Estagira; q: tutor de Alejandro Magno; r: macedonio por nacimiento; s: efectivamente macedonio.
