Parcial domiciliario – Segunda parte

1. a)¿Es posible, de acuerdo a la caracterización intuitiva (modal) de consecuencia

lógica, que una oración falsa sea consecuencia lógica de un conjunto de premisas,
ninguna de las cuales es falsa? Justifique su respuesta.
b)¿Es posible, de acuerdo a la caracterización intuitiva (modal) de implicación
lógica, que una oración falsa implique lógicamente a una oración verdadera?
Justifique su respuesta.

2. Si no existe ningún contraejemplo de la validez de un argumento proposicional —es

decir, si no existe ninguna valuación que verifique todas sus premisas y falsifique su
conclusión—el argumento es válido. La conclusión de un argumento proposicional
es una consecuencia lógica del conjunto de sus premisas si y sólo si el argumento es
válido.
La ausencia de contraejemplos se debe en algunos casos a la tautologicidad de la
conclusión del argumento, como en el caso del siguiente argumento:
{p, (p  r)} / (q ˅ q). Para evitar estos casos, en los que las premisas no parecen
tener ninguna relación significativa con la conclusión, puede modificarse la
definición de validez del siguiente modo: un argumento proposicional es válido si y
sólo si (i) toda valuación que verifique las premisas verifica la conclusión y (ii) hay
por lo menos una valuación que falsifica la conclusión. Denotemos a la relación de
consecuencia caracterizada por esta definición con ╞c.
¿Goza la relación de consecuencia ╞c de las propiedades estructurales de
reflexividad, monotonía y transitividad? Justifique su respuesta.

3. Determine si las siguientes afirmaciones son verdaderas o falsas y justifique su

respuesta (sin justificación el ítem no recibe puntaje):
a) Hay fórmulas de la lógica de predicados que no son universalmente válidas,
pero son derivables a partir del conjunto vacío de premisas.
b) Hay fórmulas de la lógica proposicional que no son derivables a partir del
conjunto vacío de premisas y no son tautologías.
c) Si (  ) es una fórmula tautológica, entonces es  es derivable a partir del
conjunto unitario de premisas {}.