LÓGICA – Facultad de Psicología – 1er cuatrimestre -2021. Prof. Bruno Sbrancia.

EJERCITACIÓN COMPLEMENTARIA: FORMALIZACIÓN EN LÓGICA PROPOSICIONAL Y PRUEBA

DE VALIDEZ POR MÉTODO INDIRECTO.

I) Traduzca los siguientes razonamientos al lenguaje formal de la lógica proposicional

y decida su validez o invalidez mediante el método indirecto de asignación de valores
de verdad:

1) Sócrates fue una figura histórica, o los registros de que existió son falsos. Fue una
figura histórica. Luego, los registros de que existió no son falsos.

2) Sócrates fue una figura histórica, o los registros de que existió son falsos. Los registros
de que existió no son falsos. Se sigue que fue una figura histórica.

3) Si el concepto cartesiano de “sustancia” es equívoco, entonces Spinoza tiene razón.

Pero Spinoza tiene razón sólo si la distinción entre mente-cuerpo como sustancias
separadas puede ser puesta en cuestión. Por lo tanto, el concepto cartesiano de
sustancia no es equívoco o la distinción mente-cuerpo puede ser cuestionada.

4) Llueve si y sólo si se dan las condiciones meteorológicas o se la induce con yoduro de

plata. Por lo tanto, llueve sólo si se dan las condiciones meteorológicas o se la induce
con yoduro de plata.

5) Si las leyes son buenas y su cumplimiento es estricto, disminuirá el delito. Si el

cumplimiento estricto de la ley hace disminuir el delito, entonces nuestro problema es
la corrupción. Las leyes son buenas, luego nuestro problema es la corrupción.

6) Es suficiente el cerrojo haya sido levantado desde el interior, para que el ladrón pueda
haber atravesado la puerta. Si el cerrojo fue levantado desde el interior entonces el
mayordomo está implicado en el delito. En efecto, el cerrojo fue levantado desde
dentro. Por consiguiente, el ladrón atravesó la puerta y el mayordomo está implicado
en el delito.

7) Sabe reflexionar si desdeña los prejuicios. Si sabe reflexionar y desdeña los prejuicios,
entonces tiene mentalidad racional. En consecuencia, sólo si no sabe reflexionar, carece
de mentalidad racional.

8) Para que el trabajador no vaya a la huelga es condición necesaria que reciba un salario
digno. Pero, si esto último no ocurre, no cumplirá con su trabajo ni con su familia. Por lo
tanto, o tiene un salario digno o no cumple con su trabajo, dado que va a la huelga o no
cumple con su familia.

9) Es condición necesaria que entendamos lo que pasa y diseñemos una estrategia

adecuada, para que logremos impedir mayores daños. De aquí que, si no entendemos
lo que pasa o no diseñamos una estrategia adecuada, no lograremos impedir mayores
daños.
LÓGICA – Facultad de Psicología – 1er cuatrimestre -2021. Prof. Bruno Sbrancia.

10) Estudiaré para el final de Lógica sólo si no estudio para el final de Antropología; pero
es condición suficiente que estudie para el parcial de Psicología para que no pueda
preparar Filosofía. Se sigue que o bien podré estudiar para el parcial de Psicología, o bien
no estudiaré para el final de Lógica, puesto que prepararé Filosofía o estudiaré para el
final de Antropología.

11) Si los niveles de precipitación permanecen sin cambio y el calentamiento global se

intensifica, los niveles oceánicos aumentarán y algunos puertos marítimos se inundarán.
Pero los puertos marítimos no se inundarán si el calentamiento global se intensifica. Por
lo tanto, o los niveles de precipitación no permanecen sin cambio o el calentamiento
global no se intensificará.

II)Decida si los siguientes esquemas de argumento son válidos o inválidos empleando

el método indirecto de asignación de valores de verdad:

1) p  q, s  q, r  p /  (s  r)

2) (p  q)  r, (p  q)r / p  (q  r)

3) (p  q), (p  q)  r, (p  q)r / r

4) p (q r), (p r) → (s t) / s

5) p  (q  r) / (p  q)  (p  r)