SOLUCIÓN EJERCICIOS EN LENGUAJE NATURAL Y CON REGLAS BASICAS

---

PRIMERO:
Ejercicio sobre Normalización lingüistica

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

Natural-Básicas

---

Simbolización Ejercicio Normalización Lingüistica

1. P=Existe una política clara de normalización lingüistica
2. Q=Gallego puede desaparecer como idioma
3. R=Galicia puede perder su identidad

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio Normalización Lingüistica

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

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio Normalización Lingüistica |---Ø p ® r

• -1Ø p ® q
• -2 q ® r
• 3 Ø p [Premisa Subsidiaria]
• 4 q [MP 1,3]
• 5 r [MP 2,4]
• 6 Ø p ® r [TD 3-5]

---

Solución Natural-Básicas





















































































































































































































































































































































SEGUNDO: Ejercicio sobre Normalización lingüistica1

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio Normalización Lingüistica1

1. P=Existe política clara de normalización lingüistica
2. Q=Gallego desaparecería como idioma
3. R=Hablamos todos por norma el castellano

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Normalización Lingüistica1

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

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicios Normalización Lingüistica |---Ø (p Ù q)

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

---

Solución Natural-Básicas





















































































































































































































































































































































TERCERO: Ejercicio sobre la Juventud

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre la Juventud

1. P=Juventud decide cambiar radicalmente.
2. Q=Renunciar a muchas opiniones de sus mayores.
3. R=Hacer revolución de las costumbres.
4. S=Organizarse como mejor les parezca.
5. T=Creación de una posible sociedad mejor.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Juventud

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

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Juventud |--- (pÙ r) ® t

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

---

Solución Natural-Básicas





















































































































































































































































































































































CUARTO: Ejercicio sobre Teléfono

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Teléfono

1. P=Te llamé por teléfono
2. Q=Recibiste mi llamada
3. R=Te avisé del peligro que corrías

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Teléfono

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

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Teléfono |--- (p® r)

• -1 p ® (q Ù Ø Ør)
• 2 p [Premisa Subsidiaria]
• 3 (q Ù Ø Ør [MP 1,2]
• 4 Ø Ø r [EC 3]
• 5 r [DN 4]
• 6 (p® r) [TD 2-5]

---

Solución Natural-Básicas





















































































































































































































































































































































QUINTO: Ejercicio sobre Boda

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Boda

1. P=Te decides casar algún día
2. Q=Podes chegar a ser feliz
3. R=Comerás perdices cantas queiras
4. S=Morrer dunha enchenta

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Boda

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

---

Solución Natural-Básicas





















































































































































































































































































































































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

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

---

Solución Natural-Básicas





















































































































































































































































































































































SEXTO: Ejercicio sobre Autodeterminación

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Autodeterminación

1. P=Apoyas proceso autodeterminación.
2. Q=Renunciar formar parte Estado español.
3. R=Combatir proceso autodeterminación.
4. S=Favorecer centralismo.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Autodeterminación

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

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Autodeterminación |--- (qÚ s)

• -1 p ® q
• -2 r ® s
• -3 p Ú r
• 4 p [Premisa Subsidiaria]
• 5 q [MP 1,4]
• 6 q Ú s [ID 5 ]
• 7 r [Premisa Subsidaria]
• 8 s [MP 2,7]
• 8 (q Ú s)[ID 8]
• 9 (q Ú s) [Cas 3, 5-6, 7-8]

---

Solución Natural-Básicas





















































































































































































































































































































































SEPTIMO: Ejercicio sobre Huelga

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Huelga

1. P=Alguien se pone en huelga.
2. Q=Debe ser por motivos justos.
3. R=Sindicatos llaman a la huelga.
4. S=Presionar a la administración.
5. T=Atender a las reivindicaciones.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Huelga

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

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Huelga |--- (pÙ r) ® t

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

---

Solución Natural-Básicas





















































































































































































































































































































































OCTAVO: Ejercicio sobre Reforma en Enseñanza

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Reforma de la Enseñanza

1. P=Decidir apoyar reforma.
2. Q=Denunciar aceptación sistema actual de enseñanza.
3. R=Combatir proceso de enseñanza.
4. S=Favorecer sistema enseñanza obsoleto.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Reforma Enseñanza

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

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Reforma Enseñanza |--- (q Ú s)

• -1 p ® q
• -2 r ® s
• -3 p Ú r
• 4 p [Premisa Subsidiaria]
• 5 q [MP 1,4]
• 6 q Ú s [ID 5 ]
• 7 r [Premisa Subsidaria]
• 8 s [MP 2,7]
• 8 (q Ú s)[ID 8]
• 9 (q Ú s) [Cas 3, 5-6, 7-8]

---

Solución Natural-Básicas





















































































































































































































































































































































NOVENO: Ejercicio sobre Control nacimientos

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Control de nacimientos

1. P=Hay control de nacimientos.
2. Q=Población crece ilimitadamente.
3. R=Aumenta el índice de pobreza.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio Control de nacimientos

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

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio Normalización Lingüistica |---Ø p ® r

• -1Ø p ® q
• -2 q ® r
• 3 Ø p [Premisa Subsidiaria]
• 4 q [MP 1,3]
• 5 r [MP 2,4]
• 6 Ø p ® r [TD 3-5]

---

Solución Natural-Básicas





















































































































































































































































































































































DECIMO: Ejercicio sobre trabajo por cuenta ajena

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre trabajo por cuenta ajena

1. P=Trabajar por cuenta ajena.
2. Q=Acabar contigo poco a poco.
3. R=Matarte a trabajar
4. S=Plantear sentido a pasarse la vida trabajando como un loco.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre trabajo por cuenta ajena

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

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio Trabajo por cuenta ajena |--- p ® s

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

---

Solución Natural-Básicas





















































































































































































































































































































































UNDECIMO: Ejercicio sobre Cantante Heavi

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio Cantante Heavi

1. P=Ser cantante grupo Heavi
2. Q=Vestir como ejecutivo multinacional
3. R=Ser director de la CBS

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Cantante de Heavi

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

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio Cantante Heavi |---Ø (p Ù q)

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

---

Solución Natural-Básicas





















































































































































































































































































































































DUODECIMO: Ejercicio sobre Males sin remedio

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio Males sin remedio

1. P=Estoy contigo
2. Q=Tu me matas
3. R=Yo me muero
4. S=Mis males tienen remedio

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Males sin remedio

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

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio Males sin remedio |--- Ø s

• -1p Ú Ø p
• -2 p ® (q Ù Øs
• 3 Ø p ® (r Ù Ø s
• 4 s [Premisa Subsidiaria]
• 5 p [Premisa Subsidiaria]
• 6 q Ù Ø s {MP 2,5]
• 7 Ø s [EC 6]
• 8 Ø p [Premisa Subsidiaria]
• 9 (r Ù Ø s [MP 3,8]
• 10 Ø s [EC 9]
• 11 Ø s [Cas 1, 5-7, 8-10]
• 12 s Ù Ø s [IC 4-11]
• 13 Ø s [Abs 4-12]

---

Solución Natural-Básicas





















































































































































































































































































































































DECIMOTERCERO: Ejercicio sobre Morgan

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Morgan

1. P=Viajar en avión
2. Q=Viajar en helicóptero
3. R=Hartarse de tragar tierra

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Morgan

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

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Morgan |--- r

• -1 p Ú q
• -2 p ® r
• -3 q ® r
• 4 p [Premisa Subsidiaria]
• 5 r [MP 2,4]
• 6 q [Premisa Subsidiaria]
• 7 r [MP 3,6]
• 8 r [Cas 1, 4-5, 6-7]

---

Solución Natural-Básicas





















































































































































































































































































































































DECIMOCUARTO: Ejercicio sobre la OTAN

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre la OTAN

1. P=Apoyas entrada de tu país en la OTAN
2. Q=Combates entrada de tu país en la OTAN
3. R=Tomas partido por uno de los dos bloques militares
4. S=Defiendes la neutralidad de tu país

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre la OTAN

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

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre la OTAN |--- q Ú r

• -1 p Ú q
• -2 p ® r
• -3 q ® s
• 4 p [Premisa Subsidiaria]
• 5 r [MP 2,4]
• 6 q Ú r [ID 5]
• 7 q [Premisa Subsidiaria]
• 8 q Ú r [ID 7]
• 9 q Ú r [Cas 1, 4-6, 7-8]

---

Solución Natural-Básicas





















































































































































































































































































































































DECIMOQUINTO: Ejercicio sobre Jovenes Socialistas

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Jovenes Socialistas

1. P=Jovenes socialistas apoyan a Felipe.
2. Q=Jovenes socialistas renuncian a sus reivindicaciones.
3. R=Jovenes socialistas combaten a Felipe.
4. S=Jovenes socialistas favorecen a Fraga.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre la OTAN

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

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Autodeterminación |--- (qÚ s)

• -1 p ® q
• -2 r ® s
• -3 p Ú r
• 4 p [Premisa Subsidiaria]
• 5 q [MP 1,4]
• 6 q Ú s [ID 5 ]
• 7 r [Premisa Subsidaria]
• 8 s [MP 2,7]
• 8 (q Ú s)[ID 8]
• 9 (q Ú s) [Cas 3, 4-6, 7-8]

---

Solución Natural-Básicas





















































































































































































































































































































































DECIMOSEXTO: Ejercicio sobre Viaje1

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Viaje1

1. P=Alguien te dice que tienes que viajar en tren.
2. Q=Alguien te dice que tienes que viajar en avión.
3. R=Tendrás que quedarte en tierra.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Viaje1

(p Ú q) Ú r |--- p Ú (q Ú r)

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Viaje1 |--- p Ú (q Ú r)

• -1 (p Ú q) Ú r
• 2 p Ú q [Caso 1]
• 3 p [Caso 2]
• 4 p Ú (q Ú r) [ID 3]
• 5 q [Caso 3]
• 6 q Ú r [ID 5]
• 7 p Ú (q Ú r) [ID 6]
• 8 p Ú (q Ú r) [Cas 2,3-4,5-7]
• 9 r [Caso 4]
• 10 (q Ú r)[ID 9]
• 11 p Ú (q Ú r) [ID 10]
• 12 p Ú (q Ú r) [Cas 1, 2-8, 9-11]

---

Solución Natural-Básicas





















































































































































































































































































































































DECIMOSEPTIMO: Ejercicio sobre Viaje2

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Viaje2

1. P=Alguien te dice que tienes que viajar en tren.
2. Q=Alguien te dice que tienes que viajar en avión.
3. R=Tendrás que quedarte en tierra.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Viaje2

p Ú (q Ú r) |----(p Ú q) Ú r

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Viaje2 |---( p Ú q) Ú r)

• -1 p Ú (q Ú r)
• 2 p [Caso 1]
• 3 p Ú q [ID 2]
• 4(p Ú q) Ú r [ID 3]
• 5(q Ú r)[Caso 2]
• 6 q [Caso 3]
• 7 p Ú q [ID 6]
• 8 (p Ú q) Ú r) [ID 7]
• 9 r [Caso 4]]
• 10 (p Ú q) Ú r [ID 9]
• 11 (p Ú q) Ú r [Cas 5, 6-8, 9-10]
• 12 (p Ú q) Ú r [Cas 1, 2-4, 5-11]

---

Solución Natural-Básicas





















































































































































































































































































































































DECIMOOCTAVO: Ejercicio sobre Substancia1

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Substancia1

1. P=Existe la substancia.
2. Q=Afirmar que lo dijo Aristóteles.
3. R=Afirmar que los dijo Descartes.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Substancia1

[(p Ù (q Ú r)]; |---[p Ù q)] Ú [(p Ù r)]

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Substancia1 |---[p Ù q)] Ú [(p Ù r)]

• -1 p Ù (q Ú r)
• 2 p [EC 1]
• 3 q Ú r [EC 1]
• 4 q [Caso 1]
• 5 (p Ù q)[IC 2,4]
• 6 (p Ù q) Ú (p Ù r) [ID 5]
• 7 r [Caso 2]
• 8 (p Ù r)[IC 2,7]
• 9 (p Ù q) Ú (p Ù r) [ID 8]
• 10 [p Ù q)] Ú [(p Ù r)] [Cas 3, 4-6, 7-9]

---

Solución Natural-Básicas





















































































































































































































































































































































DECIMONOVENO: Ejercicio sobre Substancia2

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Substancia2

1. P=Existe la substancia.
2. Q=Afirmar que lo dijo Aristóteles.
3. R=Afirmar que los dijo Descartes.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Substancia2

[p Ù q)] Ú [(p Ù r)]; |--- [(p Ù (q Ú r)]

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Substancia2 |--- p Ù (q Ú r)

• -1 [p Ù q)] Ú [(p Ù r)]
• 2 [p Ù q)] [Caso 1]
• 3 p [EC 2]
• 4 q [EC 2]
• 5 (q Ú r)[ID 4]
• 6 (p Ù (q Ú r) [ID 3,5]
• 7 [(p Ù r)][Caso 2]
• 8 p [EC 7]
• 9 r [EC 7]
• 10 q Ú r [ID 9]
• 11 p Ù (q Ú r) [IC 8,10]
• 12 p Ù (q Ú r) [Cas 1, 3-6, 7-11]

---

Solución Natural-Básicas





















































































































































































































































































































































VEINTE: Ejercicio sobre Felicidad

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Felicidad

1. A=Ser absolutamente feliz.
2. B=Saber que es el sufrimiento.
3. C=Realización de ciertos actos.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Felicidad

(Ø A Ú Ø B); (C ® A); (C ® B); |---Ø C

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Felicidad |--- Ø C

• -1 Ø A Ú Ø B
• -2 C ® A
• -3 C ® B
• 4 C [Premisa Subsidiaria]
• 5 A [MP 2,4]
• 6 Ø B [TP 1,5]
• 7 B [MP 3,4]
• 8 (B Ù Ø B)[IC 7,6]
• 9 Ø C [Abs 4,8]

---

Solución Natural-Básicas





















































































































































































































































































































































VEINTEIUNO: Ejercicio sobre Descartes1

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Descartes1

1. A=Substancia pensante existe.
2. B=Descartes es un racionalista.
3. C=Aceptación significado del "cógito,ergo sum".
4. D=Aceptación existencia ideas innatas.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Descartes1

(Ø A Ú Ø B); (C ® A); (D ® B); |--- (Ø C Ú Ø D

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Descartes1 |--- (Ø C Ú Ø D)

• -1 Ø A Ú Ø B
• -2 C ® A
• -3 D ® B
• 4 Ø (Ø C Ú Ø D)[Premisa Subsidiaria]
• 5 (C Ù D)[DM 4]
• 6 C [EC 5]
• 7 A [MP 2,6]
• 8 Ø B [TP 1,7]
• 9 D [EC 5]
• 10 B [MP 3,9]
• 11 (B Ù Ø B) [IC 10,8]
• 12 (Ø C Ú Ø D)[Abs 4-11]

---

Solución Natural-Básicas





















































































































































































































































































































































VEINTEIDOS: Ejercicio sobre Descartes2

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Descartes2

1. A=Todo es substancia pensante.
2. B=Vemos que todo es substancia extensa.
3. C=Todo debería ser inextenso.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Descartes2

A ® ( B ® C ); |---( A Ù B ) ® C

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Descartes2 |--- ( A Ù B ) ® C

• -1 A ® (B ® C)
• 2 A Ù B [Premisa subsidiaria]
• 3 A [EC 2]
• 4 ( B ® C ) [MP 1,3]
• 5 B [EC 2]
• 6 C [MP 4,5]
• 7 ( A Ù B ) ® C [TD 2-6]

---

Solución Natural-Básicas





















































































































































































































































































































































VEINTEITRES: Ejercicio sobre Descartes3

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Descartes3

1. A=Todo es substancia pensante.
2. B=Vemos que todo es substancia extensa.
3. C=Todo debería ser inextenso.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Descartes3

( A Ù B ) ® C; |--- A ® ( B ® C )

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Descartes3 |--- A ® (B ® C)

• -1 ( A Ù B ) ® C
• 2 A [Premisa Subsidiaria]
• 3 B [Premisa Subsidiaria]
• 4 ( A Ù B )[IC 2,3]
• 5 C [MP 1,4]
• 6 ( B ® C )[TD 3-5]
• 7 A ® (B ® C)[TD 2-6]

---

Solución Natural-Básicas





















































































































































































































































































































































VEINTEICUATRO: Ejercicio sobre Roldán

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Roldán

1. P=Tiene alma vegetativa.
2. Q=Estamos ante una planta.
3. R=Estamos ante cualquier ser vivo.
4. S=Referirse al Sr Roldán.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Roldán

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

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Roldán |--- (p ® s)

• -1 p ® ( q Ú r
• -2 (q ® r) Ù (r ® s)
• 3 p [Premisa Subsidiaria]
• 4 q Ú r [MP 1,4]
• 5 q [Caso 1]
• 6 q ® r [EC 2]
• 7 r [MP 6,5]
• 8 r ® s [EC 2]
• 9 s [MP 8,7]
• 10 r [Caso 2]
• 11 r ® s [EC 2]
• 12 s [MP 11,10]
• 13 s [Cas 4, 5-9, 10-12]
• 14 (p ® s)[TD 3-13]

---

Solución Natural-Básicas





















































































































































































































































































































































VEINTEICINCO: Ejercicio sobre Serbia y Croacia

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Roldán

1. P=Serbia declara su independencia.
2. Q=Croacia declara su independencia.
3. R=Federación Yugoslava toma sus medidas.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Serbia y Croacia

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

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Serbia y Croacia |--- Ø p

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

---

Solución Natural-Básicas





















































































































































































































































































































































VEINTEISEIS: Ejercicio sobre Tormenta

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Tormenta

1. P=La tormenta continúa.
2. Q=Llega la noche.
3. R=Quedarse a cenar.
4. S=Quedarse a dormir.
5. T=Ir mañana al concierto.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Tormenta

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

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Tormenta |--- Ø p

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

---

Solución Natural-Básicas





















































































































































































































































































































































VEINTEISIETE Ejercicio sobre Conferencia1

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Conferencia1

1. A=Conferenciante tiene que hablar de causalidad natural.
2. B=Conferenciante tiene que hablar de causalidad inteligible.
3. C=Conferenciante tiene que hablar de categorías del entendimiento.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Conferencia1

( A Ú B ) Ù ( A Ú C ); |--- A Ú ( B Ù C )

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Conferencia1

|--- A Ú ( B Ù C )

• -1 ( A Ú B ) Ù ( A Ú C );
• 2 ( A Ú B ) [EC 1]
• 3 A [Caso 1]
• 4 A Ú ( B Ù C ) [ID 3]
• 5 B [Caso 2]
• 6 A Ú C [EC 1]
• 7 A [Caso 3]
• 8 A Ú (B Ù C) [ID 7]
• 9 C [Caso 4]
• 10 B Ù C [IC 5,9]
• 11 A Ú ( B Ù C ) [ID 10]
• 12 A Ú ( B Ù C ) [Cas 6, 7-8, 9-11]
• 13 A Ú ( B Ù C ) [Cas 1, 3-4, 6-12]

---

Solución Natural-Básicas





















































































































































































































































































































































VEINTEIOCHO Ejercicio sobre Conferencia2

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

---

Natural-Básicas





















































































































































































































































































































































Simbolización Ejercicio sobre Conferencia2

1. A=Conferenciante tiene que hablar de causalidad natural.
2. B=Conferenciante tiene que hablar de causalidad inteligible.
3. C=Conferenciante tiene que hablar de categorías del entendimiento.

---

Solución Natural-Básicas





















































































































































































































































































































































Formalización Ejercicio sobre Conferencia2

A Ú ( B Ù C ); |--- ( A Ú B ) Ù ( A Ú C )

---

Solución Natural-Básicas





















































































































































































































































































































































Derivación Ejercicio sobre Conferencia2

|--- ( A Ú B ) Ù ( A Ú C )

• -1 A Ú ( B Ù C )
• 2 A [Caso 1]
• 3 ( A Ú B ) [ID 2]
• 4 ( A Ú C) [ID 2]
• 5 ( A Ú B) Ù ( A Ú C ) [IC 3,4]
• 6 B Ù C [Caso 2]
• 7 B [EC 6]
• 8 A Ú B [ID 7]
• 9 C [EC 6]
• 10 A Ú C [ID 9]
• 11 A Ú B Ù A Ú C [IC 8,10]
• 12 (A Ú B) Ù ( A Ú C ) [Cas 1, 2-5, 6-11]

Solución Natural-Básicas

---