Segundo parcial domiciliario

1. El siguiente esquema inferencial se suele denominar “falacia de la permutación

indebida de cuantificadores”:

a) Construya un contraejemplo de la validez de este esquema.

b) ¿Es posible construir un contraejemplo de su validez si el dominio de
interpretación D tiene un solo miembro? Justifique su respuesta.

2. Los siguientes esquemas inferenciales suelen ser considerados como paradojas de la

relevancia, aunque son clásicamente válidos:

a) ¿Cómo se justifica semánticamente la validez de estos esquemas?

b) Construya una derivación de las conclusiones de esos esquemas argumentales
a partir de sus premisas.

3. Pruebe, utilizando la definición de la relación de consecuencia semántica de la lógica

proposicional, que esa relación tiene la siguiente propiedad de corte unitario o
transitividad:

Si Γ ⊨ φ y {φ} ⊨ ψ, entonces Γ ⊨ ψ