Simboliza el siguiente argumento en lenguaje lógico formal:

'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.'

1. Identificar las proposiciones simples: p (nació en Estagira), q (fue tutor de Alejandro), r (era macedonio).
2. Reconocer la conjunción: p ∧ q.
3. Reconocer el condicional anidado: p → r.
4. Combinar: (p ∧ q) ∧ (p → r) forma el antecedente del condicional principal.
5. El consecuente es r.
6. Fórmula final: [(p ∧ q) ∧ (p → r)] → r

Ejemplo 1

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.

Preguntas abiertas

Respuesta orientativa: Porque tiene la estructura: se afirma p (nació en Estagira), existe el condicional p → r (si nació en Estagira era macedonio), y de ambas se concluye r (era macedonio). Eso es exactamente el modus ponens: de p y p→r se sigue r.

Tablas

Glosario

• Conjunción (∧): Conectivo lógico que une dos proposiciones expresando que ambas son verdaderas simultáneamente. En lenguaje natural: 'y', 'además', 'también'.
• Modus ponens: Regla de inferencia: si p → q y p, entonces q. Es la forma de razonamiento más básica del condicional.
• Antecedente compuesto: Antecedente de un condicional formado por varias proposiciones unidas con conectivos.