PREGUNTAS 2, 3 Y 4 DEL PARCIAL DE TERICOS

Entrega de las respuestas: mircoles 2 de julio. No habr prrrogas.

2 Explique la siguiente afirmacin: El hecho de que existe una
multiplicidad de sistemas formales implica que la lgica formal no
puede proporcionar un veredicto final acerca de la validez de los
argumentos en lenguaje natural.
3 Una frmula proposicional es una consecuencia analtica de un
conjunto de frmulas proposicionales si y slo si una consecuencia
lgica clsica de y todas las variables proposicionales que aparecen
en aparecen tambin en . La nocin de consecuencia analtica
pretende formalizar la idea de que la conclusin de un argumento
deductivo vlido debe estar contenida en sus premisas.
a) Tiene esta relacin de consecuencia analtica las propiedades de
reflexividad, corte y monotona? Justifique su respuesta. Sugerencia:
Tenga en cuenta que la relacin de consecuencia lgica clsica tiene las
propiedades de reflexividad, corte y monotona.
b) Resultan el ECQ (ex contradictione quodlibet) y el VEQ (verum ex
quolibet sequitur) invlidos de acuerdo a la caracterizacin de la
relacin de consecuencia analtica? Justifique su respuesta.
c) Resulta alguna de estas reglas clsicas invalidada por esta
caracterizacin de la consecuencia analtica: E, I, I, E? Justifique su
respuesta.

4 Enuncie y explique el significado y la importancia de los
metateoremas de correccin y completitud para la lgica de primer
orden.