SOLUCIÓN EJERCICIOS EN LENGUAJE NATURAL Y CON REGLAS DERIVADAS

---

PRIMERO Ejercicio sobre la Otan

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

Natural-Derivadas

---

Simbolización Ejercicio sobre la Otan

1. P=Votamos a la derecha.
2. Q=Somos partidarios entrada en la OTAN.
3. R=Defensores enfrentamiento bloques militares.
4. S=Defendemos el pacifismo.
5. T=Reaccionarios de mucho cuidado.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre la Otan

p ® (q Ù r); (s ® Ør); (s Ú t); p; |---t

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre la Otan |--- t

• -1p ® ( q Ù r)
• -2 s ® Ø r
• -3 s Ú t
• -4 p
• 5 q Ù r [MP 1,4]
• 6 r [EC 5]
• 7 Ø s [MT 2,6]
• 8 t [TP 3,7]

---

Solución Natural-Derivadas





































































































































































































































SEGUNDO Ejercicio sobre lo Uno

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Básicas





































































































































































































































Simbolización Ejercicio sobre lo Uno

1. P=Lo uno está en movimiento.
2. Q=Movimiento sin cambio.
3. R=Movimiento de alteración.
4. S=Rotación de lo uno sobre sí mismo.
5. T=Cambio de un lugar a otro de mucho cuidado.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre lo Uno

p ® (q Ú r); Ø r; q ® (s Ú t); Ø (s Ú t); |---Ø p

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre lo Uno |--- Ú p

• -1p ® ( q Ú r)
• -2 Ø r
• -3 q ® (s Ú t)
• -4 Ø (s Ú t)
• 5 Ø q [MT 3,4]
• 6 Ø q Ù Ø r [IC 5,2]
• 7 Ø (q Ú r)[DM 6]
• 8 Ø p [MT 1,7]

---

Solución Natural-Derivadas





































































































































































































































TERCERO Ejercicio sobre Morgan1

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Morgan1

1. P=Reloj se encontraba adelantado.
2. Q=Estar a las 10 en escenario crimen.
3. R=Asesinar a su esposa.
4. S=Cenar en casa de su amante.
5. T=Es un sirvergüenza de mucho cuidado.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Morgan1

p ® (q Ù r); (s ® Ør); (s Ú t); p; |---t

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Morgan1 |--- t

• -1p ® ( q Ù r)
• -2 s ® Ø r
• -3 s Ú t
• -4 p
• 5 q Ù r [MP 1,4]
• 6 r [EC 5]
• 7 Ø s [MT 2,6]
• 8 t [TP 3,7]

---

Solución Natural-Derivadas





































































































































































































































CUARTO Ejercicio sobre Morgan2

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Morgan2

1. P=Estar a las 10 en casa de su esposa.
2. Q=Arreglar reloj averiado.
3. R=Realizar todo tipo de actuaciones extrañas.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Morgan2

p Ú q; r; r ® Ø q; |---t

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Morgan2 |--- p

• -1 p Ú q
• -2 r ®
• -3 r ® Ø q
• 4 Ø q [MP 3,2]
• 5 p [TP 1,4]

---

Solución Natural-Derivadas





































































































































































































































QUINTO Ejercicio sobre Cuerpo

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Cuerpo rodando

1. P=Cuerpo cae rodando.
2. Q=Actúa sobre él la misma fuerza.
3. R=Aceleración constante.
4. S=Cambiar la velocidad del cuerpo.
5. T=Poner en movimiento.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Cuerpo que cae rodando

p ® (qÙr); (q Ù r) ® (s Ù Øt); p; |--- s

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Cuerpo rodando |--- s

• -1 p ® (qÙr)
• -2 (q Ù r) ® (s Ù Øt)
• -3 p
• 4 q Ù r [MP 1,3]
• 5 (s Ù Øt) [MP 2,4]
• 6 s [EC 5]

---

Solución Natural-Derivadas





































































































































































































































SEXTO Ejercicio sobre Boda

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Boda

1. P=Eres una persona libre.
2. Q=Puedes casarte.
3. R=Puedes quedar soltero.
4. S=Hacer las cosas sin pensarlas bien.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Boda

p ® ( qÚ r ); (q ® Ø p); (s ® Ø r); p; |--- Ø s

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Boda |--- Ø s

• -1 p ® ( qÚ r )
• -2 (q ® Ø p)
• -3 (s ® Ø r)
• -4 p
• 5 Ø q [MT 2,4]
• 6 q Ú r [MP 1,4]
• 7 r [TP 6,5]
• 8 Ø s [MT 3,7]

---

Solución Natural-Derivadas





































































































































































































































SEPTIMO Ejercicio sobre Morgan3

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Morgan3

1. P=Morgan decía la verdad.
2. Q=Testigos le vieron el día del crimen.
3. R=Realizar actos sospechosos.
4. S=Estar en casa de su esposa a las 10.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Morgan3

Ø p Ú q; (q ® r); (r ® s); |--- p ® s

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Morgan3 |--- p ® s

• -1 Ø p Ú q
• -2 (q ® r)
• -3 (r ® s)
• 4 p [Premisa Subsidiaria]
• 5 q [TP 1,4]
• 6 q ® r [Sil 2,3]
• 7 s [MP 6,5]
• 8 p ® s [TD 4-7]

---

Solución Natural-Derivadas





































































































































































































































OCTAVO Ejercicio sobre Nacionalismo

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Nacionalismo

1. P=Apoyas las fuerzas izquierdo-nacionalistas.
2. Q=Está al lado de las clases populares.
3. R=Defender intereses de los banqueros.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Nacionalismo

p Ú Ø q; (r ® Ø p); |--- q ® Ø r

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Nacionalismo |--- q ® Ø r

• -1 p Ú Ø q
• -2 (r ® Ø p)
• 3 q [Premisa subsidiaria]
• 4 p [TP 1,3]
• 5 Ø r [MT 2,4]
• 6 q ® Ø r [TD 3-5]

---

Solución Natural-Derivadas





































































































































































































































NOVENO Ejercicio sobre el Esclavo del Menón

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Esclavo del Menón

1. P=Esclavo posee conocimientos de geometría.
2. Q=Esclavo adquirió tales conocimientos en esta vida.
3. R=Esclavo adquirió tales conocimientos fuera de esta vida.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Esclavo del Menón

p; p ® ( q Ú r); Ø q; |--- r

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Esclavo del Menón |--- r

• -1 p
• -2 p ® (q Ú r)
• -3 Ø q
• 4 (q Ú r)[MP 2,1]
• 5 r [TP 4,3]

---

Solución Natural-Derivadas





































































































































































































































DECIMO Ejercicio sobre el Alma

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre el Alma

1. P=Alma mortal.
2. Q=Alma inmortal.
3. R=Alma inmutable.
4. S=Alma material.
5. T=Alma mudable.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre el Alma

p Ú q; q ® r; r ® s; p ® Ø q; p ® t; t ® s; |--- s

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre el Alma |--- s

• -1 p Ú q
• -2 q ® r
• -3 r ® s
• -4 p ® Ø q
• -5 p ® t
• -6 t ® s
• 7 p ® s [Sil 5,6]
• 8 q ® s [Sil 2,3]
• 9 s Ú s [Dil 1,7,8]
• 10 s [ED 9]

---

Solución Natural-Derivadas





































































































































































































































UNDECIMO Ejercicio sobre el Universo

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre el Universo

1. P=Universo infinito.
2. Q=Universo eterno.
3. R=Universo creado.
4. S=Visión cosmológica neoplatónicos.
5. T=Visión cosmológica Stephen Hawking.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre el Universo.

( p Ù q ) Ú r; s ® Ø r; t ® Ø r; s Ú t; |--- Ø r

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre el Universo |--- Ø r

• -1 ( p Ù q ) Ú r
• -2 s ® Ø r
• -3 t ® Ø r
• -4 s Ú t
• 5 Ø r Ú Ø r [Dil 4,2,3]
• 6 Ø r [ED 5]

---

Solución Natural-Derivadas





































































































































































































































DUODECIMO Ejercicio sobre Rico

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Rico

1. P=Mundo eterno.
2. Q=Combates idea Dios creador.
3. R=Mundo creado.
4. S=Hombre de fe.
5. T=Hombre rico el día de mañana.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Rico.

( p ® q ); (r ® s; (q Ú s) ® Ø t; p Ú r; |--- Ø t

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Rico |--- Ø t

• -1 ( p ® q )
• -2 (r ® s)
• -3 (q Ú s) ® Ø t
• -4 p Ú r
• 5 (q Ú s) [Dil 4,1,2]
• 6 Ø t [MP 3,5]

---

Solución Natural-Derivadas





































































































































































































































DECIMOTERCERO Ejercicio sobre Atomistas-Agustín-Parménides

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Atomistas-Agustin-Parménides

1. P=Estar de acuerdo con los atomistas.
2. Q=El universo es eterno.
3. R=El universo es infinito.
4. S=Seguir pensamiento agustiniano.
5. T=Aceptar pensamiento de Parménides.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Atomista-Agustín-Parménides

p ® ( q Ù r); s ® Ø q; t ® Ø r; s Ú t; |--- Ø p

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Atomistas-Agustín-Parménides |--- Ø p

• -1 p ® (q Ù r)
• -2 s ® Ø q
• -3 t ® Ø r
• -4 s Ú t
• 5 Ø q Ú Ø r [Dil 4,2,3]
• 6 Ø (q Ù r) [DM 5]
• 7 Ø p [MT 1,6]

---

Solución Natural-Derivadas





































































































































































































































DECIMOCUARTO Ejercicio sobre Naturaleza

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Naturaleza

1. P=Todo es naturaleza.
2. Q=Hay un ser necesario.
3. R=Hay libertad.
4. S=Todo es fenoménico.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Naturaleza

p Ú q; r ® Ø p; Ø (q Ús); |--- Ø r

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Naturaleza |--- Ø r

• -1 p Ú q
• -2 r ® Ø p
• -3 Ø ( q Ú s)
• 4 Ø q Ù Ø s [DM 3]
• 5 Ø q [EC 4]
• 6 p [TP 1,5]
• 7 Ø r [MT 2,6]

---

Solución Natural-Derivadas





































































































































































































































DECIMOQUINTO Ejercicio sobre Energía

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Energía

1. P=Aumenta energía cinética.
2. Q=Mantiene volumen constante.
3. R=Aumenta presión del gas.
4. S=Desabastecimiento del mercado.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Energía

p ® ( q ® r); ( s ® p); ( q ® s) Ù (Ø q ® t); |---Ø p ® t

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Energía |--- Ø p ® t

• -1 p ® ( q ® r)
• -2( s ® p)
• -3( q ® s) Ù (Ø q ® t)
• 4 Ø p [Premisa Subsidiaria]
• 5 Ø s [MT 2,4]
• 6 ( q ® s) [EC 3]
• 7 Ø q [MT 6,5]
• 8 (Ø q ® t) [EC 3]
• 9 t [MP 8,9]
• Ø p ® t [TD 4-9]

---

Solución Natural-Derivadas





































































































































































































































DECIMOSEXTO Ejercicio sobre Filósofos y Matemáticos

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio Filósofos y Matemáticos

1. P=Principia Mathemática es una obra filosófica.
2. Q=Teoría conjuntos es parte de la lógica.
3. R=Los lógicos se enfadan.
4. S=Los matemáticos están conformes.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Filósofos y Matemáticos

p ® ( q Ú r); ( q ® s); ( Ø s Ù Ø r); p; |--- q Ù Ø s

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Filósofos y Matemáticos |--- q Ù Ø s

• -1 p ® ( q Ú r)
• -2 q ® s
• -3 Ø s Ù Ø r
• 4 p
• 5 ( q Ú r)[MP 1,4]
• 6 Ø r [EC 3]
• 7 q [TP 5,6]
• 8 Ø s [EC 3]
• 9 q Ù Ø s [IC 7,8]

---

Solución Natural-Derivadas





































































































































































































































DECIMOSEPTIMO Ejercicio sobre Kant

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Kant

1. P=Conocer el pensamiento de Kant.
2. Q=Entender significado condiciones a priori sensibilidad.
3. R=Juicios sintéticos a priori base de la matemática.
4. S=Significado de Espacio-Tiempo en la Estética trascendental.
5. T=Dedicar más tiempo al estudio de la Filosofía.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Kant

p ® ( q ® r); ( s ® p); ( q ® s) Ù (Ø q ® t); |---Ø p ® t

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Kant |--- Ø p ® t

• -1 p ® ( q ® r)
• -2( s ® p)
• -3( q ® s) Ù (Ø q ® t)
• 4 Ø p [Premisa Subsidiaria]
• 5 Ø s [MT 2,4]
• 6 ( q ® s) [EC 3]
• 7 Ø q [MT 6,5]
• 8 (Ø q ® t) [EC 3]
• 9 t [MP 8,9]
• Ø p ® t [TD 4-9]

---

Solución Natural-Derivadas





































































































































































































































DECIMOOCTAVO Ejercicio sobre Crítica Razón Pura

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Crítica de la Razón pura

1. P=La crítica de la razón pura es una obra de filosofía.
2. Q=La doctrina de la sensibilidad pertenece al mundo de la ciencia.
3. R=Los filósofos se cabrean.
4. S=Los matemáticos están conformes.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Kant

p ® ( q Ú r); ( q ® s); ( Ø s Ù Ø r); p; |--- q Ù Ø s

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Crítica de la Razón pura |--- q Ù Ø s

• -1 p ® ( q Ú r)
• -2 q ® s
• -3 Ø s Ù Ø r
• 4 p
• 5 ( q Ú r)[MP 1,4]
• 6 Ø r [EC 3]
• 7 q [TP 5,6]
• 8 Ø s [EC 3]
• 9 q Ù Ø s [IC 7,8]

---

Solución Natural-Derivadas





































































































































































































































DECIMONOVENO Ejercicio sobre los Ronaldos

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre los Ronaldos

1. P=Ir a clase.
2. Q=Ver a los Ronaldos.
3. R=Ser un genio.
4. S=Descansar el fín de semana.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre los Ronaldos

Ø (Ø p Ù Ø q); p ® r; Ø r; |--- q Ú s

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Ronaldos |--- q Ú s

• -1 Ø (Ø p Ù Ø q)
• -2 p ® r
• -3 Ø r
• 4 p Ú q [DM 1]
• 5 Ø p [MT 2,3]
• 6 q [TP 4,5]
• 7 q Ú s [ID 6]

---

Solución Natural-Derivadas





































































































































































































































VEINTE Ejercicio sobre los Filósofos

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre los Filósofos

1. P=Filósofos buenos escritores.
2. Q=Obras son maravillosas.
3. R=Matemáticos son claros.
4. S=Teoremas son deliciosos.
5. T=Ciencias ilustres inaguantables.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre los Filósofos

[(p ® q)]; [(r ® s)]; [(Ø p ® [( Ø r ® t)]; [(Ø t)]; |--- [(Ø q ® Ø Ø s)]

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Filosofos |--- Ø q ® Ø Ø s

• -1 p ® q
• -2 r ® s
• -3 Ø p ® [( Ø r ® t)]
• -4 Ø t
• 5 Ø q [Premisa Subsidiaria]
• 6 Ø p [MT 1,5]
• 7 Ø r ® t [MP 3,6]
• 8 Ø Ø r [MT 7,4]
• 9 r [DN 8]
• 10 s [MP 2,9]
• 11 Ø Ø s [DN 10]
• 12 Ø q ® Ø Ø s [TD 5-11]

---

Solución Natural-Derivadas





































































































































































































































VEINTEIUNO Ejercicio sobre Fé y Agnosticismo

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Fé y Agnosticismo

1. P=Ser persona de fé.
2. Q=Creer que vida continúa despues de la muerte.
3. R=Ser agnóstico.
4. S=Trascender la finitud se agota en misma finitud.
5. T=Vivir de ilusiones.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Fé y Agnosticismo

[(p ® q)]; [(r ® s)]; [(Ø p ® [( Ø r ® t)]; [(Ø t)]; |--- [(Ø q ® Ø Ø s)]

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Fé y Agnosticismo |--- Ø q ® Ø Ø s

• -1 p ® q
• -2 r ® s
• -3 Ø p ® [( Ø r ® t)]
• -4 Ø t
• 5 Ø q [Premisa Subsidiaria]
• 6 Ø p [MT 1,5]
• 7 Ø r ® t [MP 3,6]
• 8 Ø Ø r [MT 7,4]
• 9 r [DN 8]
• 10 s [MP 2,9]
• 11 Ø Ø s [DN 10]
• 12 Ø q ® Ø Ø s [TD 5-11]

---

Solución Natural-Derivadas





































































































































































































































VEINTEIDOS Ejercicio sobre la Verdad y la Horca

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre la Verdad y la Horca

1. P=Alguien pasa por el puente de una parte a otra.
2. Q=Ha de jurar decir verdad de a donde va.
3. R=Dejarle pasar.
4. S=Morir en la horca.
5. T=Ir a la horca.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre la Verdad y la Horca.

(p ® q); (q ® r); (Ø q ® s); (q ® ( t Ù s);
|---[(r ® Ø q) ®( t Ù s)] ® [(t Ù s) ® ( q ® r)]

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre la Verdad y la Horca |--- [(r ® Ø q) ® (t Ù s)] ® [(t Ù s) ® ( q ® r)]

• -1 (p ® q)
• -2 (q ® r)
• -3 (Ø q ® s)
• -4 (q ® ( t Ù s)
• 5 [(r ® Ø q) ® (t Ù s)] [Premisa subsidiaria]
• 6 [(t Ù s) [Premisa subsidiaria]
• 7 q [Premisa Subsidiaria]
• 8 r [MP 2,7]
• 9 (q ® r) [TD 7-8]
• 10 [(t Ù s) ® ( q ® r)] [TD 6-9]
• 11 [(r ® Ø q) ® (t Ù s)] ® [(t Ù s) ® ( q ® r)]

---

Solución Natural-Derivadas





































































































































































































































VEINTEITRES Ejercicio sobre Cirujía

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre la Cirujía

1. P=Cirujano tiene dos posibilidades.
2. Q=Conectar la válvula.
3. R=Dejar bloqueada circulación sanguinea.
4. S=Seguir operando lo más rápido posible.
5. Q Ù R=Optar por el primer caso.
6. T=Disponer de tiempo suficiente para suturar.
7. U=Existir peligro de necrosis.
8. V=Edad elevada del paciente.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Cirujía.

p; (q Ù r) Ú s; ( qÙ r) ® (t Ù u); (s ® Ø u); (v ® (u Ù s); |---(v ® ( Ø u ® Ø (q Ù r)

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Cirujía |---(v ® ( Ø u ® Ø (q Ù r)

• -1 p
• -2 (q Ù r) Ú s
• -3 (q Ù r ) ® (t Ù u)
• -4 (s ® Ø u)
• -5 (v ® (u Ù s)
• 6 v [Premisa subsidiaria]
• 7 Ø u [Premisa subsidiaria]
• 8 (u Ù s)[MP 5,6]
• 9 u [EC 8]
• 10 Ø s [MT 4,9]
• 11 (q Ù r)[TP 10,2]
• 12 (t Ù u) [MP 3,11]
• 13 Ø u [EC 12]
• 14 Ø t Ú Ø u [ID 13]
• 15 Ø ( t Ù u) [DM 14]
• 16 Ø (q Ù r) [MT 3,15]
• 17 ( Ø u ® Ø (q Ù r) [TD 7-16]
• 18 (v ® ( Ø u ® Ø (q Ù r)[TD 6-17]

Otro Modo de derivar el ejercio.

---

Solución Natural-Derivadas





































































































































































































































Otra forma de derivar el ejercicio de Cirujia

|---(v ® ( Ø u ® Ø (q Ù r)

• -1 p
• -2 (q Ù r) Ú s
• -3 (q Ù r ) ® (t Ù u)
• -4 (s ® Ø u)
• -5 (v ® (u Ù s)
• 6 v [Premisa Subsidiaria]
• 7 Ø u [Premisa Subsidiaria]
• 8 Ø t Ú Ø u [ID 7]
• 9 Ø (t Ù u) [DM 8]
• 10 Ø (q Ù r) [MT 3,9]
• 11 ( Ø u ® Ø (q Ù r) [TD 7-10
• 12 (v ® ( Ø u ® Ø (q Ù r) [TD 6-11]

---

Solución Natural-Derivadas





































































































































































































































VEINTEICUATRO Ejercicio sobre Claudio

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Claudio

1. A=Caligula vive.
2. B=Claudio traidor.
3. C=Claudio ejecutado.
4. D=Germanos intervienen.
5. E=Declaración de la República.
6. F=Claudio se suicida.
7. G=Privar la vida.
8. H=Sucesión dinástica.
9. I=Claudio idiota.
10. J=Sobrevalorar la conspiración.
11. K=Participar en la conspiración.
12. L=Claudio emperador.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Claudio.

Ø A; B ® C; C ® D; D ® Ø E; (C Ú F Ú G) ® Ø H; Ø A ® E; I ® J; J ® K; K ® B; L; |--- Ø ( B Ù I)

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Claudio |--- Ø ( B Ù I)

• -1 Ø A
• -2 B ® C
• -3 C ® D
• -4 D ® Ø E
• -5 (C Ú F Ú G) ® Ø H
• -6 Ø A ® E
• -7 I ® J
• -8 J ® K
• -9 K ® B
• -10 L
• 11 B ® Ø E [Sil 2,4]
• 12 E [MP 6,1]
• 13 Ø B [MT 11,13]
• 14 Ø B Ú Ø I [ID 13]
• 15 Ø (B Ù I)[DM 14]

---

Solución Natural-Derivadas





































































































































































































































VEINTEICINCO Ejercicio sobre Thurston

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Thurston

1. P=Usted regresó con restos de tiza entre indice y pulgar.
2. Q=Usted juega al billar.
3. R=Jugar con Thurston.
4. S=Opción de Thurston sobre valores sudafricanos.
5. T=Entrar con negociós con Thurston.
6. U=Utilizar talonario de cheques.
7. W=Pedir la llave.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Thurston.

[p]; [q ® p]; [q ® r]; [s Ù t]; [( t ® u) Ù (u ® w) Ù Ø w]; |--- Ø t

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Thurston |--- Ø t

• -1 p
• -2 q ® p
• -3 q ® r
• -4 s Ù t
• -5 ( t ® u) Ù (u ® w) Ù Ø w
• 6 ( t ® u) [EC 5]
• 7 ( u ® w) [EC 5]
• 8 Ø w [EC 5]
• 9 Ø v [MT 7,8]
• 10 Ø t [MT 7,9]

---

Solución Natural-Derivadas





































































































































































































































VEINTEISEIS Ejercicio sobre el Amor ciego

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre el Amor ciego

1. P=El amor es ciego.
2. Q=Hombres conscientes del hecho de que el amor es ciego.
3. R=Mujeres sacan ventaja de ello.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre el Amor ciego

(p Ù Ø q) Ú (q Ù r); (Ø q ® Ø p); |--- r

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre el Amor ciego [Usar Reducción al absurdo] |--- r

• -1 (p Ù Ø q) Ú (q Ù r)
• -2 Ø q ® Ø p
• 3 Ø r [Premisa Subsidiaria]
• 4 Ø ( Ø p Ú Ø Ø q) Ù Ø (Ø q Ú Ø r)[DM 1]
• 5 Ø (Ø q Ú Ø r) [EC 4]
• 6 q Ù r [DM 5]
• 7 r [EC 6]
• 8 r Ù Ø r [IC 7,4]
• 9 r [Abs 3-8]

---

Solución Natural-Derivadas





































































































































































































































VEINTEISIETE Ejercicio sobre Nemesis

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Nemesis

1. P=Existe estrella gemela al sol fuera de la Vía Lactea.
2. Q=Existe un planeta en esa estrella llamada Némesis.
3. R=Los dinosaurios desaparecieron de la faz de la tierra.
4. S=Cataclismo producido por aproximación a nuestro planeta de un cuerpo de considerable tamaño.
5. T=El planeta Némesis destruirá la tierra.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Nemesis

Ø p Ú q; r ® s; (p ® t) ® Ø( r ® s); |--- Ø( p ® t)

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Némesis |--- Ø( p ® t)

• -1 Ø p Ú q
• -2 r ® s
• -3(p ® t) ® Ø ( r ® s)
• 4 (p ® t) [Premisa Subsidiaria]
• 5 Ø( r ® s) [MP 3,4]
• 6 ( r ® s) Ù Ø( r ® s)
• 7 Ø( p ® t) (Abs 4-6]

---

Solución Natural-Derivadas





































































































































































































































VEINTEIOCHO Ejercicio sobre Lógicos

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Lógicos

1. P=A los lógicos les gusta la langosta.
2. Q=A los lógicos les gustan los moluscos.
3. R=Los lógicos beben vino blanco.
4. S=Los lógicos comen judías.
5. T=A los lógicos les gustan las pochas con almejas.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Lógicos

p Ù ( Ø q Ú r); (r ® (s Ú t); |--- p ® ( Ø s ® t)

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Lógicos |--- p ® ( Ø s ® t)

• -1 p Ù ( Ø q Ú r)
• -2 r ® (s Ú t)
• 3 p [Premisa subsidiaria]
• 4 Ø s [Premisa Subsidiaria]
• 5 ( Ø q Ú r) [EC 1]
• 6 (Ø Ø q Ù Ø r) [DM 5]
• 7 Ø Ø q [EC 6]
• 8 q [DN 7]
• 9 r [TP 5,8]
• 10 (s Ú t) [MP 2,9]
• 11 t [TP 10,4]
• 12 ( Ø s ® t)[TD 4-11]
• 13 p ® ( Ø s ® t) [TD 3-12]

---

Solución Natural-Derivadas





































































































































































































































VEINTEINUEVE Ejercicio sobre el Mus

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre el Mus

1. P=Pedro lleva dos parejas de reyes.
2. Q=Pedro lleva treinta y una.
3. R=Pedro gana.
4. S=Pedro sabe jugar al Mus.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre el Mus

p ® ( q Ú r); q ® Ø p; Ø s ® Ø r; |--- p ® s

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre el Mus |--- p ® s

• -1 p ® ( q Ú r)
• -2 q ® Ø p
• -3 Ø s ® Ø r
• 4 p [Premisa subsidiaria]
• 5 Ø q [MT 2,4]
• 6 q Ú r [MP 1,4]
• 7 r [TP 6,5]
• 8 Ø Ø s [MT 3,7]
• 9 s [DN 8]
• 10 p ® s [TD 4-9]

---

Solución Natural-Derivadas





































































































































































































































TREINTA Ejercicio sobre la Guerra

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre la Guerra

1. P=Ejercito marcha contra el enemigo.
2. Q=Ejercito tiene posibilidades de éxito.
3. R=Ejercito arrasa la capital enemiga.
4. S=Ejercito se repliega rapidamente.
5. T=Enemigo ataca la retaguardia.
6. U=Ejercito perderá la guerra.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre la Guerra

(p ® q) Ù (q ®r); (p Ú s); (s ® t); (t ® u); |--- (Ø r ® u)

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre la Guerra |--- (Ø r ® u)

• -1 (p ® q) Ù (q ®r)
• -2(p Ú s)
• -3(s ® t)
• -4(t ® u)
• 5 Ø r [Premisa Subsidiaria]
• 6 (q ®r) [EC 1]
• 7 Ø q [MT 6,5]
• 8 (p ® q) [EC 1]
• 9 (q Ú r) [Dil 2,8,3]
• 10 t [TP 7,9]
• 11 u [MP 4,10]
• 12 (Ø r ® u) [TD 5-14]

---

Solución Natural-Derivadas





































































































































































































































TREINTAIUNO Ejercicio sobre Cometa Halley

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre el cometa Halley

1. P=Cometa Halley pasa cerca de la tierra.
2. Q=Observar el Halley mediante el telescopio.
3. R=Las condiciones son propicias.
4. S=Envio de una sonda espacial.
5. T=Apreciar la belleza del Halley.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre el cometa Halley

(p ® q); (Øp ® Ø r); (s ® r); (p Ù r) (® t); (Ø r Ú q) ; |--- [(p Ú s)] ® [(Ø q ® t)]

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre cometa Halley |--- [(p Ú s)] ® [(Ø q ® t)]

• -1 (p ® q)
• -2 (Øp ® Ø r)
• -3 (s ® r)
• -4 (p Ù r) ® t)
• -5 (Ø r Ú q )
• 6 (p Ú s) [Premisa Subsidiaria]
• 7 (Ø q [Premisa Subsidiaria]
• 8 (q Ú r) [Dil 6,1,3]
• 9 r [TP 7,8]
• 10 Ø Ø p [MT 2,9]
• 11 p [DN 10]
• 12 p Ù r [IC 11,9]
• 13 t [MP 4,12]
• 14 Ø q ® t [TD 7-13]
• 15 [(p Ú s)] ® [(Ø q ® t)] [TD 6-14]

---

Solución Natural-Derivadas





































































































































































































































TREINTAIDOS Ejercicio sobre Elvira

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Elvira

1. P=Elvira opina que hay que hacer lo posible para ser feliz.
2. Q=Elvira abandona a su amante.
3. R=Elvira se dedica a su profesión.
4. S=Elvira dejará a su marido.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Elvira

[(p ® (q Ú r)]; [(r ® Ø s)]; |--- [(p ® [(s ® q)]

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Elvira |--- p ® ( s ® q)

• -1 p ® (q Ú r)
• -2 r ® Ø s
• 3 p [Premisa Subsidiaria]
• 4 s [Premisa Subsidiaria]
• 5 Ø r [MT 2,4]
• 6 q Ú r [MP 1,3]
• 7 q [TP 5,6]
• 8 ( s ® q)[TD 4-7]
• 9 p ® ( s ® q) [TD 3-8]

---

Solución Natural-Derivadas





































































































































































































































TREINTAITRES Ejercicio sobre el Todo Condicionado

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Todo Condicionado

1. P=Dividimos un todo.
2. Q=Pasamos de lo condicionado a sus condiciones.
3. R=Solamente existe lo condicionado.
4. S=Rechazamos lo fenoménico.
5. T=Respetamos lo fenoménico.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre el Todo Condicionado

(p ® q); (p Ú r); (r ® s); (q ® t); |--- Ø ( Ø s Ù Ø t

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio el Todo Condicionado |---Ø ( Ø s Ù Ø t

• -1(p ® q)
• -2(p Ú r)
• -3(r ® s)
• -4(q ® t)
• 5 Ø s Ù Ø t [Premisa Subsidiaria]
• 6 q Ú s [Dil 2,1,3]
• 7 Ø s [EC 5]
• 8 q [TP 6,7]
• 9 Ø t [EC 5]
• 10 Ø q [MT 4-9]
• 11 q Ù Ø q [IC 8,10]
• 12Ø ( Ø s Ù Ø t [Abs 5-11]

---

Solución Natural-Derivadas





































































































































































































































TREINTAICUATRO Ejercicio sobre lo Dado a la Intuición

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre lo Dado a la Intuición

1. P=Un todo dado a la intuición.
2. Q=Algo numénico.
3. R=Posiblidad de la metafísica como ciencia.
4. S=Algo fenoménico.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre lo Dado a la Intuición

(p ® Ø q); (r ® Ø s); (q Ú r); (p Ú r); |---- Ø ( s Ù Ø r)

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio lo Dado a la Intuición |---- Ø ( s Ù Ø r)

• -1 (p ® Ø q)
• -2(r ® Ø s)
• -3 (q Ú r)
• -4 (p Ú r)
• 5 Ø q Ú Ø s [Dil 4,1,2]
• 6 [(Ø q Ú Øs)] Ú[(r)] [ID 5]
• 7 Ø ( [(Ø q Ú Øs)] Ù Ø [(r)] [DM 6]
• 8 Ø r [EC 7]
• 9 q [TP 3,8]
• 10 Ø s [TP 5,9]
• 11 ( Ø s Ú r) [ID 10]
• 12 Ø ( s Ù Ø r) [DM 11]

---

Solución Natural-Derivadas





































































































































































































































TREINTAICINCO Ejercicio sobre Dios ser Necesario

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Dios como Ser Necesario

1. P=Dios absolutamente perfecto.
2. Q=Estamos ante un ser necesario.
3. R=Pensamos un triángulo.
4. S=Angulos iguales a dos rectos.
5. T=Espacio-Tiempo son a priori.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Dios como ser Necesario.

(p ® q); (r® s); (s ® t); (s Ú p); |---- Ø ( Ø q Ù Ø t)

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Dios como Ser Necesario |---- Ø ( Ø q Ù Ø t)

• -1 (p ® q)
• -2 (r® s)
• -3 (s ® t)
• -4 (s Ú p)
• 5 (Ø q Ù Ø t) [Premisa Subsidiaria]
• 6 q Ú t [Dil 4,3,1]
• 7 Ø (Ø q Ù Ø t [DM 6]
• 8 (Ø q Ù Ø t) Ù Ø (Ø q Ù Ø t) [IC 5,7]
• 9 Ø ( Ø q Ù Ø t) [Abs 5-8]

---

Solución Natural-Derivadas





































































































































































































































TREINTAISEIS Ejercicio sobre Etica Socrática

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Etica Socrática

1. P=Hay razonamiento ético.
2. Q=Existe pensamiento racional.
3. R=Existe confianza absoluta en la razón.
4. S=Pensamiento original de Sócrates.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Etica Socrática.

[(Ø p ® Ø q)]; [Ø (Ø p Ú r) ® s)]; [Ø r ® (p Ú q)]; |----[( s Ú r)]

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Etica Socrática |---- s Ú r

• -1 (Ø p ® Ø q)
• -2 Ø (Ø p Ú r) ® s)
• -3 Ø r ® (p Ú q)
• 4 Ø (s Ú r) [Premisa Subsidiaria]
• 5 (Ø s Ù Ø r)[DM 4]
• 6 Ø s [EC 5]
• 7 Ø Ø ( Ø p Ú r) [MT 2,6]
• 8 (Ø p Ú r) [DN 7]
• 9 Ø r [EC 5]
• 10 Ø p [TP 8,9]
• 11 Ø q [MP 1,10]
• 12(Ø p Ù Ø q) [IC 10,11]
• 13 Ø (p Ú q) [DM 12]
• 14 Ø Ø r [MT 3,13]
• 15 r [DN 14]
• 16 r Ù Ø r [IC 15,9]
• 17 s Ú r [Abs 4-16]

---

Solución Natural-Derivadas





































































































































































































































TREINTAISIETE Ejercicio sobre Porsucarabonita

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Porsucarabonita

1. P=Porsucarabonita logra alcanzar nota suficiente.
2. Q=Se aumenta la nota a Porsucarabonita.
3. R=Se consigue que Porsucarabonita llegue a ingresar en la facultad deseada.
4. S=Pelagatos-sin-padrino se queda en la calle de un modo canallesco.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Porsucarabonita

[p ® (Ø q Ù r)]; [Ø p ® [( q Ù r) Ù s)]; |----[(Ø (q Ù Ø s)]

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Porsucarabonita |---- Ø (q Ù Ø s)

• -1 p ® (Ø q Ù r)
• -2 Ø p ® [( q Ù r) Ù s)]
• 3 (q Ù Ø s) [Premisa Subsidiaria]
• 4 q [EC 3]
• 5 (q Ú Ø r) [ID 4]
• 6 (q Ú Ø r) Ú s)
• 7 Ø [(Ø q Ù Ø Ø r)] Ù Ø s)] [DM 6]
• 8 Ø [(Ø q Ù Ø Ø r)] [EC 7]
• 9 Ø [(Ø q Ùr)] [DN 8]
• 10 Ø p [MT 1,9]
• 11 (q Ù r) Ù s [MP 2,10]
• 12 s [EC 11]
• 13 Ø s [EC 3]
• 14 s Ù Ø s (IC 12,13)
• 15 Ø (q Ù Ø s) [Abs 3-14]

---

Solución Natural-Derivadas





































































































































































































































TREINTAIOCHO Ejercicio sobre Aborto1

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Aborto1

1. P=Se defiende la despenalización del aborto.
2. Q=Defensa asesinato de niños inocentes.
3. R=Referencia al asesinato de embriones o fetos.
4. S=Se está suponiendo que son culpables.
5. T=Ser que debe tener independencia-voluntad propia.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Aborto1

(p ® q); (q ® r); (q ® s); (s ® t); (r ® Ø t); |---- p ® ( Ø q Ù Ø s)

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Aborto1 |---- p ® ( Ø q Ù Ø s)

• -1 (p ® q)
• -2 (q ® r)
• -3 (q ® s)
• -4 (s ® t)
• -5 (r ® Ø t)
• 6 p [Premisa Subsidiaria]
• 7 p ® r [Sil 1,2]
• 8 r [MP 7,6]
• 9 Ø t [MP 5,8]
• 10 Ø s [MT 4,9]
• 11 Ø q [MT 3,10]
• 12 ( Ø q Ù Ø s) [IC 11,10]
• 13 p ® ( Ø q Ù Ø s) [TD 6,12]

---

Solución Natural-Derivadas





































































































































































































































TREINTAINUEVE Ejercicio sobre Aborto2

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Aborto2

1. P=El feto es idéntico a un ser humano.
2. Q=El feto tiene las mismas propiedades de un ser humano.
3. R=El feto tiene los mismos derechos que un ser humano.
4. S=Una castaña es igual a un castaño bajito.
5. T=El castaño bajito debería de ser comestible.
6. U=El castaño bajito tiene las mismas propiedades que la castaña.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Aborto2

p ® (q Ù r); (q Ù r) ® s; s ® (t Ú u); Ø (t Ú u); |---- Ø u ® Ø (p Ù (q Ú r)

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Aborto2 |---- Ø u ® Ø (p Ù (q Ú r)

• -1 p ® (q Ù r)
• -2 (q Ù r) ® s
• -3 s ® (t Ú u)
• -4 Ø (t Ú u)
• 5 Ø u [Premisa Subsidiaria]
• 6 p ® ( t Ú u) [Sil 1,3]
• 7 Ø p [MT 6,4]
• 8 (q Ù r) ® ( t Ú u) [Sil 1,3]
• 9 Ø (q Ù r) [MT 8,4]
• 10 ( Ø q Ú Ø r) [DM 9]
• 11 Ø p Ú ( Ø q Ú Ø r) [ID 7,10]
• 12 Ø [(Ø Ø p)] Ù [(Ø Ø q Ú Ø Ø r)] [DM 11]
• 13 Ø (p Ù ( q Ú r) [DN 12]
• 14 Ø u ® Ø (p Ù (q Ú r) [TD 5-13]

---

Solución Natural-Derivadas





































































































































































































































CUARENTA Ejercicio sobre Aborto3

1. SIMBOLIZACION
2. FORMALIZACIÓN
3. DERIVACIÓN

---

Natural-Derivadas





































































































































































































































Simbolización Ejercicio sobre Aborto3

1. P=El feto es un ser humano que tiene derechos.
2. Q=El feto es una persona.
3. R=Referencia a una realidad convencional.
4. S=Estamos ante un ámbito jurídico-social.
5. T=Estamos ante un ámbito biológico.
6. U=Estamos ante un organismo pluricelular.

---

Solución Natural-Derivadas





































































































































































































































Formalización Ejercicio sobre Aborto3

(p ® q); (q ® r); (r ® (s Ù Ø t); (Ø t ® Ø u); (u); |---- Ø (p Ú q)

---

Solución Natural-Derivadas





































































































































































































































Derivación Ejercicio sobre Aborto3 |---- Ø (p Ú q)

• -1 (p ® q)
• -2 (q ® r)
• -3 (r ® (s Ù Ø t)
• -4 (Ø t ® Ø u)
• -5 u
• 6 p Ú q [Premisa Subsidiaria]
• 7 p [Caso 1]
• 8 p ® r [Sil 1,2]
• 9 r [MP 8,7]
• 10 (s Ù Ø t) [MP 3,9]
• 11 Ø t [EC 10]
• 12 Ø u [MP 4,11]
• 13 u Ù Ø u [IC 5,12]
• 14 q [Caso 2]
• 15 q ® (s Ù Ø t) [Sil 2,3]
• 16 (s Ù Ø t)[MP 15,14]
• 17 Ø t [EC 16]
• 18 Ø u [MP 4,17]
• 19 (u Ù Ø u) [IC 5,18]
• 20 (u Ù Ø u)[Cas 6, 7-13, 14-19]
• 21 Ø (p Ú q) [Abs 6-20]

Solución Natural-Derivadas

---