Ejercicio de Lógica — UNI

Pista: separa el enunciado en sus proposiciones simples antes de formalizar, y presta especial atención a la doble negación ("no manifestaría insatisfacción", que en realidad equivale a afirmar la satisfacción).

1. (Identificamos las proposiciones simples: p = "Matías es un hombre mayor"; q = "Matías tiene experiencia en el amor" (negada en el texto: "inexperto"); s = "Matías manifiesta satisfacción" (con la insatisfacción representada como ~s).)

2. (La primera parte del enunciado, "Matías es un hombre mayor, aunque inexperto en el amor", combina p con la negación de q mediante una conjunción (el conector "aunque" equivale, en este caso, a una conjunción "y").) $p \land \sim q$

3. (La segunda parte, "Si tuviese experiencia en el amor, no manifestaría insatisfacción", es un condicional cuyo antecedente es q ("tuviese experiencia") y cuyo consecuente es la doble negación de la insatisfacción, es decir, la afirmación de la satisfacción (~(~s) = s).) $q \rightarrow s$

4. (Unimos ambas partes del enunciado mediante una conjunción, pues se trata de dos ideas afirmadas en conjunto sobre Matías.) $(p \land \sim q) \land (q \rightarrow s)$

Por lo tanto, la formalización correcta es $(p \land \sim q) \land (q \rightarrow s)$.