Ejercicio 12

A. ¿Qué conclusión se puede sacar, si se puede sacar alguna, por la ley de silogismo hipotético de
los conjuntos de proposiciones siguientes?

1. Si el agua se hiela, entonces sus moléculas forman cristales. Si las moléculas forman cristales,
entonces el agua aumenta de volumen.

Solución

(1) H → C P1

(2) C → V P2

(3) H → V SH12

Conclusión:

Si el agua se hiela entonces el agua aumenta de volumen

2. Si Tomás conduce a la velocidad de 50 km/h, entonces en 9 horas habrá recorrido 450 km. Si en
9 horas ha recorrido 450 km, entonces habrá recorrido 90 km más que ayer en el mismo periodo.

Solución

(1) T → R P1

(2) R → A P2

(3) T → A SH12

Conclusión:

Si Tomás conduce a la velocidad entonces habrá recorrido 50 kms más que ayer

3. Si Mr. Lincoln es elegido, entonces los Estados del Sur se separarán con seguridad. Sí los Estados
del Sur se separan, entonces estallará una guerra civil.

Solución

(1) L → S P1

(2) S → G P2

(3) L → G SH12

Conclusión

Si mr lincoln es elegido entonces estallará una guerra civil

4. Sí un haz fino de fotones penetra en un gas en una cámara de niebla, entonces los fotones
expulsan electrones de los átomos del gas. Si los fotones expulsan electrones de átomos de gas,
entonces la energía de la luz se convierte en energía cinética de los electrones.

Solución
(1) G → F P1

(2) F →C P2

(3) G→ C SH12

Conclusión

Si los fotones expulsan electrones de átomos de gas, entonces la energía de la luz se convierte en
energía cinética de los electrones.

5. Si el número de representantes en el Senado está en relación con la población de cada Estado,

entonces Nueva York tiene más senadores que Nevada. Si Nueva York tiene más senadores que
Navada, entonces Nueva York tiene más de dos senadores.

Solución

(1)P → N P1

(2) N →S P2

(3) P → S SH12

Conclusión

Nueva york tienen más de dos senadores

B. Traducir los razonamientos en la Sección A anterior en símbolos lógicos y demostrar que su

conclusión es consecuencia lógica de las premisas.

1. Si el agua se hiela, entonces sus moléculas forman cristales. Si las moléculas forman cristales,
entonces el agua aumenta de volumen.

(1) H → C P1

(2) C → V P2

(3) H → V SH12

Conclusión:

Si el agua se hiela entonces el agua aumenta de volumen

2. Si Tomás conduce a la velocidad de 50 km/h, entonces en 9 horas habrá recorrido 450 km. Si en
9 horas ha recorrido 450 km, entonces habrá recorrido 90 km más que ayer en el mismo periodo.

Solución

(1) T → R P1

(2) R → A P2
(3) T → A SH12

Conclusión:

Si Tomás conduce a la velocidad entonces habrá recorrido 50 kms más que ayer

3. Si Mr. Lincoln es elegido, entonces los Estados del Sur se separarán con seguridad. Sí los Estados
del Sur se separan, entonces estallará una guerra civil.

Solución

(1) L → S P1

(2) S → G P2

(3) L → G SH12

Conclusión

Si mr lincoln es elegido entonces estallará una guerra civil

4. Sí un haz fino de fotones penetra en un gas en una cámara de niebla, entonces los fotones
expulsan electrones de los átomos del gas. Si los fotones expulsan electrones de átomos de gas,
entonces la energía de la luz se convierte en energía cinética de los electrones.

Solución

(1) G → F P1

(2) F →C P2

(3) G→ C SH12

Conclusión

Si los fotones expulsan electrones de átomos de gas, entonces la energía de la luz se convierte en
energía cinética de los electrones.

5. Si el número de representantes en el Senado está en relación con la población de cada Estado,

entonces Nueva York tiene más senadores que Nevada. Si Nueva York tiene más senadores que
Nevada, entonces Nueva York tiene más de dos senadores.

Solución

(1)P → N P1

(2) N →S P2

(3) P → S SH12

Conclusión

Nueva York tienen más de dos senadores

C. El ejemplo 5 en la Sección A anterior muestra el carácter hipotético de las premisas de un
silogismo hipotético. Las premisas son todas ciertas en este ejemplo. Pero, ¿qué se puede decir
acerca de la verdad de hecho de las proposiciones atómicas del Ejemplo 5? Se puede añadir una
premisa más, que se sabe que es una proposición cierta (de hecho), al razonamiento en el ejemplo
5, de forma que se puede probar que sus proposiciones atómicas no son proposiciones ciertas.
Indicar cómo se podría probar la negación de aquellas proposiciones atómicas por medio de una
demostración simbólica formal.

5. Si el número de representantes en el Senado está en relación con la población de cada Estado,

entonces Nueva York tiene más senadores que Nevada. Si Nueva York tiene más senadores que
Nevada, entonces Nueva York tiene más de dos senadores

En las proposiciones podemos observar que se está afirmando la existencia de una mayoría de
senadores en Nueva York, lo cual se constata con afirmaciones dadas a encontrar una conclusión
verídica.

Para demostrar una negación de las proposiciones se puede utilizar la siguiente simbolización:

R→ ¬N→¬(N→S)

D. Utilizar la ley del silogismo hipotético (HS) en una demostración formal para obtener una
conclusión de los siguientes conjuntos de premisas.

1.

(1) Q →¬P

(2) ¬P → R

(3) Q→ R

(1) P→R &¬S

(2) R & ¬S → T

(3) P →T

(1) SVT→RVQ

(2) R V Q →¬p

(3) S V T →¬P
4

(1) S →¬T

(2) ¬T →¬R

(3) S →¬R

E. Indicar una deducción formal de las siguientes conclusiones a partir de las premisas dadas.

l. Demostrar: ¬T

(1) (Q → R) & P P3

(2) R → T P2

(3) (Q → R) →¬T P1

(4) ¬T &P TP31

(5) ¬T S4

2. Demostrar: P

(1) ¬R

(2) ¬P → Q

(3) Q → R

(4) ¬P →R SH23

(5) P TP14

3. Demostrar: Q

(1) ¬R → S P1

(2) S → P & Q P2

(3) R → T P3

(4) ¬T P4

(5) ¬R → P & Q SH12

(6) ¬R TT34

(7) P & Q PP56

(8) Q S7

F. Dar demostraciones formales de los siguientes razonamientos.

1. Demostrar: (2+2)+2=6 → 3+3=6

(1) (2+2)+2=6 → 3x2=6 P1

(2) 3x2=6 → 3+3=6 P2

(3)(2+2)+2=6 →3+3=6 SH12

2. Demostrar: 5x-4=3x+4 → x=4

(1) 5x-4=3x+4 → 5x=3x+8 P1

(2) 2x=8 → x=4 P2

(3) 5x=3x+8 → 2x=8 P3

(4) 5X-4=3X+4 →2X=8 TP13

(5) 5X-4=3X+4→X=4 TP42

3. Demostrar: z>6 V z<y

(1) x>y → x>z P1

(2) ¬(z>6) →¬(x>y → z<7) P2

(3) x>z → z<7 P3

(4) ( X >Y →Z <7) SH13

(5) Z>6 TT24

(6) Z>6 V Z< Y LA5

4. Demostrar: x=6 V x>6

(1) X≠y → y<x P1

(2) (x>5 → y<x) → y=5 P2

(3) Y≠5 V x=6 P3

(4) x>6& X≠y P4

(5) (X>5 →Y<X) V X=6 TP23

(6) X>5 & X=6 TP54

(7) X= 6 S6

(8) X>6 S4

(9) X=6 V X>6 A 78

(5) Demostrar: x> y

(1) X≠y → x>y V x<y P1

(2) x>y V x<y → X≠4 P2

(3) x<y →¬(X≠y →x≠4) P3

(4) X≠y P4

(5) X>Y→X≠Y TP23

(6) X>Y TP 45

6. Demostrar: (Y≠O V x<z) & (x <y → x=O)

(1) x<y → x=O P1

(2) y=O → x≮y P2

(3) x<y & z=3 P3

(4) x<y → x<z P4

(5) X < Y S3

(6) Z = 3 S3

(7) X < Z PP45

(8) X < Z V Y ≠ 0 LA7

(9) Y ≠ 0 V X < Z LC8

(10) (Y ≠ 0 V X < Z) & (X < Y → X = 0) A91

7. Demostrar:¬(z≠5) V z>5

(1) x=3 → x>y

(2) x≠3 → z= 5

(3) (x=3 → x<z) →x≮z

(4) x>y → x<z

(5) NO PUDE REALIZARLO

8 Demostrar: x≠3 V 4>x

(1) 5x=20 → x=4 P1

(2) 2x=6 V x≠3 P2

(3) 2x=6 →¬ (5x-3= 17 → 4>X) P3

(4) 5x-3= 17 → 5x=2O P4

(5) X≠3→5X-3=17→4>X TP23

(6) X≠3 V 4>X 53TP

9. Demostrar: y+z=8

(1) z=5 → (y=3 → y+z=8) &. z>y) P1

(2) (xy+z= 11 → x=2) → (y=3 &. z=5) P2

(3) xy=6 → x=2 P3

(4) xy+z= 11 → xy=6 P4

(5) Y+Z=8 & Z>Y & XY+Z=11→X=2 TP12

(6) Y+Z=8 & Z>Y &X=2 TP45

(7) Y+Z=8 & Z>Y PP63

(8) Y+Z=8 S7

10. Demostrar: x+z=3 → y=3

(1) (x+y=5 → y=3) V x+z=3 P1

(2) z≠1 V (x+z=3 → x+y=5) P2

(3) x+y≠5 &. z= 1 P3

(4) Y=3 & (Z=1 V X+Z=3) TP13

(5) Y=3 S4

(6) X+Z=3 S4

(7) X+Z=3 →Y=3 A56