Pontificia Universidad Javeriana

Facultad de Filosofa
Profesor: Luis Eduardo Suarez
Segundo taller de lgica
Monitor: Eduardo Rincn Alfonso

Responda de manera correcta, clara, ordenada y precisa los siguientes puntos

I.
1.

2.

3.

4.

Responda las siguientes preguntas

Explique qu es la lgica
La lgica es la ciencia que estudia la validez formal de los razonamientos. Entiendase
razonamiento como una estructura lingstica compuesta por un conjunto de premisas y
una conclusin que se sigue de ellas. Debido a que el carcter vlido del razonamiento tan
solo es otorgado en virtud de la forma se habla de validez formal.
Explique por qu la lgica puede considerarse como una teora de la deduccin con base
en lo visto en el curso sobre lgica proposicional
La lgica proposicional se entiende como aquel sistema formal donde las constantes
lgicas llamadas conectivos representan conexiones u operaciones entre las
proposiciones. Una de las conexiones entre un tipo de proposiciones, las frmulas lgicas,
es la implicacin. Con base en esto es posible considerar la lgica como una teora de la
deduccin debido a la implicacion, puesto que cuando se habla de deduccin se est
diciendo cmo de algo se llega a algo ms. Al igual que la misma lgica que se encarga de
la validez formal de los razonamientos, cmo de unas premisas se llega a conclusiones. Se
considera la lgica como una teora de la deduccin en la medida en la que a esta ciencia
le interesa la implicacin, que la conclusin se siga necesariamente de las premisas. La
lgica proposicional muestra que aplicando el condicional y mirando su tabal de verdad,
independientemente del valor da una implicacin que vendra siendo un esquema vlido
de razonamiento
Explique el funcionamiento del condicional con base en su tabla de verdad.
Condicional: lo que es enunciado por el antecedente es suficiente para derivar lo que
enuncia el consecuente. Es verdadero siempre y cuando el consecuente est realmente
implicado por el antecedente. En el momento en el que el antecedente es verdadero y aun
as el consecuente no lo es, se est incumpliendo la condicionalidad.
Enuncie con qu conector lgico se realiza el test de implicacin y equivalencia, y
explique por qu se emplea tal conectivo.
En la implicacin se utliza el conectivo condcional puesto que ste supone si A entonces B,
es decir que B dependa de A o que siempre que A entonces necesariamente B, tal como lo
dice su definicin. Debido que este conectivo es falso cuando se presenta la pareja V-F,
entonces a la hora de aplicar el test, si esto sucede entonces no hay implicacin. En cuanto
a la equivalencia se utiliza el conectivo bicondicional debido que es una doble implicacin
que debe darse desde ambas frmulas, el significado del bicondicional es que ambas
proposiciones tengan en mismo valor de verdad pues se implican mutuamente, al igual

5.

6.

7.

8.

9.

10.

II.

que en la equivalencia donde se presenta una especie de doble implicacin; entonces si

ste es tautolgico hay una equivalencia.
Explique qu es la consistencia y por qu es importante examinarla antes de examinar la
validez del razonamiento
La consistencia es cuando al menos una vez en el sistema se premisas la conjuncion es del
todo verdadera o simultaneamente verdadera. Es importante realizar este test antes del
test de validez puesto que de algo falso se puede deducir cualquier cosa que en ltima
instancia sera vlido pero trivial.
Explique cmo se realiza el test de consistencia
El test de consistencia se realiza intentando obtener todas las premisas y conjunciones con
valores verdaderos.
Explique en qu consiste el test de validez y cmo se realiza
El test de validez se realiza intentando convertir la formula en una falsedad y en caso de
que se cumpla se sabra que no se est trabajando con una tautologa sino mas bien con
una contingencia o contradiccin.
Explique en qu consiste una demostracin por reduccin al absurdo
Esta demostracin de validez consisten en agregar como nueva premisa la negacin de la
conclusin a la que se quiere llegar. En el momento en el que se alcanza una contradiccin
hay que enunciar el producto lgico con el signo (!), luego afirmar el condicional de la
negacion de la premisa entonces la contradiccin que se obtuvo, luego enunciar el
principio de no contradiccin y finalmente aplicando MTT llegar a la verdadera conclusin.
Explique en qu consiste una demostracin condicional
En esta demostracin se agrega como nueva premisa el antecedente de la conclusion y al
final se hace un condicional donde el antecedente es esa nueva premisa y el consequente
es el resultado penltimo de la demostracin.
A qu nos referimos cuando hablamos de consistencia, de validez y de verdad
Verdad: nos referimos a los valores que se le puede atribuir a una proposicion y es la
correspondencia de sta con el mundo real.
Validez: lo que se le atribuye a un razonamiento en virtud de su estructura
Consistencia: se relaciona con las premisas

Responda los siguientes puntos

1. Realice el ejercicio II de la pgina 388 del libro Introduccin a la lgica de CopiCohen
2. Para cada uno de los ejercicios del punto VI de la pgina 391 del libro de Copi-Cohen,
realice: (1) el test de consistencia ; (2) en caso de que sea consistente, realice el test
de validez y (3) en caso de que el razonamiento sea vlido, realice una demostracin
directa y una demostracin por reduccin al absurdo.

3. De los mismos ejercicios del anterior punto, realice una demostracin condicional de
los ejercicios 1, 6, 9, 10, 11, 13, 15 y 17, en caso de que tales ejercicios sean
consistentes y vlidos.