Leonardo Daniel Robles Caloca

TAREA # 4

Para los siguientes razonamientos trátese de encontrar la forma lógica de los mismos y, de ser
posible, inténtese probar si son correctos o incorrectos.

a) Si el mercado es perfectamente libre, entonces un solo proveedor no puede afectar los

precios. Si un solo proveedor no puede afectar los precios, entonces hay un gran número
de proveedores. Hay, en efecto, un gran número de proveedores, En consecuencia, el
mercado es perfectamente libre.

M= El mercado es perfectamente libre.

A= Un solo proveedor puede afectar los precios.
G= Hay un gran número de proveedores

1) M → ⌐A
2) ⌐A → G
3) G
__________
.: M

M A G ( ( ( M → ⌐ A ) ᴧ ( ( ⌐ A → G ) ᴧ G ) ) → M )
V V V F F V V V
V V F F F V F V
V F V V V V V V
V F F V F F F V
F V V V V V V F
F V F V F V F V
F F V V V V V F

F F F V F F F V

Como podemos observar en la tabla de verdad, encontramos dos casos falsos. Por lo
tanto, es un argumento incorrecto.
 b) Si los precios son altos, entonces los salarios son altos, Los precios son altos o hay control
de precios. También, si hay control de precios, entonces no hay inflación, En consecuencia,
los salarios son altos.

P= Los precios son altos.

S= Los salarios son altos.
C= Hay control de precios.
I= Hay inflación.

1) P → S
2) P V C
3) C → ⌐I
_________
.: S
P S C I ( ( ( ( P → S ) ᴧ ( P v C ) ) ᴧ ( C → ⌐ I ) ) → S )
V V V V V V V F F V
V V V F V V V V V V
V V F V V V V V V V
V V F F V V V V V V
V F V V F F V F F V
V F V F F F V F V V
V F F V F F V F V V
V F F F F F V F V V
F V V V V V V F F V
F V V F V V V V V V
F V F V V F F F V V
F V F F V F F F V V
F F V V V V V F F V
F F V F V V V V V F
F F F V V F F F V V
F F F F V F F F V V

Como se puede observar, el argumento presenta solamente un caso falso. Por lo tanto, basta con
ese caso para que el argumento sea incorrecto.

c) Si se elevan los precios o los salarios, habrá inflación. Si hay inflación, entonces el congreso
debe regularla, o el pueblo sufrirá. Si el pueblo sufre, los congresistas se harán
 impopulares. El congreso no regulará la inflación y los congresistas no se harán
impopulares. En consecuencia, no subirán los salarios.

E= Se elevan los precios.

S= Se elevan los salarios.
I= Hay inflación.
R= El congreso regula la inflación.
P= El pueblo sufre.
C= Los congresistas se hacen impopulares.

1) (E V S) → I
2) I → (R V P)
3) P→C
4) ⌐R ᴧ ⌐C
___________
.: ⌐S

Reducción al absurdo
Si suponemos lo contrario de la conclusión, tenemos que S=V. Ahora, I=V para que el
condicional no sea falso, y como habíamos dicho S=V y E=V/F. (R v P) tiene que ser
verdadero, por lo que asignamos R=V y P=V/F. Después, C=V para garantizar que el
condicional no sea falso, y P=V/F. Ahora, R=V y C=V, pero para que 4) no sea falso,
necesitamos R=F y C=F, por lo que se contradice dado lo que habíamos asignado. Por lo
tanto, el argumento es correcto.

d) Si el número n es positivo, entonces n al cuadrado es positivo, Si n es negativo, entonces n

al cuadrado es positivo. N es positivo o negativo. En consecuencia, n al cuadrado es
positivo.

N= n es positivo.
C= n al cuadrado es positivo.

1) N → C
2) ⌐N → C

3) N V ⌐N
___________
.: C

N C ( ( ( ( N → C ) ᴧ ( ¬ N → C ) ) ᴧ ( N v ¬ N ) ) → C )
V V V V V V V V
V F F F V F V V
F V V V V V V V
F F V F F F V V
El argumento es correcto, ya que su tabla de verdad es tautológica.
 e) Cuando las huestes árabes alcanzaron la ciudad de Alejandría, su caudillo, el Califa Omar,
tuvo que enfrentarse al siguiente problema:

O los libros de la Biblioteca de Alejandría contienen las enseñanzas del Corán o no las
contienen. Si contienen las enseñanzas del Corán, son superfluos, y si son superfluos deben
ser quemados. Si no contienen las enseñanzas del Corán son nocivos, y son nocivos deben ser
quemados. Por consiguiente, los libros de la Biblioteca de Alejandría deben ser quemados.

C= Los libros de la Biblioteca de Alejandría contienen las enseñanzas del Corán.

S= Los libros son superfluos.

Q= Los libros superfluos deben ser quemados.

N= Los libros son nocivos.

1) C V ⌐C
2) (C → S) ᴧ (S → Q)
3) (⌐C → N) ᴧ (N → Q)
_______________
.: Q

Reducción al absurdo
Si suponemos que Q=F. Ahora, C=V, entonces C v ⌐C es verdadero. Después, para que la
conjunción en 2) sea verdadera C=V y S=V; S=V y Q=V, pero ya habíamos dicho que Q=F, por lo que
se da una contradicción y el argumento es correcto.

f) En tiempos de William Harvey se creía que la sangre se generaba en el corazón y que de él

fluía sólo en la dirección de salida. El siguiente argumento resume el ataque de Harvey
contra esta creencia:

El corazón de un hombre expulsa en una hora un volumen de sangre cuyo peso es mayor que
el de su propio cuerpo. Si esto es así, y si la sangre fluye sólo del corazón hacia fuera, entonces
el corazón genera más sangre en una hora que el peso de un hombre. Pero el corazón no
puede hacer esto. Si la sangre no fluye sólo hacia fuera, entonces debe circular a lo largo del
cuerpo y volver a entrar al corazón, Así, la creencia de que la sangre fluye sólo hacia fuera es
falsa, y la concepción de que la sangre circula a lo largo del cuerpo y vuelve a entrar al corazón
es verdadera.

E= El corazón de un hombre expulsa en una hora un volumen de sangre con mayor peso que el
de su propio cuerpo.

F= La sangre fluye solo del corazón hacia afuera.

C= La sangre circula a lo largo del cuerpo y vuelve a entrar al corazón.

 1) E
2) (E ᴧ F) → E
3) ⌐E
4) ⌐F → C
___________
.: (⌐F ᴧ C)

E F C ( ( E ᴧ ( ( E ᴧ F )  E ) ) ᴧ ( ¬ E ᴧ ( ¬ F  C ) ) )  ¬ F ᴧ C

V V V V V V F F V V V

V V F V V V F F V V V

V F V V F V F F V V V

V F F V F V F F F V F

F V V F F V F V V V V

F V F F F V F V V V V

F F V F F V F V V V V

F F F F F V F F F V F

El argumento es correcto, ya que su tabla de verdad es tautológica.

g) Si las cosas participan de las Formas, entonces o bien las cosas reciben la Forma total o
bien reciben parte de la Forma. Si reciben parte de la Forma, entonces la Forma es
dividida. Si reciben la Forma total, entonces la Forma es separada de sí misma (por existir
en diferentes tiempos y lugares). Las Formas no pueden ser ni divididas ni separadas de sí
mismas. Por tanto, las cosas no participan de las Formas. (Platón, Parménides)

P= Las cosas participan de las formas.

T= Las cosas reciben la Forma total.
A= Las cosas reciben parte de la Forma.
D= Las formas pueden ser divididas.
S= La Forma es separad de sí misma.

1) P → (T V A)
2) A→D
3) T→S
4) ⌐D ᴧ ⌐S
___________
.: ⌐P
Reducción al absurdo

Si suponemos los contrario a la conclusión ⌐P=F, entonces P=V. Ahora bien, en 1) P=V y, para que
el condicional sea verdadero, T=V y A=V. En 2), como antes habíamos dicho que A=V, D=V
forzosamente para que el condicional no sea falso. Si en 3), T=V (por lo mencionado
anteriormente), S=V para garantizar la verdad del condicional. En 4), para que la conjunción sea
verdadera, D=F y S=F, pero se contradice con lo que ya se había dicho. Por lo tanto, el argumento
es correcto.