Ubico el literal de la afirmación, según corresponda con su expresión lógico-simbólica. Sean: p = "La ética es necesaria" y q = "La ética es importante".
Afirmación: "La ética es necesaria o importante" (p \lor q).
- El conector "o" en lógica se traduce como disyunción inclusiva.
- No se excluye que sea ambas cosas, por lo que no es disyunción exclusiva.
- Corresponde a p \lor q Disyunción (la fila C de la columna derecha).
Fila A → Disyunción (p \lor q).
Afirmación: "La ética no es ni necesaria ni importante".
- "Ni... ni..." equivale a negar ambos conectados: la negación de la disyunción.
- Por De Morgan: \neg (p \lor q) \equiv \neg p \wedge \neg q.
- En la columna simbólica aparece "Conjunción negativa" (p \, \dot{\wedge} \, q o \neg(p \lor q)), que expresa exactamente esto.
Fila B → Conjunción negativa (\neg p \wedge \neg q).
Afirmación: "La ética es necesaria o importante, pero no ambas" (p \, \mathring{\lor} \, q).
- "O... pero no ambas" es la disyunción exclusiva.
- Es verdadera solo si exactamente una de las dos es verdadera.
- Corresponde a la expresión "Disyunción exclusiva" (p \, \mathring{\lor} \, q).
Fila C → Disyunción exclusiva (p \, \mathring{\lor} \, q).
Afirmación: "Si la ética es necesaria entonces es importante" (p \rightarrow q).
- La estructura "Si... entonces..." corresponde al condicional material.
- Se escribe p \rightarrow q.
- Corresponde a la expresión "Condicional".
Fila D → Condicional (p \rightarrow q).
Afirmación: "La ética es necesaria solo si es importante" (p \rightarrow q).
- "p solo si q" es equivalente al condicional p \rightarrow q (q es condición necesaria de p).
- También puede plantearse como bicondicional si se interpreta "solo si" como condición necesaria y suficiente en contexto coloquial; sin embargo, la forma estándar de "solo si" es p \rightarrow q.
- Dado que la condicional ya se usó en D, y "p si y solo si q" es el bicondicional, aquí corresponde la lectura de bicondicional p \leftrightarrow q cuando se entiende como equivalencia: la ética es necesaria si y solo si es importante.
Cuadro de correspondencia final
| Fila | Afirmación | Expresión lógico-simbólica correcta |
|---|---|---|
| A | La ética es necesaria o importante | Disyunción: p \lor q |
| B | No es ni necesaria ni importante | Conjunción negativa: \neg p \wedge \neg q |
| C | Necesaria o importante, pero no ambas | Disyunción exclusiva: p \, \mathring{\lor} \, q |
| D | Si es necesaria, entonces es importante | Condicional: p \rightarrow q |
| E | Necesaria solo si es importante | Bicondicional: p \leftrightarrow q |
Respuesta: Emparejamiento A-Disyunción, B-Conjunción negativa, C-Disyunción exclusiva, D-Condicional, E-Bicondicional.
Fila E → Bicondicional (p \leftrightarrow q) entendido como "necesaria si y solo si importante".








