SOLUCIÓN EJERCICIOS EN LENGUAJE NATURAL Y CON REGLAS BASICAS
PRIMERO:
Ejercicio sobre Normalización lingüistica
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio Normalización Lingüistica
- P=Existe una política clara de normalización lingüistica
- Q=Gallego puede desaparecer como idioma
- 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
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio Normalización Lingüistica1
- P=Existe política clara de normalización lingüistica
- Q=Gallego desaparecería como idioma
- 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
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio sobre la Juventud
- P=Juventud decide cambiar radicalmente.
- Q=Renunciar a muchas opiniones de sus mayores.
- R=Hacer revolución de las costumbres.
- S=Organizarse como mejor les parezca.
- 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
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio sobre Teléfono
- P=Te llamé por teléfono
- Q=Recibiste mi llamada
- 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
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio sobre Boda
- P=Te decides casar algún día
- Q=Podes chegar a ser feliz
- R=Comerás perdices cantas queiras
- 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
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio sobre Autodeterminación
- P=Apoyas proceso autodeterminación.
- Q=Renunciar formar parte Estado español.
- R=Combatir proceso autodeterminación.
- 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
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio sobre Huelga
- P=Alguien se pone en huelga.
- Q=Debe ser por motivos justos.
- R=Sindicatos llaman a la huelga.
- S=Presionar a la administración.
- 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
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio sobre Reforma de la Enseñanza
- P=Decidir apoyar reforma.
- Q=Denunciar aceptación sistema actual de enseñanza.
- R=Combatir proceso de enseñanza.
- 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
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio sobre Control de nacimientos
- P=Hay control de nacimientos.
- Q=Población crece ilimitadamente.
- 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
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio sobre trabajo por cuenta ajena
- P=Trabajar por cuenta ajena.
- Q=Acabar contigo poco a poco.
- R=Matarte a trabajar
- 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
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio Cantante Heavi
- P=Ser cantante grupo Heavi
- Q=Vestir como ejecutivo multinacional
- 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
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio Males sin remedio
- P=Estoy contigo
- Q=Tu me matas
- R=Yo me muero
- 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
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio sobre Morgan
- P=Viajar en avión
- Q=Viajar en helicóptero
- 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
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio sobre la OTAN
- P=Apoyas entrada de tu país en la OTAN
- Q=Combates entrada de tu país en la OTAN
- R=Tomas partido por uno de los dos bloques militares
- 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
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio sobre Jovenes Socialistas
- P=Jovenes socialistas apoyan a Felipe.
- Q=Jovenes socialistas renuncian a sus reivindicaciones.
- R=Jovenes socialistas combaten a Felipe.
- 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
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio sobre Viaje1
- P=Alguien te dice que tienes que viajar en tren.
- Q=Alguien te dice que tienes que viajar en avión.
- 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
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio sobre Viaje2
- P=Alguien te dice que tienes que viajar en tren.
- Q=Alguien te dice que tienes que viajar en avión.
- 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
- SIMBOLIZACION
- FORMALIZACIÓN
- DERIVACIÓN
Natural-Básicas
Simbolización Ejercicio sobre Substancia1
- P=Existe la substancia.
- Q=Afirmar que lo dijo Aristóteles.
- 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