DERIVADAS

EJERCICIOS DE DERIVADAS
Derivacin de los Ejercicios siguientes

PRIMERO: |--- p q
-1 (p q)
SEGUNDO: |--- r q
-1 r s
-2 q s
TERCERO: |--- C D
-1 B D
-2 (D B)
CUARTO: |--- q t
-1 s r
-2 s p
-3 p q
-4 r t
QUINTO: |--- p (p q)
-1 r t
-2 t s
-3 (r s) q
SEXTO: |--- s q
-1 r q
-2 t r
-3 s t
SEPTIMO: |--- (r s) t
-1 p
-2 r t
-3 s p
OCTAVO: |--- (t s) r
-1 r q
-2 t q
-3 s q
NOVENO: |--- t ( p q)
-1 s p
-2 q r
-3 t (s r)
DECIMO: |--- q ( t s)
-1 r s
-2 s q
-3 r (s t)
UNDECIMO: |--- (p q) (s t)
-1 r s
-2 t p
-3 r q
DUODECIMO: |--- s ( p q)
-1 s t
-2 r p
-3 t r
DECIMOTERCERO: |--- ( p r) t)
-1 q p
-2 t s
-3 q s
DECIMOCUARTO: |--- E K
-1 (E F) G
-2 J G
-3 J K
DECIMOQUINTO: |--- ( x s)
-1 p t
-2 ( r s ) (t w)
-3 q s
-4 p r
-5 t r
-6 t x
-7 w (r s)
DECIMOSEXTO: |--- p q
-1 r s
-2 t (v w)
-3 v p
-4 w q
-5 r t
DECIMOSEPTIMO: |--- p s
-1 q p
-2 p (q r)
-3 ( r s) q
DECIMOOCTAVO: |--- ( p q) (r s)
-1 p r
-2 ( p q) (r s)
DECIMONOVENO: |--- t ( p q)
-1 s p
-2 q r
-3 t (s r)
VEINTE: |--- s t
-1 (p q) r
-2 p t
-3 s q
-4 r q
VEINTEIUNO: |--- p ( r t)
-1 (p q) (r s) t
EJERCICIOS CON REGLAS DERIVADAS Y REDUCCIN AL ABSURDO

Derivacin de los Ejercicios siguientes
PRIMERO: |--- p
-1 (p q)
-2 p
-3 q r
SEGUNDO: |--- T
-1 T S
-2 F T
-3 S T
TERCERO: |--- r
-1 (p q)
-2 r q
-3 p r
CUARTO: |--- (A D)
-1 A (B C)
-2 B A
-3 D C
QUINTO: |--- E M
-1 S O
-2 S E
-3 O M
SEXTO: |--- t
-1 p q
-2 t p
-3 (q r)
SEPTIMO: |--- (t s)
-1 R B
-2 (T S) R
-3 B S
-4 T
OCTAVO: |--- p
-1 p s
-2 s r
-3 (t r)
NOVENO: |--- s t
-1 p s
-2 p r
-3 r t
DECIMO: |--- s r
-1 r p q
-2 ( p r) s
-3 p q
UNDECIMO: |--- (p (p q)
-1 r t
-2 t s
-3 (r s) q
DUODECIMO: |--- (t s)
-1 r q
-2 (t s) r
-3 (q s)
-4 t
DECIMOTERCERO:(Aplicar solamente derivadas)
|--- (s r)
-1 p q
-2 r s
-3 q r
-4 p r
DECIMOCUARTO: |--- (q r)
-1 p q
-2 (r p)
DECIMOQUINTO: |--- r s
-1 p ( q r)
-2 p q
DECIMOSEXTO: |--- ( q t)
-1 s r
-2 s p
-3 p q
-4 r t
EJERCICIOS EN LENGUAJE NATURAL Y REGLAS BSICAS

Derivacin de los Ejercicios siguientes)
NORMALIZACION LIGISTICA
Simbolizacin,Formalizacin,Derivacin
Si no existe una poltica clara de normalizacin lingistica, entonces el gallego
puede desaparecer como idioma. Ahora bien, si el gallego desaparece como idioma,
Galicia puede perder su identidad. Por lo tanto, si no existe una poltica clara de
normalizacin lingistica, Galicia puede perder su identidad.
NORMALIZACION LIGISTICA1
Si existe una poltica clara de normalizacin lingistica, entonces el gallego no
desaparecer como idioma. Pero si hablamos todos, por norma, el espaol,
entonces el gallego puede desaparecer como idioma. Por lo tanto, no es cierta la
afirmacin: existe una poltica clara de normalizacin lingistica y el gallego
desaparecer como idioma.
JUVENTUD
Si la juventud actual decidiera cambiar radicalmente, entonces debera renunciar
a muchas de las opiniones de sus mayores. Adems, si la juventud actal decidiera
hacer la revolucin de las costumbres, debera organizarse como mejor les
pareciera. Pero si se organizan como mejor les pareciera y renunciaran a muchas
de las opiniones de sus mayores, se creara, posiblemente, una sociedad mejor. Por
lo tanto, si la juventud actual decidiera cambiar radicalmente y hacer la revolucin
de las costumbres, entonces se creara, posiblemente, una sociedad mejor.
TELFONO
Si te llame por telefono, entonces recibiste mi llamada y no es cierto que no te avise
del peligro que corras. Por lo tanto, si te llam por telfono, te avise del peligro
que corras.
BODA
Si te decidiras casar nalgunha data, poderas chegar a ser feliz. Agora ben, si podes
chegar a ser feliz, enton poderas comer perdizes cantas queiras. Pero si comes
perdices cantas queiras, poderas morrer dunha enchenta. Polo tanto, si te
decidiras a casar nalgunha data, que saibas, que podes morrer dunha enchenta.
AUTODETERMINACIN
Si decidieramos apoyar un proceso de autodeterminacin, entonces
renunciaramos a formar parte del Estado espaol. Por otro lado, si combatimos el
proceso de autodeterminacin, entonces favorecemos el centralismo. Pero una de
dos: o apoyamos el proceso de autodeterminacin o lo combatimos. Por lo tanto, o
renunciamos a formar parte del Estado espaol o favorecemos el centralismo.
HUELGA
Si alguien se pone en huelga, debe ser por motivos justos. Por su parte, si los
sindicatos llaman a la huelga, es para presionar a la Administracin. Pero si se
presiona a la Administracin y se tienen motivos justos, entonces sta debera
atender a las reivindicaciones planteadas. Por lo tanto, si alguien se pone en huelga
y, adems, los sindicatos llaman a l misma, entonces la Administracin debera
atender a las reivindicaciones planteadas.
REFORMA ENSEANZA
Si nos decidieramos apoyar el proceso de reforma de la enseanza, entonces
renunciamos al sistema de enseanza actual. Si combatimos el proceso de reforma
de la enseanza, entonces favorecemos un sistema de enseanza obsoleto. Pero una
de dos: o apoyamos el proceso de reforma de la enseanza o la combatimos. Por lo
tanto, o rechazamos el sistema de enseanza actual o favorecemos un sistema de
enseanza obsoleto.
CONTROL NACIMIENTOS
Si no hay control de nacimientos, entonces la poblacin crece ilimitadamente. Pero
si la poblacin crece ilimitadamente, aumentar el indice de pobreza. Por lo tanto,
si no hay control de nacimientos, aumentar el indice de pobreza.
TRABAJO POR CUENTA AJENA

Simbolizacin, Formalizacin, Derivacin
Si trabajas por cuenta ajena, pueden acabar contigo poco a poco o te puede matar
a trabajar. Si acaban contigo poco a poco,entonces te matarn a trabajar. Y si te
matan a trabajar, entonces puedes plantearte pasarse la vida trabajando como un
loco. Por lo tanto, si trabajas por cuenta ajena, entonces te puedes plantear que
sentido tiene pasarse la vida trabajando como un loco.
HEAVI METAL
Si decides ser cantante en un grupo Heavi, entonces no deberas vestir como un
ejecutivo de una multinacional. Por otra parte, si decides llegar a ser director de la
CBS, deberas vestir como un ejecutivo de una multinacional. Por lo tanto, no es
cierta la afirmacin: decid ser un cantante en un grupo Heavi y voy a vestir como
un ejecutivo de una multinacional.
MALES SIN REMEDIO

Ni contigo ni sin ti tienen mis males remedio; contigo porque me matas y sin ti,
porque me muero.
MORGAN
Morgan saba que en la angustiosa situacin en la que se encontraba, tena que
decidirse a viajar en avin o en helicptero. Sospechaba que si viajaba en avin se
poda hartar de "comer tierra". Si viajaba en helicptero, tambien. Por lo tanto,
Morgan tena el triste presentimiento de que se iba hartar de "comer tierra".
OTAN
Una de dos: o apoyas la entrada de tu pas en la OTAN o la combates. Si la apoyas,
entonces tomas partido por uno de los dos bloques militares. Si la combates,
entonces defiendes la neutralidad de tu pas. Por lo tanto, o combates la entrada de
tu pas en la OTAN o tomas partida por uno de los dos bloques militares.
JOVENES SOCIALISTAS
Si los jvenes socialistas espaoles apoya a Felipe Gonzlez, entonces renuncian a
su programa de reivindicaciones. Si combaten a Felipe Gonzlez, entonces
favorecen a Manuel Fraga. Pero una de dos: o apoyan a Felipe Gonzlez o lo
combaten. Por lo tanto, debern de renunciar a su programa de reivindicaciones o
apoyar a Fraga.
VIAJE1
Si alguien te dijera: tienes que decidirte a viajar en tren o en avin, o de lo
contrario tendrs que quedarte en tierra; es evidente que podras concluir que
sera lo mismo que si te dijera: viaja en tren, o de lo contrario tendrs que hacerlo
en avin o quedarte en tierra.
VIAJE2
Si alguien te dijera: viaja en tren o de lo contrario tendrs que hacerlo en avin o
tendrs que quedarte en tierra; es evidente que podras concluir que sera lo
mismo que si te dijera: tienes que decidirte a viajar en tren o en avin, o de lo
contrario tendrs que quedarte en tierra.
SUBSTANCIA1
Decir que existe la substancia y afirmar que o bien lo dijo Aristteles o bien lo dijo
Descartes; nos lleva a concluir necesariamente que es lo mismo que decir: existe la
substancia y afirmo que lo dijo Aristteles o existe la substancia y afirmo que lo
dijo Descartes.
SUBSTANCIA2
Decir que existe la substancia y afirmar que lo dijo Aristteles o decir que existe la
substancia y afirmar que lo dijo Descartes; nos lleva a concluir necesariamente que
es lo mismo que decir: existe la substancia y afirmo que o bien lo dijo Aristteles o
bien lo dijo Descartes.
FELICIDAD
En este ejercicio debers usar reglas derivadas
No esperes ser absolutamente feliz o no sabrs lo que es el sufrimiento. Ahora bien,
es cierto que si realizas ciertos actos, podras sentirte absolutamente feliz. Tambin
es cierto que si realizas ciertos actos, te pueden hacer saber lo que es el sufrimiento.
Por consiguiente, no deberas de realizar ciertos actos.
DESCARTES RACIONALISTA
En este ejercicio debers usar reglas derivadas
O la substancia pensante no existe o Descartes no es un racionalista. Ahora bien,
como aceptas el significado del "cogito, ergo sum", entonces tiene que existir la
substancia pensante. Adems, como aceptas la existencia de las ideas innatas,
Descartes es un racionalista. Por consiguiente, o no aceptas el significado del
"cogito, ergo sum" o no aceptas la existencia de las ideas innatas.
SUBSTANCIA PENSANTE Y EXTENSA1

Si se piensa que todo es substancia pensante, entonces si vemos que todo es
substancia extensa, en realidad todo debera ser inextenso. Ello nos lleva a concluir
que si se piensa que todo es substancia pensante y vemos que todo es substancia
extensa, entonces, en realidad, todo debera de ser inextenso.
SUBSTANCIA PENSANTE Y EXTENSA2

Si se piensa que todo es substancia pensante y vemos que todo es substancia
extensa, entonces en realidad debera de ser inextensa. Por lo que podramos
concluir que si se piensa que todo es substancia pensante, entonces si vemos que
todo es substancia extensa, en realidad debera de ser inextensa.
El SEOR ROLDN
Si algo tiene alma vegetativa, entonces podemos estar ante una planta o ante
cualquier ser que tenga vida. Ahora bien, si estamos ante un planta, estamos ante
un ser que tiene vida y si estamos ante un ser que tiene vida, podra ser el Sr.
Roldn. Por consiguiente, si algo tiene alma vegetativa, podra ser el Sr. Roldn.
SERBIA Y CROACIA
En este ejercicio debes usar Reglas derivadas
No puede suceder a la vez que Serbia declare su independencia y Croacia no lo
haga. Si Serbia declara su independencia, la federacin Yugoslava tomar
medidas; y, si Croacia declara su independencia, la federacin Yugoslava no
tomar medidas. Por lo tanto, Serbia no declarar su independencia.
TORMENTA
Si la tormenta contina o anochece, nos quedaremos a cenar o a dormir; si nos
quedamos a cenar o a dormir, no iremos maana al concierto; pero si iremos
maana al concierto. Por lo tanto, la tormenta no contina.
CONFERENCIA1
El conferenciante tena que hablar de causalidad natural o de causalidad
inteligible y de causalidad natural o de categoras del entendimiento. Por lo tanto,
tena que hablar o bien de causalidad natural, o bien de causalidad inteligible y de
categoras del entendimiento.
CONFERENCIA2 Simbolizacin,Formalizacin,Derivacin
El conferenciante tena que hablar o bien de causalidad natural, o bien de
causalidad inteligible y de categoras del entendimiento. Por lo tanto, tena que
hablar de causalidad natural o de causalidad inteligible y de causalidad natural o
de categoras del entendimiento.
SOLUCIN EJERCICIOS EN LENGUAJE NATURAL Y CON REGLAS

BASICAS
PRIMERO:
Ejercicio sobre Normalizacin lingistica
Simbolizacin Ejercicio Normalizacin Lingistica
1. P=Existe una poltica clara de normalizacin lingistica
2. Q=Gallego puede desaparecer como idioma
3. R=Galicia puede perder su identidad
Formalizacin Ejercicio Normalizacin Lingistica

p q; q r |--- p r
Derivacin Ejercicio Normalizacin Lingistica

|--- 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]
SEGUNDO:
Ejercicio sobre Normalizacin lingistica1
Simbolizacin Ejercicio Normalizacin Lingistica1
1. P=Existe poltica clara de normalizacin lingistica
2. Q=Gallego desaparecera como idioma
3. R=Hablamos todos por norma el castellano
Formalizacin Ejercicio sobre Normalizacin Lingistica1

p q; r q |--- ( p q)
Derivacin Ejercicios Normalizacin Lingistica
|--- (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]
TERCERO:
Ejercicio sobre la Juventud
1.
2.
3.
4.
5.
Simbolizacin Ejercicio sobre la Juventud

P=Juventud decide cambiar radicalmente.
Q=Renunciar a muchas opiniones de sus mayores.
R=Hacer revolucin de las costumbres.
S=Organizarse como mejor les parezca.
T=Creacin de una posible sociedad mejor.
Formalizacin Ejercicio sobre Juventud

p q; r s; (s q) t; |--- (p r) t
Derivacin 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]
CUARTO:
Ejercicio sobre Telfono
Simbolizacin Ejercicio sobre Telfono

1. P=Te llam por telfono
2. Q=Recibiste mi llamada
3. R=Te avis del peligro que corras
Formalizacin Ejercicio sobre Telfono

p (q r); |--- (p r)
Derivacin Ejercicio sobre Telfono

|--- (p r)
-1 p (q r)
3 (q r [MP 1,2]
4 r [EC 3]
5 r [DN 4]
6 (p r) [TD 2-5]
QUINTO:
Ejercicio sobre Boda
1.
2.
3.
4.
Simbolizacin Ejercicio sobre Boda

P=Te decides casar algn da
Q=Podes chegar a ser feliz
R=Comers perdices cantas queiras
S=Morrer dunha enchenta
Formalizacin Ejercicio sobre Boda
p q; q r; r s; |--- (p s)
Derivacin Ejercicio sobre Boda

|--- (p s)
-1 p q
-2 q r
-3 r s
5 q [MP 1,4]
6 r [MP 2,5]
7 s [MP 3,6]
8 (p s)[TD 4-7]
1.
2.
3.
4.
SEXTO:
Ejercicio sobre Autodeterminacin
Simbolizacin Ejercicio sobre Autodeterminacin
P=Apoyas proceso autodeterminacin.
Q=Renunciar formar parte Estado espaol.
R=Combatir proceso autodeterminacin.
S=Favorecer centralismo.
Formalizacin Ejercicio sobre Autodeterminacin

p q; r s; p r; |--- (q s)
Derivacin Ejercicio sobre Autodeterminacin

|--- (q s)
-1 p q
-2 r s
-3 p r
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]
1.
2.
3.
4.
5.
SEPTIMO:
Ejercicio sobre Huelga
Simbolizacin 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 administracin.
T=Atender a las reivindicaciones.
Formalizacin Ejercicio sobre Huelga

p q; r s; (s q) t; |--- (p r) t
Derivacin Ejercicio sobre Huelga

|--- (p r) t
-1 p q
-2 r s
-3 (s q) t
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]
1.
2.
3.
4.
OCTAVO:
Ejercicio sobre Reforma en Enseanza
Simbolizacin Ejercicio sobre Reforma de la Enseanza
P=Decidir apoyar reforma.
Q=Denunciar aceptacin sistema actual de enseanza.
R=Combatir proceso de enseanza.
S=Favorecer sistema enseanza obsoleto.
Formalizacin Ejercicio sobre Reforma Enseanza
p q; r s; p r; |--- (q s)
Derivacin Ejercicio sobre Reforma Enseanza

|--- (q s)
-1 p q
-2 r s
-3 p r
5 q [MP 1,4]
6 q s [ID 5 ]
8 s [MP 2,7]
8 (q s)[ID 8]
9 (q s) [Cas 3, 5-6, 7-8]
NOVENO:
Ejercicio sobre Control nacimientos
Simbolizacin Ejercicio sobre Control de nacimientos
1. P=Hay control de nacimientos.
2. Q=Poblacin crece ilimitadamente.
3. R=Aumenta el ndice de pobreza.
Formalizacin Ejercicio Control de nacimientos

p q; q r |--- p r

|--- p r
-1 p q
-2 q r
4 q [MP 1,3]
5 r [MP 2,4]
6 p r [TD 3-5]
1.
2.
3.
4.
DECIMO:
Ejercicio sobre trabajo por cuenta ajena
Simbolizacin 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.
Formalizacin Ejercicio sobre trabajo por cuenta ajena

p (q r); q r; r s; |--- p s
Derivacin 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]
UNDECIMO:
Ejercicio sobre Cantante Heavi
Simbolizacin Ejercicio Cantante Heavi
1. P=Ser cantante grupo Heavi
2. Q=Vestir como ejecutivo multinacional
3. R=Ser director de la CBS
Formalizacin Ejercicio sobre Cantante de Heavi

p q; r q |--- ( p q)
Derivacin Ejercicio Cantante Heavi
|--- (p q)
-1 p q
-2 r q
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]
1.
2.
3.
4.
DUODECIMO:
Ejercicio sobre Males sin remedio
Simbolizacin Ejercicio Males sin remedio
P=Estoy contigo
Q=Tu me matas
R=Yo me muero
S=Mis males tienen remedio
Formalizacin Ejercicio sobre Males sin remedio
[(p p)]; [(p [(q s)]; [( p [(r s)]; |--- s
Derivacin Ejercicio Males sin remedio
|--- s
-1p p
-2 p (q s
3 p (r s
4 s [Premisa Subsidiaria]
6 q s {MP 2,5]
7 s [EC 6]
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]
DECIMOTERCERO:
Ejercicio sobre Morgan
Simbolizacin Ejercicio sobre Morgan
1. P=Viajar en avin
2. Q=Viajar en helicptero
3. R=Hartarse de tragar tierra
Formalizacin Ejercicio sobre Morgan

(p q); (p r); (q r); |--- r
Derivacin Ejercicio sobre Morgan

|--- r
-1 p q
-2 p r
-3 q r
5 r [MP 2,4]
7 r [MP 3,6]
8 r [Cas 1, 4-5, 6-7]
1.
2.
3.
4.
DECIMOCUARTO:
Ejercicio sobre la OTAN
Simbolizacin Ejercicio sobre la OTAN
P=Apoyas entrada de tu pas en la OTAN
Q=Combates entrada de tu pas en la OTAN
R=Tomas partido por uno de los dos bloques militares
S=Defiendes la neutralidad de tu pas
Formalizacin Ejercicio sobre la OTAN

(p q); (p r); (q s); |--- q r
Derivacin Ejercicio sobre la OTAN

|--- q r
-1 p q
-2 p r
-3 q s
5 r [MP 2,4]
6 q r [ID 5]
8 q r [ID 7]
9 q r [Cas 1, 4-6, 7-8]
1.
2.
3.
4.
DECIMOQUINTO:
Ejercicio sobre Jovenes Socialistas
Simbolizacin 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.

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

|--- (q s)
-1 p q
-2 r s
-3 p r
5 q [MP 1,4]
6 q s [ID 5 ]
8 s [MP 2,7]
8 (q s)[ID 8]
9 (q s) [Cas 3, 4-6, 7-8]
DECIMOSEXTO:
Ejercicio sobre Viaje1
Simbolizacin Ejercicio sobre Viaje1
1. P=Alguien te dice que tienes que viajar en tren.
2. Q=Alguien te dice que tienes que viajar en avin.
3. R=Tendrs que quedarte en tierra.
Formalizacin Ejercicio sobre Viaje1

(p q) r |--- p (q r)
Derivacin 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]
DECIMOSEPTIMO:

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

|---( 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]
DECIMOOCTAVO:
Ejercicio sobre Substancia1
Simbolizacin Ejercicio sobre Substancia1
1. P=Existe la substancia.
2. Q=Afirmar que lo dijo Aristteles.
3. R=Afirmar que los dijo Descartes.
Formalizacin Ejercicio sobre Substancia1

[(p (q r)]; |---[p q)] [(p r)]
Derivacin 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]
DECIMONOVENO:


[p q)] [(p r)]; |--- [(p (q r)]
|--- 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]
VEINTE:
Ejercicio sobre Felicidad
Simbolizacin Ejercicio sobre Felicidad
1. A=Ser absolutamente feliz.
2. B=Saber que es el sufrimiento.
3. C=Realizacin de ciertos actos.
Formalizacin Ejercicio sobre Felicidad

( A B); (C A); (C B); |--- C
Derivacin 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]
VEINTEIUNO:
1.
2.
3.
4.
Ejercicio sobre Descartes1

Simbolizacin Ejercicio sobre Descartes1
A=Substancia pensante existe.
B=Descartes es un racionalista.
C=Aceptacin significado del "cgito,ergo sum".
D=Aceptacin existencia ideas innatas.
Formalizacin Ejercicio sobre Descartes1

( A B); (C A); (D B); |--- ( C D
Derivacin 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]
VEINTEIDOS:
1. A=Todo es substancia pensante.
2. B=Vemos que todo es substancia extensa.
3. C=Todo debera ser inextenso.
A ( B C ); |---( A B ) C
|--- ( 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]
VEINTEITRES:
( A B ) C; |--- A ( B C )

|--- 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]
1.
2.
3.
4.
VEINTEICUATRO:
Ejercicio sobre Roldn
Simbolizacin Ejercicio sobre Roldn
P=Tiene alma vegetativa.
Q=Estamos ante una planta.
R=Estamos ante cualquier ser vivo.
S=Referirse al Sr Roldn.
Formalizacin Ejercicio sobre Roldn
p ( q r; (q r) (r s); |--- (p s)
Derivacin Ejercicio sobre Roldn
|--- (p s)
-1 p ( q r
-2 (q r) (r s)
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]
VEINTEICINCO:
Ejercicio sobre Serbia y Croacia
1. P=Serbia declara su independencia.
2. Q=Croacia declara su independencia.
3. R=Federacin Yugoslava toma sus medidas.
4.
Formalizacin Ejercicio sobre Serbia y Croacia

( p q); ( p r ); ( q r ); |--- p
Derivacin Ejercicio sobre Serbia y Croacia

|--- p
-1 ( p q)
-2 ( p r )
3(qr)
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]
VEINTEISEIS:
1.
2.
3.
4.
5.
Ejercicio sobre Tormenta

Simbolizacin Ejercicio sobre Tormenta
P=La tormenta contina.
Q=Llega la noche.
R=Quedarse a cenar.
S=Quedarse a dormir.
T=Ir maana al concierto.
Formalizacin Ejercicio sobre Tormenta
( p q ) ( r s ); ( r s ) t); t; |--- p
Derivacin Ejercicio sobre Tormenta
|--- p
-1 ( p q ) ( r s )
-2 ( r s ) t)
3t
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]
VEINTEISIETE
Ejercicio sobre Conferencia1
Simbolizacin 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 categoras del entendimiento.
Formalizacin Ejercicio sobre Conferencia1
( A B ) ( A C ); |--- A ( B C )
Derivacin 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]
VEINTEIOCHO
A ( B C ); |--- ( A B ) ( A C )
|--- ( 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]

BASICAS
PRIMERO:
1.
P=Existe una poltica clara de normalizacin lingistica
p q; q r |--- p r
|--- p r
-1 p q
-2 q r
4 q [MP 1,3]
5 r [MP 2,4]
6 p r [TD 3-5]
SEGUNDO:
p q; r q |--- ( p q)
|--- (p q)
-1 p q
-2 r q
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]
TERCERO:
1.
2.
3.
4.
5.


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

|--- (p r) t
-1 p q
-2 r s
-3 (s q) t
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]
CUARTO:

p (q r); |--- (p r)
|--- (p r)
-1 p (q r)
3 (q r [MP 1,2]
4 r [EC 3]
5 r [DN 4]
6 (p r) [TD 2-5]
1.
2.
3.
4.
QUINTO:

p q; q r; r s; |--- (p s)
|--- (p s)
-1 p q
-2 q r
-3 r s
5 q [MP 1,4]
6 r [MP 2,5]
7 s [MP 3,6]
8 (p s)[TD 4-7]
SEXTO:
1.
2.
3.
4.


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

|--- (q s)
-1 p q
-2 r s
-3 p r
5 q [MP 1,4]
6 q s [ID 5 ]
8 s [MP 2,7]
8 (q s)[ID 8]
9 (q s) [Cas 3, 5-6, 7-8]
SEPTIMO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.
5.


p q; r s; (s q) t; |--- (p r) t
|--- (p r) t
-1 p q
-2 r s
-3 (s q) t
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]
OCTAVO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.


p q; r s; p r; |--- (q s)
|--- (q s)
-1 p q
-2 r s
-3 p r
5 q [MP 1,4]
6 q s [ID 5 ]
8 s [MP 2,7]
8 (q s)[ID 8]
9 (q s) [Cas 3, 5-6, 7-8]
NOVENO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN


p q; q r |--- p r

|--- p r
-1 p q
-2 q r
4 q [MP 1,3]
5 r [MP 2,4]
6 p r [TD 3-5]
DECIMO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.


p (q r); q r; r s; |--- p s
|--- p s
-1 p ( q r)
-2 q r
-3 r s
5 q r [MP 1,4]
7 r [MP 2,6]
8 s [MP 3,7]
10 s [MP 3,9]
11 s [Cas 5, 6-8, 9-10]
12 p s [TD 4-11]
UNDECIMO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN


p q; r q |--- ( p q)
|--- (p q)
-1 p q
-2 r q
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]
DUODECIMO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.

P=Estoy contigo
Q=Tu me matas
R=Yo me muero

[(p p)]; [(p [(q s)]; [( p [(r s)]; |--- s
|--- s

-1p p
-2 p (q s
3 p (r s
6 q s {MP 2,5]
7 s [EC 6]
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]
DECIMOTERCERO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

1. P=Viajar en avin

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

|--- r
-1 p q
-2 p r
-3 q r
5 r [MP 2,4]
7 r [MP 3,6]
8 r [Cas 1, 4-5, 6-7]
DECIMOCUARTO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.

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

|--- q r
-1 p q
-2 p r
-3 q s
5 r [MP 2,4]
6 q r [ID 5]
8 q r [ID 7]
9 q r [Cas 1, 4-6, 7-8]
DECIMOQUINTO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.


p q; r s; p r; |--- (q s)
|--- (q s)
-1 p q
-2 r s
-3 p r
5 q [MP 1,4]
6 q s [ID 5 ]
8 s [MP 2,7]
8 (q s)[ID 8]
9 (q s) [Cas 3, 4-6, 7-8]
DECIMOSEXTO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN


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

|--- 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]
DECIMOSEPTIMO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN


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

|---( 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]
DECIMOOCTAVO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

[(p (q r)]; |---[p q)] [(p r)]
|---[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]
DECIMONOVENO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN


[p q)] [(p r)]; |--- [(p (q r)]
|--- 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]
VEINTE:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN


( A B); (C A); (C B); |--- C
|--- C
-1 A B
-2 C A
-3 C B
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]
VEINTEIUNO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.


( A B); (C A); (D B); |--- ( C D
|--- ( C D)
-1 A B
-2 C A
-3 D B
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]
VEINTEIDOS:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN


A ( B C ); |---( A B ) C
|--- ( A B ) C
-1 A (B C)
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]
VEINTEITRES:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN


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

|--- A (B C)
-1 ( A B ) C
4 ( A B )[IC 2,3]
5 C [MP 1,4]
6 ( B C )[TD 3-5]
7 A (B C)[TD 2-6]
VEINTEICUATRO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.


p ( q r; (q r) (r s); |--- (p s)
|--- (p s)
-1 p ( q r
-2 (q r) (r s)
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]
VEINTEICINCO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

4.

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

|--- p
-1 ( p q)
-2 ( p r )
3(qr)
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]
VEINTEISEIS:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.
5.

Q=Llega la noche.
R=Quedarse a cenar.

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

|--- p
-1 ( p q ) ( r s )
-2 ( r s ) t)
3t
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]
VEINTEISIETE
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN


( A B ) ( A C ); |--- A ( B C )
|--- 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]
VEINTEIOCHO
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN


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

|--- ( 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]

BASICAS
PRIMERO:
1.
SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
P=Existe una poltica clara de normalizacin lingistica

p q; q r |--- p r
|--- p r
-1 p q
-2 q r
4 q [MP 1,3]
5 r [MP 2,4]
6 p r [TD 3-5]
SEGUNDO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

p q; r q |--- ( p q)
|--- (p q)
-1 p q
-2 r q
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]
TERCERO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.
5.

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

|--- (p r) t
-1 p q
-2 r s
-3 (s q) t
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]
CUARTO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

p (q r); |--- (p r)
|--- (p r)
-1 p (q r)
3 (q r [MP 1,2]
4 r [EC 3]
5 r [DN 4]
6 (p r) [TD 2-5]
QUINTO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.

p q; q r; r s; |--- (p s)
|--- (p s)
-1 p q
-2 q r
-3 r s
5 q [MP 1,4]
6 r [MP 2,5]
7 s [MP 3,6]
8 (p s)[TD 4-7]
SEXTO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.

p q; r s; p r; |--- (q s)
|--- (q s)
-1 p q
-2 r s
-3 p r
5 q [MP 1,4]
6 q s [ID 5 ]
8 s [MP 2,7]
8 (q s)[ID 8]
9 (q s) [Cas 3, 5-6, 7-8]
SEPTIMO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.
5.


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

|--- (p r) t
-1 p q
-2 r s
-3 (s q) t
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]
OCTAVO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.

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

|--- (q s)
-1 p q
-2 r s
-3 p r
5 q [MP 1,4]
6 q s [ID 5 ]
8 s [MP 2,7]
8 (q s)[ID 8]
9 (q s) [Cas 3, 5-6, 7-8]
NOVENO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

p q; q r |--- p r
|--- p r
-1 p q
-2 q r
4 q [MP 1,3]
5 r [MP 2,4]
6 p r [TD 3-5]
DECIMO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.

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

|--- p s
-1 p ( q r)
-2 q r
-3 r s
5 q r [MP 1,4]
7 r [MP 2,6]
8 s [MP 3,7]
10 s [MP 3,9]
11 s [Cas 5, 6-8, 9-10]
12 p s [TD 4-11]
UNDECIMO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
p q; r q |--- ( p q)
|--- (p q)
-1 p q
-2 r q
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]
DUODECIMO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.

P=Estoy contigo
Q=Tu me matas
R=Yo me muero
[(p p)]; [(p [(q s)]; [( p [(r s)]; |--- s
|--- s
-1p p
-2 p (q s
3 p (r s
6 q s {MP 2,5]
7 s [EC 6]
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]
DECIMOTERCERO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1. P=Viajar en avin
(p q); (p r); (q r); |--- r
|--- r
-1 p q
-2 p r
-3 q r
5 r [MP 2,4]
7 r [MP 3,6]
8 r [Cas 1, 4-5, 6-7]
DECIMOCUARTO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.

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

|--- q r
-1 p q
-2 p r
-3 q s
5 r [MP 2,4]
6 q r [ID 5]
8 q r [ID 7]
9 q r [Cas 1, 4-6, 7-8]
DECIMOQUINTO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.

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

|--- (q s)
-1 p q
-2 r s
-3 p r
5 q [MP 1,4]
6 q s [ID 5 ]
8 s [MP 2,7]
8 (q s)[ID 8]
9 (q s) [Cas 3, 4-6, 7-8]
DECIMOSEXTO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
(p q) r |--- p (q r)

|--- 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]
DECIMOSEPTIMO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
p (q r) |----(p q) r
|---( 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]
DECIMOOCTAVO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
[(p (q r)]; |---[p q)] [(p r)]
|---[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]
DECIMONOVENO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
[p q)] [(p r)]; |--- [(p (q r)]
|--- 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]
VEINTE:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN


( A B); (C A); (C B); |--- C
|--- C
-1 A B
-2 C A
-3 C B
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]
VEINTEIUNO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.

( A B); (C A); (D B); |--- ( C D
|--- ( C D)
-1 A B
-2 C A
-3 D B
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]
VEINTEIDOS:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

A ( B C ); |---( A B ) C
|--- ( A B ) C
-1 A (B C)
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]
VEINTEITRES:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

( A B ) C; |--- A ( B C )
|--- A (B C)
-1 ( A B ) C
4 ( A B )[IC 2,3]
5 C [MP 1,4]
6 ( B C )[TD 3-5]
7 A (B C)[TD 2-6]
VEINTEICUATRO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.

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

|--- (p s)
-1 p ( q r
-2 (q r) (r s)
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]
VEINTEICINCO:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN


4.
( p q); ( p r ); ( q r ); |--- p

|--- p
-1 ( p q)
-2 ( p r )
3(qr)
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]
VEINTEISEIS:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.
5.

Q=Llega la noche.
R=Quedarse a cenar.
( p q ) ( r s ); ( r s ) t); t; |--- p

|--- p
-1 ( p q ) ( r s )
-2 ( r s ) t)
3t
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]
VEINTEISIETE
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

( A B ) ( A C ); |--- A ( B C )
|--- 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]
VEINTEIOCHO
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN


A ( B C ); |--- ( A B ) ( A C )
|--- ( 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]
VALIDEZ FORMAL
Validez es el trmino tcnico aplicado a argumentos
deductivos que son lgicamente correctos.Un argumento
deductivo es vlido cuando es imposible que las premisas
sean ciertas y la conclusin falsa. En un argumento
deductivo la conclusin se sigue necesariamente de las
premisas.
Un ejemplo de argumento vlido en lenguaje natural:
Si Lassie es un perro, entonces Lassie es un mamfero.
Lassie es un perro.
------------------- -------------------- ---Por lo tanto Lassie es un mamfero.
(Nota: Todos los perros son mamferos. En este sentido,
"aquello que sea un perro",tiene que ser necesariamente
un mamfero.)
Un ejemplo invlido:
Si es un perro, entonces es un mamfero.
Es un mamfero.
------------------- --------------Por lo tanto: es un perro.
(Nota: No todos los mamferos son perros.Los gatos,ratas,
leones ... son tambin mamferos.En este sentido,
"aquello es un mamfero" podra significar que es un gato
o rata o len... y no necesariamente un perro.)

ARGUMENTO DEDUCTIVO Y DEMOSTRACION FORMAL
ARGUMENTO DEDUCTIVO:
Es un argumento en donde la verdad de las
premisas garantiza la verdad de la conclusin.
Un ejemplo de argumento deductivo vlido:
PREMISAS:
Si (T) la Thiopina contiene morfina entonces
(H) crea dependencia. Si crea dependencia,
entonces la ley debe clasificarla como tal.
La ley no la clasifica como tal.
La conclusin:
Por lo tanto la Thiopina no contiene morfina.
Traducido en el simbolismo formal:
1. T > H
2. H > L
3. ~L
/~T
Las lneas numricas son las premisas.La conclusin

es la que sigue a la barra oblicua.
DEMOSTRACIN FORMAL:
Una demostracin formal consiste en mostrar que
la conclusin puede derivarse desde las premisas
mediante la aplicacin de las reglas de inferencia.
Para probar que el argumento mostrado ms arriba
es vlido usted necesita dos nicas reglas de
inferencia.
1. Silogismo hipottico [HS]
2. Modus Tollens [MT]
Un desglose detallado de la demostracin formal,
para el problema mostrado ms arriba, es el
siguiente:
Paso 1: Desde la lnea 1 y la linea 2 nosotros
podemos derivar T > L por (HS).
HS
P
Q
P
>
>
>
Q
R
-----Q
(1) T > H
(2) H > L
---------T > L
Usted indica este nuevo paso en la demostracin
formal aadiendo una cuarta lnea justificada con

los nmeros de las lineas a las que afect la
aplicacin de la regla del HS:
1.
2.
3.
4.
T > H
H > L
~L
/~T
T > L 1, 2 (HS)
Paso 2: Despues podemos usar la regla del Modus

Tollens (MT) para derivar ~T desde lneas 3 y 4.
T > L
~L
-----~T
Usted indica este nuevo paso en la demostracin
formal, aadiendo una quinta linea justificada con
los nmeros de las lineas a las que afect
la aplicacin de la regla del MT:
1.
2.
3.
4.
5.
T >
H >
~L
T >
~T
H
L
/~T
L 1, 2 (HS)
3, 4 (MT)
La demostracin formal es completa una vez usted

ha derivado una lnea que es la conclusin.
UNA FORMULA BIEN FORMADA

La lgica Proposicional se fundamenta en tres elementos
bsicos:
1.Las proposiciones atmicas simples representadas
por letras enunciativas (A...B).
2.Cinco connectivas lgicas:(la negacin,implicacin,
disyuncin, conjuncin, y equivalencia ).
3.Las marcas de puntuacin (parntesis y corchetes.)
Smbolos
Ejemplos
(J) Jesus llor.
(M) Mara llor.
no
~M
J.M
>
si, entonces
J+M
J>M
si y nicamente si
J=M
Definicin:
a)Cada proposicin atmica simple es una variable.
En este sentido (A),(B),(C)...son proposiciones atmicas y
variables.
b)El compuesto de variables da lugar a
proposiciones moleculares. En este sentido,si
A es una variable y B es otra variable,entonces
ambas pueden formar una proposicin molecular. Asi,
por ejemplo, si A es una variable y B es una
variable, entonces(A.B),(A+B),(A>B),y(A=B)forman
proposiciones moleculares.En definitiva, las cinco
conectivas lgicas y las variables le permiten a usted
construir proposiciones moleculares desde proposiciones
atmicas.
Cada proposicin molecular compuesta tiene una o
ms variables as como cualquiera de las principales
conectivas lgicas.
Si ~A es una proposicin molecular, entonces A es
la variable y '~' es la principal conectiva lgica.
Si (A.B), (A+B), (A>B), y (A=B) son proposiciones
moleculares, entonces A es la variable izquierda y B
es la variable derecha.Y '.', '+', '>', y '=' son sus
respectivas conectivas lgicas.
Tipos de proposiciones:
Simple (atmica):
A
Z
Negacin:
~(A>B)
~[(B>C)>F]
Conjuncin:
(A.B)
[(X>B).(D>O)]
Disyuncin:
(A+B)
[(U>T)+(H>B)]
Implicacin:
(Un>B)
[(C+O)>K]
Equivalencia:
(A=B)
[(S>N)=(X.V)]
PROPOSICIONES
Las partes de un argumento estn constituidas
por las letras enunciativas o Proposiciones.
Para los propsitos de la lgica,una letra enunciativa
o Proposicin constituye una asercin verdadera o falsa.
Ejemplos:
(1) Mi padre envi un presente a su nieto.
(2) Mi padre envi a su nieto un presente.
(3) Un presente era enviado por mi padre a su nieto.
Las tres frases enunciativas son tres frases distintas.
Sin embargo,las tres expresan el mismo tipo de proposicin.
Tales Proposicines puede ser verdaderas o falsas.
Las Proposiciones son de diferentes tipos:
(a)Pregunta:"Pas usted la
lgica?"
(b)Orden:"Cierre inmediatamente la ventana."

(c)Exclamacin:"La madre que me pari!"
a, b, y c no son proposiciones lgicas porque ellas
no afirman algo que es o cierto o falso. Unicamente
son proposiciones lgicas las que nos dicen de algo
si es verdadero o falso.Por ejemplo,es cierto o falso
que mi padre envi un presente a su nieto.Pero no tiene
sentido decir que es cierto o falso la exclamacin
la madre que me pari!.
TABLAS DE VERDAD
DEFINICIN de VERDAD en la lgica Proposicional:
La verdad se aplica unicamente a proposiciones.
Si Yo afirmo que "hay una computadora en mi oficina."
Y desde luego hay una computadora en mi oficina;
entonces la proposicin que yo afirmo arriba es cierta.
Pero la computadora no es cierta y la oficina no
es cierta.No tiene sentido decir de computadoras o

sillas que ellas son o ciertos o falsos.La verdad
nicamente puede ser adjunta a proposiciones.
Este concepto tiene un anlogo aritmtico:Los nmeros
2 o 3 no son ni ciertos ni falsos.Pero la proposicin
aritmtica: 2+3=5 es cierto, y 2 + 3 = 4 es falso.
Cada proposicin es o cierta o falsa. Ninguna proposicin
puede ser al mismo tiempo cierta y falsa o ni cierta ni falsa.
Considere la proposicin atmica simple: "Cuatro es parejo."
Nosotros podemos solicitar,acerca de ella,dos tipos de
preguntas:
(a)En qu sentido, "Cuatro es parejo." tiene un nico
valor de verdad?
(b)Cuales son los valores posibles de verdad para,
"Cuatro es parejo."?
La respuesta a (a) de que tiene un valor nico, porque
cuatro es un nmero par, sera algo cierto.
La respuesta a (b) de que son dos sus valores:cierto
o falso tambien es cierto ya que, "cuatro es parejo."
es una proposicin que puede tener dos valores, desde
el momento en que alguien puede pensar que es
cierto que "cuatro es parejo" o que no es cierto que
"cuatro es parejo".
Ahora consideremos la proposicin molecular siguiente:
"Cuatro es parejo y tres es impar."
Cuales son los valores posibles de verdad de esta
propuesta? Una proposicin molecular con dos componentes
genera cuatro posibilidades.
Para entender mejor esto:
1. Siga la convencin lgica de reemplazar proposiciones
2. simples
3. con una letra simblica:
4. E= "Cuatro es parejo ."
5. O= "Tres es impar ."
6.
7. Reemplaze la conjuncin 'y' con el smbolo: '.'
8. La proposicin molecular puede simbolizarse:(E.O)
9.
10.
11.
12.
13.
14.
15.
Las cuatro
son:
1.E podra
2.E podra
3.E podra
4.E podra
posibles combinaciones de valor de verdad

ser
ser
ser
ser
cierto
cierto
falso
falso
y
y
y
y
O
O
O
O
podra
podra
podra
podra
ser
ser
ser
ser
cierto.
falso.
cierto.
falso.
16.
Una TABLA DE VERDAD, por tanto, es un dispositivo
diagramtico para mostrar todos los valores posibles de
verdad de cualquier proposicin determinada.
Como vimos ms arriba una proposicin atmica simple tiene
dos nicos valores posibles: verdadero o falso.
Usaremos la siguiente convencin:

V=verdadera
F=falsa
Entonces la Tabla de verdad para E es:
E
V
F
La Tabla de verdad para (E.0) es:
E O
| (E . O)
-------|----------V V
|
V F
|
F V
|
F F
|
Adems, tenemos que derivar los valores de verdad para(E.O)

La conjuncin es muy intuitiva: una conjuncin es cierta
unicamente cuando los componentes a la izquierda y derecha
de '.' son ambos ciertos. Es falso bajo cualquier otra
condicin. Por ello (E.O) es cierto nicamente en el primer
caso de la combinacin de los valores de verdad ms arriba
indicados. En Lgica la conjuncin es caracterizada por la
siguiente tabla de verdad:
E O
|
(E.O)
--------|---------------V V
|
V
V F
|
F
F V
|
F
F F
|
F
LA NEGACION
Alguien dice: "Hay una computadora en mi oficina."
Siguiendo la convencin lgica nosotros podemos
representar esta proposicin atmica simple,arriba
indicada,con una letra enunciativa nica:
C="hay computadora en mi oficina."
C afirma el hecho cierto que hay desde luego una
computadora en mi oficina. Podra, sin embargo,ser
ese C falso. (Si alguien hubiera retirado la

computadora de mi oficina.) Pues bien, hay diversas
maneras de decir que ese C no es cierto:
(a)"no hay computadora en mi oficina."
(b)"no es el caso que hay una computadora en mi
oficina."
(a) y (b) se llaman la negacin de C.
Asi, una de las formas de negar C es:
"No es el caso ese C."
Si nosotros reemplazamos 'no es el caso que'
con el smbolo nico:'~' entonces la negativa
de C puede simbolizarse: ~C
Si C es cierto (hay una computadora en mi
oficina),entonces ~C (no es el caso que hay
una computadora en mi oficina) es falso.
La negacin puede ser pensada como una funcin:
si C es cierto, entonces ~C es falso.
si C es falso, entonces ~C es cierto.
En Lgica,una funcin es caracterizada por una
tabla de verdad:
P
|
~P
--------| ---------V
|
F
F
|
V
Ejemplos de negacin:
~A
~(B.~D)
~[(X > M) + (O . Y)]
LA DISYUNCION
DEFINICIN:Implica dos proposiciones conectadas

por 'o'.
EJEMPLO:"Se puede aprender francs estudiando
en Francia o acudiendo a una buena Academia."
Siguiendo la convencin lgica de representar
las proposiciones con letras enunciativas, tenemos::
P="Se puede aprender Francs estudiando en Francia."
Q="Se puede aprender Francs acudiendo a una Academia."

Adems, reemplazemos '...o...'con el smbolo para
la disyuncin: en este caso '+'.
De este modo la disyuncin, arriba sealada, podra
simbolizarse as:
P + Q
Los componentes a la derecha y a la izquierda de 'o'
se llaman miembros de la disjuncin.
NOTA:
Una disyuncin es falsa nicamente cuando sus dos
miembros son falsos. En los dems casos es verdadera.
Asi, por ejemplo, la disyuncin: "Se aprende francs
estudiando en Francia o acudiendo a una buena Academia."
ES FALSA:
1. Unicamente si es falso "Aprender francs estudiando

2. en Francia" y si es falso "Aprender francs acudiendo a
3. una Academia".
4. ES VERDADERA:
5. Si es cierto que unicamente se acude a Francia a
6. estudiar y no se va a una Academia.
7.
8. Si es cierto que unicamente se acude a una Academia
9. a estudiar y no se acude a Francia.
10.
11. Evidentemente tambien es cierto, y posiblemente mejor,
12. si se realizan las dos acciones (Ir a Francia y acudir
13. a una Academia).
14.
En definitiva: el valor de verdad de una disjuncin es
una funcin de los valores de verdad de los miembros de
tal disjuncin.
En Lgica,la disyuncin se caracteriza mediante la siguiente
tabla de verdad:
P Q
P + Q
------------|------ ----V V
|
V
V F
|
V
F V
|
V
F F
|
F
Ejemplos de disyunciones:
(A + B)
[(F > ~P) + K]
[(~L K) . N] + [(D. G) > X]
LA CONJUNCION
DEFINICIN:Implica dos
proposiciones conectadas por 'y'.
EJEMPLO: "Cuatro es parejo y tres es impar."

Siguiendo la convencin lgica de representar las
proposiciones con letras enunciativas,tenemos::
E="Cuatro es parejo."
O="Tres es impar."
Despues,podemos reemplazar 'y' con el smbolo para la
conjuncin:'.'
De este modo, la conjuncin, sealada ms arriba, podria
simbolizarse as:
E.O
Los componentes a la derecha y a la izquierda de 'y' se
llaman miembros de la conjuncin.
NOTA:
Una conjuncin es cierta nicamente cuando ambos
miembros de la conjuncin son ciertos. Asi la proposicin,
"Cuatro es parejo y tres es impar.", unicamente es cierta,
en el caso que cuatro sea parejo y en el caso de que tres
sea impar. En los dems casos,la proposicin es falsa.
El valor de verdad de la conjuncin es una funcin del valor
de verdad de sus componentes.Si uno o ambos de los componentes
es falso, entonces la conjuncin es falsa.
En Lgica, la conjuncin se caracteriza con la tabla de verdad
siguiente:
A B
| (A . B)
--------|---------- -V V
|
V
V F
|
F
F V
|
F
F F
|
F
Ejemplos de conjuncin:
(~N . ~M)
[(G > V) . X]
[(H + F) > D] . [A > (U > Z)]
IMPLICACION
DEFINICIN: Implica dos proposiciones conectadas por

'si....entonces...'.
EJEMPLO:"Si llueve, entonces las calles estn mojadas."
proposiciones con letras enunciativas, tenemos::
P ="Si llueve."
Q ="Las calles estn mojadas ."
Y si, adems, reemplazamos 'si....entonces...' con el
smbolo para la implicacin:'>'
La implicacin, arriba sealada, podra simbolizarse
as:(P > Q)
El componente al izquierda de '>' se llama el antecedente,
y el componente a la derecha de '>' se llama el consiguiente.
NOTA:
Una implicacin unicamente es falsa cuando el
antecedente es verdadero y el consiguiente falso.
En los dems casos es verdadera.Y es que en una
implicacin la relacin que se establece entre
antecedente y consiguiente es meramente
suficiente y no suficiente y necesaria. Asi, por
ejemplo, parece evidente que la lluvia es condicin
suficiente para que una calle est mojada. Por todo
ello,si es verdad que la lluvia es condicin
suficiente para que una calle se moje,parece que sera
falso que lloviera y las calles no estuvieran mojadas.
Ahora bien, ello no quiere decir, que la lluvia sea la
nica causa (condicin necesaria) para que una calle se
moje. Pues bien, si se analiza otro caso de la implicacin
[F-V](prescindimos del ltimo [F-F] que recoge situaciones
contrafcticas) vemos que,si decimos que en este caso la
implicacin es verdadera, estaramos aplicando el concepto
de condicin necesaria a lo que solamente es condicin
suficiente.
El valor de verdad de una implicacin es una funcin de
los valores de verdad del antecedente y el consiguiente.
En Lgica, la implicacin se caracteriza por la siguiente
tabla de verdad:
P Q
|
(P > Q)
----------|-------- -- V V
|
V
V F
|
F
F V
|
V
F F
|
V
Ejemplos de implicacin:
(A > B)
[A > (Y = ~S)]
[A . (N > M)] > J
BICONDICIONAL
DEFINICIN:Implica dos proposiciones conectadas

por'si y nicamente si'.
EJEMPLO: "Yo dar a usted un cuarto si y
nicamente si yo le doy usted un penique."
proposiciones con letras enunciativas, tenemos:
P="Yo dar usted un penique."
Q="Yo dar usted un Cuarto."
Si al mismo tiempo reemplazamos 'si y nicamente si'
con el smbolo para el coimplicador:' = '
Entonces la bicondicional, sealada ms arriba,
podra simbolizarse as:
(Q = P)
NOTA:
Si los componentes situados a los lados del '=' no
tienen el mismo valor (cuando uno es cierto y el
otro es falso, y viceversa),entonces la bicondicioanl es
falsa. Si los componentes sobre el lado de '=' tienen el
mismo valor (ambos son ciertos o ambos son falsos),entonces
la bicondicional es verdadera.
El valor de verdad de una bicondicional es una funcin del
valor de verdad de sus componentes.En Lgica, la
bicondicional es caracterizada por la siguiente tabla de
verdad:
P Q
|
(P = Q)
-------|---------V V
|
V
V F
|
F
F V
|
F
F F
|
V
Ejemplos de Bicondicional:
(E = ~W)
[(B > N) = (U . V)]
TUTORIAL
(REGLAS DE DERIVACION LGICA)
MODUS PONENS
MODUS TOLLENS
SILOGISMO HIPOTTICO
TOLLENDO TOLLENS
INTRODUCCIN DISYUNTOR
ELIMINACIN CONJUNTOR
INTRODUCCIN DEL CONJUNTOR
DILEMA
LEYES DE MORGAN
COMMUTACIN
DOBLE NEGACIN
IMPLICACION
TAUTOLOGA
ASOCIATIVA
DISTRIBUTIVA
CONTRAPOSICIN
EQUIVALENCIA MATERIAL
MODUS PONENS[MP]
Este modelo vlido de razonamiento tiene la forma siguiente:
si P entonces Q
P
-------------por lo tanto : Q
Un Ejemplo no simbolizado:
Si cuatro es parejo, entonces es divisible por dos.
Cuatro es parejo.
----------------------------------------------------Por lo tanto es divisible por dos,
Formalizacin:
Reemplace proposiciones del lenguaje
natural por variables:
E= Cuatro es parejo.
T = es divisible por dos.
Reemplace "si ...entonces.. ." con el smbolo para la implicacin: >
E > T
E
--------T
Otros
ejemplos simbolizados:
(F = ~w) > D
(F > ~W
----------------D
K > ~A
(K > ~A) > C
-----------------C
MODUS TOLLENS[MT]
si P entonces Q
no Q
---------Por lo tanto, no P
Reemplazando:
Si...entonces... con el smbolo para la implicacin: >
no ... con el smbolo para la negacin: ~
P > Q
~Q
--------~P
Un ejemplo no
simbolizado:
1. Si usted estudi lgica, entonces usted sabra las reglas de

inferencia.
2. Usted no sabe las reglas de inferencia.
____________________
3. Por lo tanto,
usted no estudi lgica.
Regla:Si la proposicin corta (2 arriba),contradice el

consiguiente de la declaracin condicional (1 arriba),
entonces usted puede inferir el antecedente de la
declaracin condicional (1 arriba).Por lo tanto 3 arriba.
Otros Ejemplos Simbolizados:
K > ~(C = B)
(C = B)
-----------~k
~R
(M + O) > R
------------~(M + O)
SILOGISMO HIPOTTICO[HS]

si A entonces B
si B entonces C
-------------------------------------------------Por lo tanto, A entonces C
Reemplazar 'si...entonces...' con el smbolo para la implicacin: '>'
A > B
B > C
..........
A > C
Un ejemplo no simblizado:
1. Si los impuestos suben, entonces nuestro presupuesto sufre.
2. Si nuestro presupuesto sufre, entonces nuestra economa se
resiente.
------------------- ------------------ ------------Por lo tanto: Si los impuestos suben, entonces nuestra economa
se resiente.
Regla:si el consiguiente de una de las premisas es el antecedente
de la otra premisa (como en 1 y 2 arriba), entonces usted
puede inferir una implicacin donde el antecedente es el
antecedente de la premisa primera (1 arriba) y el consiguiente
es el consiguiente de la segunda premisa (2 arriba).
Ejemplos del Syllogismo Hipottico:
~A > ~K
~K > C
-------~A > C
~(P . R) > K
~D > ~(P . R)
-------------K > ~D
TOLLENDO PONENS[SD](o Silogismo Disyuntivo)
Este modelo vlido del razonamiento tiene la forma siguiente:

O P o Q
no P
-----------Q
Reemplazando:
O...o... con el smbolo para la disyuncin:
No... con el smbolo para la negacin: ~

P + Q
~P
------Q
Un
ejemplo no simbolizado:
1. O usted es un demcrata o usted es un republicano.

2. Usted no es un demcrata.
------------------- -------------------- -------------Usted es un republicano.
Regla: Si usted tiene una proposicin corta (2 arriba) que contradice
uno de los miembros de una proposicin disyuntiva (1 arriba)
entonces el otro miembro de la disyuncin (de 1 de arriba) puede ser
inferida validamente.
Ejemplos
del Syllogismo Disyuntivo:
~K + (R = ~M)
K
------------(R = ~M)
(B > ~A)
~(B > ~A) + [L . (K > P)]
------------------ ----L . (K > P)
INTRODUCCIN DEL DISYUNTOR[ADD](o Adicin)

A
------- -------------------------de aqu en adelante A o B
Reemplazar 'o' con el smbolo para la disyuncin; '+'
A
-----A + B
Un
1. Dos es parejo.
-------------------------------------------------2. O dos es parejo o dos es impar.
Regla:A cualquier proposicin cierta (1 arriba) usted puede
agregar con una 'o' cualquier propuesta que usted quiera
(2 arriba).La proposicin
o cierta o falsa.
que usted agrega puede ser
Ejemplo de Disyuncin:
~(P > J)
--------~(P > J) + (Y + X)
ELIMINACIN DEL CONJUNTOR[SIMP](o Simplificacin)

A y B
------A
Reemplazar 'y ' con el smbolo para la conjuncin: '.'
A. B
----A
Un ejemplo no simbolizado:
1. Dos es parejo y tres es impar.
------------------- ------------2. Dos es parejo.
Regla:Dada una proposicin conjuntiva (1 arriba) usted

puede validamente inferir cualquiera de sus miembros(2 arriba).
Ejemplos de Simplificacin:
(P > N) . (H + K)
----------------(P > N)
R . [(H + K) > B]
---------------R
INTRODUCCIN DEL CONJUNTOR[CONJ](o Conjuncin)
Este modelo tiene el siguiente vlidez formal:

A
B
---------A y B
Reemplazar 'y' con el smbolo para la conjuncin: '.'

A
B
-----A.B
Un
1. Dos es parejo.
2. Tres es impar.
------------------- -------------------- -3. Dos es parejo y tres es impar.
Regla:Si usted se encuentra con un un par de proposiciones
(1 y 2 arriba), puede inferir siempre la conjuncin del
par (3 arriba).
Ejemplos simbolizados:
~A
~(O > M)
--------~A . ~(O > M)
[Un + (Yo > C)]
(X + Z)
-------------[Un + (Yo > C)] . (X + Z)
EL DILEMA CONSTRUCTIVO[CD]
El modelo vlido del razonamiento tiene la forma siguiente:

A o B
si A entonces C, y si B entonces D
------------------- --------C o D
Reemplazando:
O...o... con el smbolo lgico para la disyuncin: +
Si...entonces...con el smbolo lgico para la implicacin: >
... y ... con el smbolo para la conjuncin: .
A + B
(A > C) . (B > D)
-------------------------C + D
Un ejemplo no simbolizado:
(1) o es oro verdadero o es oro de tontos.
(2) Si es oro verdadero entonces yo soy rico y si es oro de
tontos entonces yo he sido engaado.
------------------- -------------------- -------------------- -(3)O yo soy rico o yo he sido engaado.
Regla: Si los miembros de la disjuncin de la premisa
disyuntiva (1 arriba) son los antecedentes de las dos
condicionales (2 arriba), entonces uno puede inferir los

consiguientes de las proposiciones condicionales como
un disjuncin(3 arriba.)
Ejemplo de Dilema Constructivo:
[(P . Q) > ~X] . [(S . T) > ~Y]
(P . Q) + (S . T)
-------------------------~X + ~Y
LEYES DE MORGAN[DM]
~(P . Q) = (~P + ~Q)
~(P + Q) = (~P . ~Q)
En la parte de arriba puede verse la DM aplicada
desde una conjuncin negada ~(P.Q), a una disyuncin negada
en sus miembros (~P+~Q) ,y desde una disyuncin negada ~(P+Q),
a una conjuncin negada en sus miembros(~P.~Q).
Los componentes a los lados del '=' son equivalentes y por lo
tanto intercambiables.
Ejemplos:
Desde el izquierdo al derecho, cualquier conjuncin negada
puede ser reemplazada por una disjuncin; y desde el lado
derecho al izquierdo
cualquier disyuncin puede
ser reemplazada por una conjuncin negada:
Negado conj.
Disjuncts
-------------------~(~A.B)
= (A + ~B)
~(C. ~K)
= (~C + K)
~[~(T > S).Z] = [(T > S) + ~Z]
Desde la izquierda a la derecha ,cualquier disyuncin
negada puede ser reemplazado por una conjuncin,y desde la
derecha a la izquierda cualquier conjuncin puede ser
reemplazada por una disyuncin negada.
Disj Negado. La Conjuncin
------------ -----------~(K + ~S)
= (~K . S)
~(~B + ~R) = (B . R)
~[(P . El o) + X] = [~(P . O) . ~X]
Consejo: Note como las negaciones cambian cuando usted
mueve desde un lado de la ecuacin al otro.Como con todo reemplazo,
la Regla del DM puede aplicarse a cualquier componente de una
proposicin.
Ejemplo:
[~(O . P) > Y] = [(~O + ~P) > Y]
(A.B) = (B.A)
(A+B) = (B+A)
COMMUTACIN[Com]
La conmutacin se aplica a cualquier proposicin que sea o una

conjuncin o una disyuncin.
Los componentes situados al lado del '=' son equivalentes y
por lo tanto intercambiables.
Ejemplos:
(~P . ~E) = (~E . ~P)
[(M > B) + Z] = [Z + (M > B)]
Usted puede aplicar esta regla
proposicin siguiente:.
[(A + B) > (N . M)]
al componente de la
[(B + A) > (N . M)]
La conmutacin tiene un anlogo en la aritmtica:

(2 + 3) = (3 + 2)
DOBLE NEGACIN[DN]
P=~~P
La doble negacin se aplica a cualquier proposicin.

Las proposiciones situadas sobre el lado del '=' son
intercambiables.
Aqu la lgica concuerda con el adagio familiar:
dos negativas hacen un positiva.
Esta regla lgica tambin tiene un anlogo aritmtico:
2 = -(- 2)
x = -(- x)
Ejemplos:
(A + ~V) + ~~(A + ~V)
[A + (U > N)] = [A + (~~U > N)]
DEFINICIN DEL IMPLICADOR[Impl](en trminos de una disyuncin)

(A >B)
= (~A + B)
La implicacin nicamente se aplica a implicaciones y

disyunciones. Esta regla le permite usted convertir
un ' si entonces ' al 'o' y viceversa.
Las proposiciones situadas
Ejemplos:
al
lado del
'=' son
intercambiables.
(~S > L) = (S + L)
(El d + ~W) = (~D > ~W)
[~(G + L) > J] = [(G + L) + J]
Como con todas las reglas de reemplazo, la Implicacin puede
aplicarse a l componente de la izquierda o al componente
de la derecha
de la proposicin.
[P + (F > G)]
[P + (~F + G)]
TAUTOLOGA[Taut]
A = (A.A) B = (B + B) Las proposiciones situadas al lado del `=` son intercambiables.

Regla: Cualquier proposicin es equivalente a la conjuncin de s mismo y viceversa:
Ejemplos: ~K = (~K . ~K) (A + B) = [(A+ B) . (A + B)] Regla: Cualquier propuesta es
equivalente a la disyuncin de s mismo y viceversa: Ejemplo: ~Z = (~Z + ~Z) La regla
de la Tautologa puede aplicarse a un componente concreto de una proposicin. (P > O)
= [P > (O + O)]
LEY ASOCIACIATIVA DE LA CONJUNCIN Y DE LA DISYUNCIN[Assoc]

[A + (B + C)] = [(A + B) + C]
[A. (B . C)] = [(A. B) . C]
La Asociacin se aplica a cualquier proposicin en donde
las conectivas lgicas son o las conjunciones o disyunciones.
Los componentes situados a los lados
y por lo tanto sonintercambiables.
del
'=' son equivalentes
Ejemplos:
[~K + (C + ~M)] = [(~K + C) + ~M]
[(A > B) . (S . X)] = [(A > B) . S] . X
Usted puede aplicar la regla de asociacin al componente
de una proposicin, como la siguiente:
A > [(C + (M + N)]
A > [(C + M) + N]
LEY DISTRIBUTIVA DE LA CONJUNCIN Y DE LA DISYUNCIN [Dist]

(a) A + (B . C) = [(A + B) . (A + C)]
(b) A. (B + C) = [(A. B) + (A. C)]
En el ejemplo (a) usted
puede ver que la Distribucin
se aplica a una disyuncin

cuyo componente derecho es una
conjuncin; y en el ejemplo (b) usted ve que la
distribucin se aplica a una conjuncin cuyo componente
derecho es un disyuncin.
Las proposiciones situadas sobre o lado de la '=' son
intercambiables.
La distribucin tambin se aplica:
(a) arriba: una conjuncin cuyos componentes en el lado
derecho e izquierdo son las disyunciones.
( b) arriba: una disyuncin cuyos componentes derecho
e izquierdo son las conjunciones.
Ejemplos:
[(~B + C) . (~B + D)]
Anote: La disyuncin a la
en comn. En este caso: ~B
[~B + (C. D)]
[(P . O) + (R . S)]
izquierda del '=' debe tener un trmino
[(P . O) + R] . [(P . O) + S]
Anote:pasando de la izquierda a la derecha,(P.O)se distribuye

en (R.S)
(A > B)
LEY DE LA CONTRAPOSICIN[Trans]
(~B > ~A)
La transposicin se aplica unicamente a implicaciones.

Las proposiciones situadas al lado del '=' son intercambiables.
Ejemplos:
(~X > K) = (~K > X)
[K > (C > S)] = [~(C > S) > ~K]
En el reemplazo la regla nos dice que la Transposicin puede
aplicarse al componente de la izquierda o al componente
de la derecha de la proposicin..
[~(R > D) . Y] = [~(~D > ~R) . Y]
EQUIVALENCIA MATERIAL [Equiv]

(A = B) = [(A > B) . (B > A)]
(A = B) = [(A. B) + (~A . ~B)]
Las proposiciones
situadas
al
lado del '=' son intercambiables.
PRIMERO:/O
1. ( G > O )
2. G
SEGUNDO:/~B
1. ( B > F )
2. ~ F
TERCERO:/(C>S)
1. ( C > K )
2. ( K > S )
CUARTO:/~M
1. [ M > ~ ( T = S ) ]
2. ( T = S )
QUINTO:/[(L>~E)>~(X.Z)]
1. [ W > ~ ( X . Z ) ]
2. [ ( L > ~ E ) > W ]
SEXTO: /L
1. ( R + W )
2. [ ( R + W ) > L ]
SEPTIMO:/~(P+O)
1. [ ( P + O ) > ( M > N ) ]
2. ~ ( M > N )
OCTAVO:/{~Z>[(~P.Q)+K]}
1. { ~ ( A > C ) > [ ( ~ P . Q ) + K ] }
2. [ ~ Z > ~ ( A > C ) ]
NOVENO:/~(B=C)
1. { ( B = C ) > ~ [ ~ ( Z = X ) . W ] }
2. [ ~ ( Z = X ) . W ]
DECIMO:/{[(K=W)+J]>[N+(C=T)]}
1. { [ A = ( B + O ) ] > [ N + ( C = T ) ] }
2. { [ ( K = W ) + J ] > [ A = ( B + O ) ] }
NIVEL INTERMEDIO:
(Principiantes+)
PRIMERO: /~Q
-1. ~ P
-2. [ ~ P > ( Q > P ) ]
SEGUNDO:/K
-1. ( B > ~ C )
-2. ( ~ C > K )
-3. B
TERCERO:/~W
-1. ( ~ Z > K )
-2. ( W > ~ Z )
-3. ~ K
CUARTO:/~C
-1. [ ( A = ~ R ) > ( C > E ) ]
-2. ~ E
-3. ( A = ~ R )
QUINTO:/~W
-1. { V > [ W > ( Q > ~ S ) ] }
-2. ~ ( Q > ~ S )
-3. V
SEXTO:/[(E.~D)>S]
-1. { Z > [ ( E . ~ D ) > S ] }
-2. ( D > Z )
-3. D
SEPTIMO: /~(H+T)
-1. [ ( E . F ) > ( G = J ) ]
-2. ~ ( G = J )
-3. [ ( H + T ) > ( E . F ) ]
OCTAVO:/~[(G>~E)>(K=L)]
-1. { [ ( G > ~ E ) > ( K = L ) ] > ( O + P ) }
-2. ~ [ ( C + F ) > ( N + P ) ]
-3. { ( O + P ) > [ ( C + F ) > ( N + P ) ] }
NOVENO:/~(~O>P)
-1. [ ( ~ O > P ) > ( E = ~ F ) ]
-2. [ ( E = ~ F ) > V ]
-3. ~ V
DECIMO:/(W=X)
-1. { ~ T > [ ~ Z > ( W = X ) ] }
-2. ~ Z
-3. ~ T
NIVEL AVANZADO:
(Principiantes++)
PRIMERO: /~D
-1. { I > [ ~ F > ( D > ~ E ) ] }

-2. ( ~ F > I )
-3. ~ F
-4. ( ~ E > F )
SEGUNDO:/L
-1. [ ~ T > ( ~ E > L ) ]
-2. ( T > E )
-3. ~ E
TERCERO: /~X
-1. ( ~ B > O )
-2. ( X > P )
-3. ( P > ~ B )
-4. ~ O
CUARTO:/(~S>~X)
-1. [ ( ~ S > P ) > ( W > ~ X ) ]
-2. ( ~ S > W )
-3. ( W > P )
QUINTO:/(F=E)
-1. ( R > T )
-2. ( T > L )
-3. { ~ C > [ ( R > T ) > ( F = E ) ] }
-4. [ ( R > L ) > ~ C ]
SEXTO:/~C
-1. [ ~ B > ( C > ~ D ) ]
-2. [ ~ E > ( ~ D > B ) ]
-3. ( ~ E > ~ B )
-4. ~ E
SEPTIMO:/(T>G)
-1. ( H > G )
-2. ( R > H )
-3. [ ( R > G ) > ( S > R ) ]
-4. { ( S > G ) > [ ( S > H ) > ( T > R ) ] }
OCTAVO:/C
-1. ( ~ S > C )
-2. { ~ B > [ ~ B > ( S > Q ) ] }
-3. [ ( ~ S > C ) > ~ Q ]
-4. { ~ Q > [ ~ Q > ( B > Q ) ] }
NOVENO: /~C
-1. [ ~ B > ( C > ~ D ) ]
-2. [ ~ E > ( ~ D > B ) ]
-3. ( ~ E > ~ B )
-4. ~ E
DECIMO: /M
-1. ( ~ T > M )
-2. { ~ H > [ ~ H > ( T > H ) ] }
-3. [ ( ~ T > M ) > ~ H ]
SOLUCION
PRIMERO:/~D
-1. { I > [ ~ F > ( D > ~ E ) ] }
-2. ( ~ F > I )
-3. ~ F
4. ( ~ E > F )
5. E 4 , 3 MT
6. I 2 , 3 MP
7. [ ~ F > ( D > ~ E ) ] 1 , 6 MP
8. ( D > ~ E ) 7 , 3 MP
9. ~ D 8 , 5 MT
SEGUNDO: /L
-1. [ ~ T > ( ~ E > L ) ]
-2. ( T > E )
-3. ~ E
4. ~ T 2 , 3 MT
5. ( ~ E > L ) 1 , 4 MP
6. L 5 , 3 MP
TERCERO: /~X
-1. ( ~ B > O )
-2. ( X > P )
-3. ( P > ~ B )
4. ~ O
5. ( P > O ) 3 , 1 HS
6. ~ P 5 , 4 MT
7. ~ X 2 , 6 MT
CUARTO: /(~S>~X)
-1. [ ( ~ S > P ) > ( W > ~ X ) ]
-2. ( ~ S > W )
-3. ( W > P )
4. ( ~ S > P ) 2 , 3 HS
5. ( W > ~ X ) 1 , 4 MP
6. ( ~ S > ~ X ) 2 , 5 HS
QUINTO: /(F=E)
-1. ( R > T )
-2. ( T > L )
-3. { ~ C > [ ( R > T ) > ( F = E ) ] }
-4. [ ( R > L ) > ~ C ]
5. ( R > L ) 1 , 2 HS
6. ~ C 4 , 5 MP
7. [ ( R > T ) > ( F = E ) ] 3 , 6 MP
8. ( F = E ) 7 , 1 MP
SEXTO: /~C
-1. [ ~ B > ( C > ~ D ) ]
-2. [ ~ E > ( ~ D > B ) ]
-3. ( ~ E > ~ B )
-4. ~ E
5. ~ B 3 , 4 MP
6. ( C > ~ D ) 1 , 5 MP
7. ( ~ D > B ) 2 , 4 MP
8. ( C > B ) 6 , 7 HS
9. ~ C 8 , 5 MT SEPTIMO:/(T>G)
-1. ( H > G )
-2. ( R > H )
-3. [ ( R > G ) > ( S > R ) ]
-4. { ( S > G ) > [ ( S > H ) > ( T > R ) ] }
5. ( R > G ) 2 , 1 HS
6. ( S > R ) 3 , 5 MP
7. ( S > G ) 6 , 5 HS
8. [ ( S > H ) > ( T > R ) ] 4 , 7 MP
9. ( S > H ) 6 , 2 HS
10. ( T > R ) 8 , 9 MP
11. ( T > G ) 10 , 5 HS
OCTAVO:/C
-1. ( ~ S > C )
-2. { ~ B > [ ~ B > ( S > Q ) ] }
-3. [ ( ~ S > C ) > ~ Q ]
-4. { ~ Q > [ ~ Q > ( B > Q ) ] }
5. ~ Q 3 1 MP
6. [ ~ Q > ( B > Q ) ] 4 , 5 MP
7. [ ( ~ S > C ) > ( B > Q ) ] 3 , 6 HS
8. ( B > Q ) 7 , 1 MP
9. ~ B 8 , 5 MT
10. [ ~ B > ( S > Q ) ] 2 , 9 MP
11. ( S > Q ) 10 , 9 MP
12. ~ S 11 , 5 MT
13. C 1 , 12 MP
NOVENO:/~C
-1. [ ~ B > ( C > ~ D ) ]
-2. [ ~ E > ( ~ D > B ) ]

-3. ( ~ E > ~ B )
-4. ~ E
5. [ ~ E > ( C > ~ D ) ] 3 , 1 HS
6. ( C > ~ D ) 5 , 4 MP
7. ( ~ D > B ) 2 , 4 MP
8. ( C > B ) 6 , 7 HS
9. ~ B 3 , 4 MP
10. ~ C 8 , 9 MT
DECIMO:/M
-1. ( ~ T > M )
-2. { ~ H > [ ~ H > ( T > H ) ] }
-3. [ ( ~ T > M ) > ~ H ]
4. { ( ~ T > M ) > [ ~ H > ( T > H ) ] } 3 , 2 HS
5. [ ~ H > ( T > H ) ] 4 , 1 MP
6. [ ( ~ T > M ) > ( T > H ) ] 3 , 5 HS
7. ( T > H ) 6 , 1 MP
8. ~ H 3 , 1 MP
9. ~ T 7 , 8 MT
10. M 1 , 9 MP
Disyuncion
NIVEL BEGINNER: (Principiantes)

PRIMERO: /B
-1. ( A + B )
-2. ~ A
SEGUNDO:/~(R.S)
-1. [ P + ~ ( R . S ) ]
-2. ~ P
TERCERO:/(Z>K)
-1. ~ ( W . X )
-2. [ ( W . X ) + ( Z > K ) ]
CUARTO:/[(C>E).(B=P)]
-1. { ~ A + [ ( C > E ) . ( B = P ) ] }
-2. A
QUINTO:/(A+B)
-1. A
SEXTO:/[(R+T)+(K.W)]
-1. ( R + T )
SEPTIMO:/~Y
-1. ( ~ K + ~ Y )
-2. K
OCTAVO:/(~D>P)
-1. ~ ( ~ A . S )
-2. [ ( ~ A . S ) + ( ~ D > P ) ]
NOVENO:/[B.(X=N)]
-1. K
-2. { ~ K + [ B . ( X = N ) ] }
DECIMO: /Z
-1. { [ ( N > ~ P ) > T ] + Z }
-2. ~ [ ( N > ~ P ) > T ]
NIVEL INTERMEDIO: (Principiantes+)

PRIMERO:/~S
-1. [ A + ( S > A ) ]
-2. ~ A
SEGUNDO: /~C
-1. [ ( L . M ) + ( C > K ) ]
-2. ~ ( L . M )
-3. ~ K
TERCERO:/D
-1. [ X > ( Q + D ) ]
-2. ~ Q
-3. X
CUARTO:/T
-1. [ ( A + C ) > T ]
-2. A
QUINTO:/~D
-1. ( D > B )
-2. ( S + ~ B )
-3. ~ S
SEXTO:/(W+X)
-1. ( E + W )
-2. ~ E
SEPTIMO:/(N+~L)
-1. [ ~ ( ~ Z > M ) + N ]
-2. ( ~ Z > M )
OCTAVO: /(O.P)
-1. ~ K
-2. [ ( ~ K + W ) > ( O . P ) ]
NOVENO:/~R
-1. ~ P
-2. [ P + ( R > P ) ]
DECIMO:/(E+R)
-1. B
-2. [ ( B + T ) > E ]
NIVEL AVANZADO: (Principiantes++)

PRIMERO: /~V
-1. [ N + ( C + ~ V ) ]
-2. ( C > X )
-3. ~ N
-4. ~ X
SEGUNDO:/~H
-1. [ ( Q + T ) > ( Q > G ) ]
-2. [ ( Q + V ) > ( H > ~ M ) ]
-3. [ ( G + K ) > M ]
-4. Q
TERCERO:/(K+W)
-1. [ T > ( ~ A + K ) ]
-2. T
-3. A
CUARTO: /E
-1. [ ( B + C ) > ( A + E ) ]
-2. ~ A
-3. ( A + B )
QUINTO:/S
-1. [ ( ~ G + K ) > ( R + S ) ]
-2. ( G > R )
-3. ~ R
SEXTO:/(E=B)
-1. ~ W
-2. ( S + I )
-3. [ W + ( S > W ) ]
-4. [ I > ( E = B ) ]
SEPTIMO: /E
-1. { ~ B > [ B + ( U > S ) ] }
-2. { ~ S > [ S + ( B > S ) ] }
-3. [ ( U + E ) > ~ S ]
-4. ( U + E )
OCTAVO:/~Z
-1. [ ( P + R ) > ( ~ D + K ) ]
-2. [ ( K + W ) > ~ Z ]
-3. P
-4. D
NOVENO:/{~W+[(P>T).M]}
-1. ~ W
DECIMO:/M
-1. { ~ H > [ H + ( T > H ) ] }
-2. [ ( T + M ) > ~ H ]
-3. ( T + M )
SOLUCION
PRIMERO:/~V
-1. [ N + ( C + ~ V ) ]
-2. ( C > X )
-3. ~ N
-4. ~ X
5. ( C + ~ V ) 1 , 3 DS
6. ~ C 2 , 4 MT
7. ~ V 5 , 6 DS
SEGUNDO:/~H
-1. [ ( Q + T ) > ( Q > G ) ]
-2. [ ( Q + V ) > ( H > ~ M ) ]
-3. [ ( G + K ) > M ]
-4. Q
5. ( Q + T ) 4 , 0 ADD
6. ( Q > G ) 1 , 5 MP
7. G 6 , 4 MP
8. ( G + K ) 7 , 0 ADD
9. M 3 , 8 MP
10. ( Q + V ) 4 , 0 ADD
11. ( H > ~ M ) 2 , 10 MP
12. ~ H 11 , 9 MT
TERCERO:/(K+W)
-1. [ T > ( ~ A + K ) ]
-2. T
-3. A
4. ( ~ A + K ) 1 , 2 MP
5. K 4 , 3 DS
6. ( K + W ) 5 , 0 ADD
CUARTO:/E
-1. [ ( B + C ) > ( A + E ) ]
-2. ~ A
-3. ( A + B )
4. B 3 , 2 DS
5. ( B + C ) 4 , 0 ADD
6. ( A + E ) 1 , 5 MP
7. E 6 , 2 DS
QUINTO:/S
-1. [ ( ~ G + K ) > ( R + S ) ]
-2. ( G > R )
-3. ~ R
4. ~ G 2 , 3 MT
5. ( ~ G + K ) 4 , 0 ADD
6. ( R + S ) 1 , 5 MP
7. S 6 , 3 DS
SEXTO:/(E=B)
-1. ~ W
-2. ( S + I )
-3. [ W + ( S > W ) ]
-4. [ I > ( E = B ) ]
5. ( S > W ) 3 , 1 DS
6. ~ S 5 , 1 MT
7. I 2 , 6 DS
8. ( E = B ) 4 , 7 MP
SEPTIMO:/E
-1. { ~ B > [ B + ( U > S ) ] }
-2. { ~ S > [ S + ( B > S ) ] }
-3. [ ( U + E ) > ~ S ]
-4. ( U + E )
5. ~ S 3 , 4 MP
6. [ S + ( B > S ) ] 2 , 5 MP
7. ( B > S ) 6 , 5 DS
8. ~ B 7 , 5 MT
9. [ B + ( U > S ) ] 1 , 8 MP
10. ( U > S ) 9 , 8 DS
11. ~ U 10 , 5 MT
12. E 4 , 11 DS
OCTAVO: /~Z
-1. [ ( P + R ) > ( ~ D + K ) ]
-2. [ ( K + W ) > ~ Z ]
-3. P
-4. D
5. ( P + R ) 3 , 0 ADD
6. ( ~ D + K ) 1 , 5 MP
7. K 6 , 4 DS
8. ( K + W ) 7 , 0 ADD
9. ~ Z 2 , 8 MP
NOVENO: /{~W+[(P>T).M]}
- 1. ~ W
2. { ~ W + [ ( P > T ) . M ] } 1 , 0 ADD
DECIMO: /M
-1. { ~ H > [ H + ( T > H ) ] }
-2. [ ( T + M ) > ~ H ]
-3. ( T + M )
4. ~ H 2 , 3 MP
5. [ H + ( T > H ) ] 1 , 4 MP
6. ( T > H ) 5 , 4 DS
7. ~ T 6 , 4 MT
8. M 3 , 7 DS
conjuncion
NIVEL BEGINNER:
(Principiantes)
PRIMERO:/K
-1. ( K . G )
SEGUNDO: /~A
-1. ( ~ A . ~ C )
TERCERO:/(L.O)
-1. L
-2. O
CUARTO:/(~M.~R)
-1. ~ M
-2. ~ R
QUINTO: /(~M.X)
-1. [ ( ~ M . X ) . ( L + X ) ]
SEXTO:/[~W.~(B.~C)]
-1. ~ W
-2. ~ ( B . ~ C )
SEPTIMO:/{[~A+(P>~S)].~T}
1. [ ~ A + ( P > ~ S ) ]
2. ~ T
OCTAVO:/A
-1. { A . ~ [ E > ( ~ K > L ) ] }
NOVENO:/{~(X=D).[A+(P.O)]}
-1. ~ ( X = D )
-2. [ A + ( P . O ) ]
DECIMO: /G
-1. ( G . H )
NIVEL INTERMEDIO:
(Principiantes+)
PRIMERO:/(M.K)
-1. ( M . P )
-2. K
SEGUNDO: /P
-1. D
-2. E
-3. [ ( D . E ) > P ]
TERCERO:/(~S.~P)
-1. ( S > P )
-2. ~ P
CUARTO:/(A>P)
-1. [ ( A > ~ B ) . ( C = ~ K ) ]
-2. ( ~ B > P )
QUINTO:/(Z.K)
-1. ( ~ K + Z )
-2. K
SEXTO:/(D>Z)
-1. [ ( C . ~ O ) > ( D > Z ) ]
-2. C
-3. ~ O
SEPTIMO:/(K=F)
-1. { [ ( P + S ) . T ] > ( K = F ) }
-2. T
-3. ( P + S )
OCTAVO: /[(K>P).A]
-1. [ ( K > P ) . ( R > S ) ]
-2. A
NOVENO: /(~D.~Z)
-1. ( ~ Z . P )
-2. ( Z + ~ D )
DECIMO:/M
-1. { [ ( K . E ) . ( ~ K . ~ E ) ] > M }
-2. ( ~ K . ~ E )
-3. ( K . E )
NIVEL AVANZADO:
(Principiantes++)
PRIMERO:/[(F>G).(H>I)]
-1. [ ( Q + T ) > ( F > G ) ]

-2. [ ( Q + U ) > ( H > I ) ]
-3. Q
SEGUNDO:/(B>L)
-1. [ ( C + G ) > ( B > H ) ]

-2. [ ( C + P ) > ( H > L ) ]
-3. ( C . ~ H )
TERCERO: /(~F.B)
-1. { [ B + ( L . K ) ] > ( ~ F . G ) }
-2. { N > [ B . ( Q . S ) ] }
-3. ( N . V )
CUARTO: /U
-1. [ ( G . N ) > ( T + U ) ]
-2. [ ( ~ T + B ) > G ]
-3. [ ( ~ T + C ) > N ]
-4. ( ~ T . H )
QUINTO:/S
-1. [ ( X + Y ) > ( R + S ) ]
-2. [ ( T + G ) > ( R + X ) ]
-3. [ ( T + H ) > ( ~ R > Y ) ]
-4. ( R + T )
-5. ( ~ R . I )
SEXTO:/(K.~F)
-1. [ ( W . ~ F ) > ( Q > F ) ]
-2. ( W > ~ F )
-3. ( W . J )
-4. [ ~ F > ( Q + K ) ]
SEPTIMO: /~A
-1. X
-2. [ ( X + Q ) > ~ E ]
-3. [ X > ( A > E ) ]
OCTAVO:/S
-1. ( N + Q )
-2. [ ( Q + T ) > ( S . E ) ]
-3. ~ N
NOVENO: /P
-1. [ ( S . ~ B ) > ( B + P ) ]
-2. S
-3. ~ B
DECIMO:/(L.~O)
-1. { ( ~ N . ~ O ) > [ ( ~ N + I ) > ( L . M ) ] }
-2. [ ~ N . ( D > E ) ]
-3. [ ~ O . ( G = H ) ]
SOLUCION
PRIMERO: /[(F>G).(H>I)]
-1. [ ( Q + T ) > ( F > G ) ]
-2. [ ( Q + U ) > ( H > I ) ]
-3. Q
4. ( Q + T ) 3 , 0 ADD
5. ( F > G ) 1 , 4 MP
6. ( Q + U ) 3 , 0 ADD
7. ( H > I ) 2 , 6 MP
8. [ ( F > G ) . ( H > I ) ] 5 , 7 CONJ
SEGUNDO: /(B>L)
-1. [ ( C + G ) > ( B > H ) ]
-2. [ ( C + P ) > ( H > L ) ]
-3. ( C . ~ H )
4. C 3 , 0 SIMP
5. ( C + G ) 4 , 0 ADD
6. ( B > H ) 1 , 5 MP
7. ( C + P ) 4 , 0 ADD
8. ( H > L ) 2 , 7 MP
9. ( B > L ) 6 , 8 HS
TERCERO:/(~F.B)
-1. { [ B + ( L . K ) ] > ( ~ F . G ) }
-2. { N > [ B . ( Q . S ) ] }
-3. ( N . V )
4. N 3 , 0 SIMP
5. [ B . ( Q . S ) ] 2 , 4 MP
6. B 5 , 0 SIMP
7. [ B + ( L . K ) ] 6 , 0 ADD
8. ( ~ F . G ) 1 , 7 MP
9. ~ F 8 , 0 SIMP
10. ( ~ F . B ) 9 , 6 CONJ
CUARTO:/U
-1. [ ( G . N ) > ( T + U ) ]
-2. [ ( ~ T + B ) > G ]
-3. [ ( ~ T + C ) > N ]
-4. ( ~ T . H )
5. ~ T 4 , 0 SIMP
6. ( ~ T + B ) 5 , 0 ADD
7. G 2 , 6 MP
8. ( ~ T + C ) 5 , 0 ADD
9. N 3 , 8 MP
10. ( G . N ) 7 , 9 CONJ
11. ( T + U ) 1 , 10 MP
12. U 11 , 5 DS
QUINTO:/S
-1. [ ( X + Y ) > ( R + S ) ]
-2. [ ( T + G ) > ( R + X ) ]
-3. [ ( T + H ) > ( ~ R > Y ) ]
-4. ( R + T )
-5. ( ~ R . I )
6. ~ R 5 , 0 SIMP
7. T 4 , 6 DS
8. ( T + G ) 7 , 0 ADD
9. ( R + X ) 2 , 8 MP
10. X 9 , 6 DS
11. ( X + Y ) 10 , 0 ADD
12. ( R + S ) 1 , 11 MP
13. S 12 , 6 DS
SEXTO:/(K.~F)
-1. [ ( W . ~ F ) > ( Q > F ) ]
-2. ( W > ~ F )
-3. ( W . J )
-4. [ ~ F > ( Q + K ) ]
5. W 3 , 0 SIMP
6. ~ F 2 , 5 MP
7. ( W . ~ F ) 5 , 6 CONJ
8. ( Q > F ) 1 , 7 MP
9. ( Q + K ) 4 , 6 MP
10. ~ Q 8 , 6 MT
11. K 9 , 10 DS
12. ( K . ~ F ) 11 , 6 CONJ
SEPTIMO: /~A
-1. X
-2. [ ( X + Q ) > ~ E ]
-3. [ X > ( A > E ) ]
4. ( X + Q ) 1 , 0 ADD
5. ~ E 2 , 4 MP
6. ( A > E ) 3 , 1 MP
7. ~ A 6 , 5 MT
OCTAVO:/S
-1. ( N + Q )
-2. [ ( Q + T ) > ( S . E ) ]
3. ~ N
4. Q 1 , 3 DS
5. ( Q + T ) 4 , 0 ADD
6. ( S . E ) 2 , 5 MP
7. S 6 , 0 SIMP
NOVENO: /P
-1. [ ( S . ~ B ) > ( B + P ) ]
-2. S
-3. ~ B
4. ( S . ~ B ) 2 , 3 CONJ
5. ( B + P ) 1 , 4 MP
6. P 5 , 3 DS
DECIMO: /(L.~O)
-1. { ( ~ N . ~ O ) > [ ( ~ N + I ) > ( L . M ) ] }
-2. [ ~ N . ( D > E ) ]
-3. [ ~ O . ( G = H ) ]
4. ~ N 2 , 0 SIMP
5. ~ O 3 , 0 SIMP
6. ( ~ N . ~ O ) 4 , 5 CONJ
7. [ ( ~ N + I ) > ( L . M ) ] 1 , 6 MP
8. ( ~ N + I ) 4 , 0 ADD
9. ( L . M ) 7 , 8 MP
10. L 9 0 SIMP
11. ( L . ~ O ) 10 , 5 CONJ
DILEMA
NIVEL BEGINNER:
(Principiantes)
PRIMERO:/(P+K)
-1. ( A + B )
-2. ( A > P )
-3. ( B > K )
SEGUNDO:/[(K.P)+(C.D)]
-1. [ ~ B > ( K . P ) ]
-2. [ ~ X > ( C . D ) ]
-3. [ ( ~ B + ~ X ) . W ]
TERCERO:/(K+Z)
-1. ( ~ S > K )
-2. ( ~ A > Z )
-3. [ ~ P + ( ~ S + ~ A ) ]
-4. P
CUARTO:/(F+E)
-1. { ( O . ~ P ) > [ ( C . K ) + ( ~ C . ~ K ) ] }
-2. [ ( C . K ) > F ]
-3. [ ( ~ C . ~ K ) > E ]
-4. ( O . ~ P )
QUINTO:/(B+A)
-1. ( S + T )
-2. [ ( S > ~ F ) . ( T > ~ E ) ]
-3. [ ( ~ F > B ) . ( ~ E > A ) ]
SEXTO:/(~Z+~A)
-1. ( T + W )
-2. [ ( T > ~ K ) . ( W > B ) ]
-3. [ ( ~ K > ~ Z ) . ( B > ~ A ) ]
SEPTIMO:/[(X.Y)+(~X.~Y)]
-1. [ ( ~ P + ~ A ) . ( ~ A . ~ P ) ]
-2. [ ~ P > ( X . Y ) ]
-3. [ ~ A > ( ~ X . ~ Y ) ]
OCTAVO:/(P+R)
-1. { ( S . T ) + [ ( A . C ) + ( K . P ) ] }
-2. { [ ( A . C ) > P ] . [ ( K . P ) > R ] }
-3. ~ ( S . T )
NOVENO:/(S+R)
-1. ( D + E )
-2. [ ( ~ F > S ) . ( ~ P > R ) ]
-3. [ ( D > ~ F ) . ( E > ~ P ) ]
DECIMO:/(D+K)
-1. [ ( C > D ) . ( A > K ) ]

-2. ( C + A )
NIVEL INTERMEDIO
(Principiantes+)
PRIMERO:/(R+~U)
-1. ( ~ N > R )
-2. ( S > ~ U )
-3. ( ~ N + S )
SEGUNDO:/(E+C)
-1. [ ( D > C ) . ( D > C ) ]

-2. [ ( C > E ) . ( F > D ) ]
-3. ( C + D )
TERCERO:/(J+N)
-1. [ ( S > I ) . ( T > J ) ]

-2. [ ( ~ I . ~ M ) > ( S + T ) ]
-3. [ ~ I . ( L > U ) ]
-4. ( I + ~ M )
CUARTO:/(G+I)
-1. [ ( Q + T ) > ( F > G ) ]

-2. [ ( Q + U ) > ( H > I ) ]
-3. [ ( Q + V ) > ( F + H ) ]
-4. Q
QUINTO:/(C+D)
-1. [ ( O > C ) . ( P > D ) ]

-2. [ R > ( O + P ) ]
-3. R
SEXTO:/(S+Q)
-1. [ ( Q > S ) > ( N > Q ) ]

-2. [ ( Q + N ) > ( Q > S ) ]
-3. ( Q + N )
SEPTIMO:/(S+G)
-1. [ ~ I > ( ~ U > S ) ]

-2. [ I + ( F > G ) ]
-3. ( ~ U + F )
-4. ( ~ I . E )
OCTAVO:/(~D+H)
-1. [ ( N + O ) > ( G > H ) ]

-2. ( E > ~ D )
-3. ( ~ D > C )
-4. ( N . G )
-5. ( E + G )
NOVENO:/H
-1. { ( ~ L . ~ O ) > [ ( ~ Q > L ) . ( ~ S > H ) ] }

-2. ( L > O )
-3. ( ~ O . C )
-4. ( ~ Q + ~ S )
DECIMO:/(F+G)
-1. [ ( ~ B + E ) > ( C > G ) ]

-2. [ ( C + D ) > ( B > F ) ]
-3. ( B + C )
-4. ~ B
NIVEL AVANZADO
(Principiantes++)
PRIMERO:/~L
-1. [ ( ~ Z > ~ D ) > M ]

-2. [ ( M + G ) > F ]
-3. [ ( M . F ) > ( ~ Z + ~ J ) ]
-4. [ L > ~ ( ~ D + ~ P ) ]
-5. ( ~ Z > ~ D )
-6. ( ~ J > ~ P )
SEGUNDO: /(U+E)
-1. [ ( K > S ) . ( ~ K > F ) ]

-2. ( S > J )
-3.{[( K > S ).( S > J )] > [( K . H ) + ( ~ K . ~ H )]}
-4. [ ( K . H ) > U ]
-5. [ ( ~ K . ~ H ) > E ]
TERCERO:/~H
-1. ( ~ X + ~ B )
-2. [ H > ~ ( ~ P + ~ C ) ]
-3. ( ~ X > ~ P )
-4. ( ~ B > ~ C )
CUARTO:/(S+V)
-1. ~ ( T = U )
-2. ( R > S )
-3. [ ~ ( T = U ) > ( U > V ) ]
-4. [ ( T = U ) + ( R + U ) ]
QUINTO:/C
-1. [ ( R + P ) > ( G + M ) ]
-2. ( R . S )
-3. [ ( G > E ) . ( M > F ) ]
-4. [ ( E + F ) > C ]
SEXTO:/~Q
-1. [ ( K > L ) . ( ~ P > ~ Q ) ]

-2. [ ( M > K ) . ( ~ N > ~ P ) ]
-3. [ ~ L > ( M + ~ N ) ]
-4. ( ~ L . G )
SEPTIMO:/D
-1. [ ( S + Q ) > ( H + N ) ]
-2. ( S . V )
-3. [ ( H > F ) . ( N > G ) ]
-4. [ ( F + G ) > D ]
OCTAVO:/(S+N)
-1. { ( Q + T ) > [ ( M > S ) . ( J > N ) ] }

-2. [ ( Q + O ) > ( M + J ) ]
-3. ( Q . W )
NOVENO:/B
-1. [ ( F + J ) > ( B . O ) ]
-2. ( N > F )
-3. ( E > J )
-4. [ ( N + E ) . S ]
DECIMO:/J
-1. ( M > H )
-2. ( D > B )
-3. [ ( H + B ) > ( ~ M . ~ N ) ]
-4. ( M + D )
-5. ( D > J )
SOLUCION
PRIMERO:/~L
-1. [ ( ~ Z > ~ D ) > M ]
-2. [ ( M + G ) > F ]
-3. [ ( M . F ) > ( ~ Z + ~ J ) ]
-4. [ L > ~ ( ~ D + ~ P ) ]
-5. ( ~ Z > ~ D )
-6. ( ~ J > ~ P )
7. M 1 , 5 MP
8. ( M + G ) 7 , 0 ADD
9. F 2 , 8 MP
10. ( M . F ) 7 , 9 CONJ
11. ( ~ Z + ~ J ) 3 , 10 MP
12. [ ( ~ Z > ~ D ) . ( ~ J > ~ P ) ] 5 , 6 CONJ
13. ( ~ D + ~ P ) 11 , 12 CD
14. ~ L 4 , 13 MT
SEGUNDO:/(U+E)
-1. [ ( K > S ) . ( ~ K > F ) ]
-2. ( S > J )
-3. { [ ( K > S ) . ( S > J ) ] > [ ( K . H ) + ( ~ K . ~ H ) ] }
-4. [ ( K . H ) > U ]
-5. [ ( ~ K . ~ H ) > E ]
6. ( K > S ) 1 , 0 SIMP
7. [ ( K > S ) . ( S > J ) ] 6 , 2 CONJ
8. [ ( K . H ) + ( ~ K . ~ H ) ] 3 , 7 MP
9. { [ ( K . H ) > U ] . [ ( ~ K . ~ H ) > E ] } 4 , 5 CONJ
10. ( U + E ) 8 , 9 CD
TERCERO:/~H
-1. ( ~ X + ~ B )
-2. [ H > ~ ( ~ P + ~ C ) ]
-3. ( ~ X > ~ P )
4. ( ~ B > ~ C )
5. [ ( ~ X > ~ P ) . ( ~ B > ~ C ) ] 3 , 4 CONJ
6. ( ~ P + ~ C ) 1 , 5 CD
7. ~ H 2 , 6 MT
CUARTO:/(S+V)
-1. ~ ( T = U )
-2. ( R > S )
-3. [ ~ ( T = U ) > ( U > V ) ]
-4. [ ( T = U ) + ( R + U ) ]
5. ( U > V ) 3 , 1 MP
6. ( R + U ) 4 , 1 DS
7. [ ( R > S ) . ( U > V ) ] 2 , 5 CONJ
8. ( S + V ) 6 , 7 CD
QUINTO:/C
-1. [ ( R + P ) > ( G + M ) ]
-2. ( R . S )
-3. [ ( G > E ) . ( M > F ) ]
-4. [ ( E + F ) > C ]
5. R 2 , 0 SIMP
6. ( R + P ) 5 , 0 ADD
7. ( G + M ) 1 , 6 MP
8. ( E + F ) 7 , 3 CD
9. C 4 , 8 MP
SEXTO:/~Q
-1. [ ( K > L ) . ( ~ P > ~ Q ) ]
-2. [ ( M > K ) . ( ~ N > ~ P ) ]
-3. [ ~ L > ( M + ~ N ) ]
-4. ( ~ L . G )
5. ~ L 4 , 0 SIMP
6. ( M + ~ N ) 3 , 5 MP
7. ( K + ~ P ) 6 , 2 CD
8. ( L + ~ Q ) 7 , 1 CD
9. ~ Q 8 , 5 DS
SEPTIMO:/D
-1. [ ( S + Q ) > ( H + N ) ]
-2. ( S . V )
-3. [ ( H > F ) . ( N > G ) ]
-4. [ ( F + G ) > D ]
5. S 2 , 0 SIMP
6. ( S + Q ) 5 , 0 ADD
7. ( H + N ) 1 , 6 MP
8. ( F + G ) 7 , 3 CD
9. D 4 , 8 MP
OCTAVO:/(S+N)
-1. { ( Q + T ) > [ ( M > S ) . ( J > N ) ] }

-2. [ ( Q + O ) > ( M + J ) ]
-3. ( Q . W )
4. Q 3 , 0 SIMP
5. ( Q + T ) 4 , 0 ADD
6. [ ( M > S ) . ( J > N ) ] 1 , 5 MP
7. ( Q + O ) 4 , 0 ADD
8. ( M + J ) 2 , 7 MP
9. ( S + N ) 8 , 6 CD
NOVENO:/B
-1. [ ( F + J ) > ( B . O ) ]
-2. ( N > F )
-3. ( E > J )
-4. [ ( N + E ) . S ]
5. ( N + E ) 4 , 0 SIMP
6. [ ( N > F ) . ( E > J ) ] 2 , 3 CONJ
7. ( F + J ) 5 , 6 CD
8. ( B . O ) 1 , 7 MP
9. B 8 , 0 SIMP
DECIMO:/J
-1. ( M > H )
-2. ( D > B )
-3. [ ( H + B ) > ( ~ M . ~ N ) ]
-4. ( M + D )
-5. ( D > J )
6. [ ( M > H ) . ( D > B ) ] 1 , 2 CONJ
7. ( H + B ) 4 , 6 CD
8. ( ~ M . ~ N ) 3 , 7 MP
9. ~ M 8 , 0 SIMP
10. D 4 , 9 DS
11. J 5 , 10 MP
LEY DE MORGAN
NIVEL BEGINNER:
(Principiantes)
PRIMERO: /P
-1. ~ ( C + ~ P )
SEGUNDO:/(~K+~S)
-1. [ ~ K + ( L . ~ S ) ]
TERCERO:/[(N.~O)>M]
-1. [ ( ~ O . N ) > M ]
CUARTO:/[(~P+A)+~O]
-1. [ ~ P + ( A + ~ O ) ]
QUINTO: /[~S.(T.R)]
-1. [ R . ( T . ~ S ) ]
SEXTO:/D
-1. [ ( A + B ) > D ]
-2. ( B + A )
SEPTIMO:/D
-1. [ ~ ( A + B ) > D ]
-2. ( ~ A . ~ B )
OCTAVO: /~S
-1. ~ ( ~ K . S )
-2. ~ K
NOVENO: /D
-1. [ A + ( B . C ) ]
-2. [ ( A + B ) > D ]
DECIMO: /[(S+T)+(P.Q)]
-1. [ ( P . Q ) + ( ~ ~ S + T ) ]
NIVEL INTERMEDIO:
(Principiantes+)
PRIMERO:/~(C.P)
-1. ~ C
SEGUNDO:/[~F+(B.E)]
-1. ( B + ~ F )
-2. ( E + ~ F )
TERCERO:/~(~A.B)
-1. [ A + ( ~ B . C ) ]
CUARTO: /[A+(B.C)]
-1. ~ ( ~ A . ~ B )
-2. ~ ( ~ A . ~ C )
QUINTO: /(P.N)
-1. [ ( P . Q ) + ( P . R ) ]
-2. [ P > ( T . N ) ]
SEXTO:/~(B+D)
-1. [ ( A + B ) + C ]
-2. [ ( A + C ) > ~ D ]
-3. ~ B
SEPTIMO:/(B+D)
-1. [ ( A > B ) . ( C > D ) ]
-2. ~ ( ~ A . ~ C )
OCTAVO:/(~D.~A)
-1. ~ ( A + B )
-2. ( C > B )
-3. ( D > C )
NOVENO:/Q
-1. [ ( L . M ) + ( N . L ) ]
-2. [ L > ( Z . Q ) ]
DECIMO: /K
-1. [ ( I . H ) + ( F . K ) ]
-2. ~ H
NIVEL AVANZADO:
(Principiantes++)
PRIMERO:/~(N.P)
-1. ( M > ~ N )
-2. ( O > ~ P )
-3. ~ ( ~ M . ~ O )
SEGUNDO:/~(M+Q)
-1. ~ ( M + N )
-2. [ ~ N > ( M + O ) ]
-3. [ ( P + O ) > ~ Q ]
TERCERO:/~(P.Q)
-1. [ M + ( N . ~ O ) ]
-2. ( M > ~ P )
-3. ( ~ O > ~ Q )
CUARTO:/(R+S)
-1. [ M + ( N . O ) ]
-2. [ ( M + N ) > ~ ( Q . R ) ]
-3. [ ( ~ Q > R ) . ( ~ R > S ) ]
QUINTO:/(M+P)
-1. [ M + ( N . O ) ]
-2. ( M > ~ N )
-3. ( N > ~ O )
SEXTO:/(O>S)
-1. [ ( ~ M + N ) > ( O > P ) ]
-2. [ ( ~ R + N ) > ( P > S ) ]
-3. ~ ( M + R )
SEPTIMO:/~(Q+P)
-1. [ ( ~ M + N ) > ~ ( O . P ) ]
-2. [ ( O . M ) > Q ]
-3. ( O . ~ Q )
OCTAVO: /~(M+P)
-1. ~ ( M . N )
-2. ~ ( P . O )
-3. ~ ( ~ N + ~ O )
NOVENO:/O
-1. [ ~ M > ( N . O ) ]
-2. [ ~ P > ( O . Q ) ]
-3. ~ ( M . P )
DECIMO:/N
-1. [ ( M . N ) + ( O . P ) ]
-2. [ ( N + O ) > ~ P ]
SOLUCION
PRIMERO:/~(N.P)
-1. ( M > ~ N )
-2. ( O > ~ P )
-3. ~ ( ~ M . ~ O )
4. ( M + O ) 3 , 0 DM
5. [ ( M > ~ N ) . ( O > ~ P ) ] 1 , 2 CONJ
6. ( ~ N + ~ P ) 4 , 5 CD
7. ~ ( N . P ) 6 , 0 DM
SEGUNDO:/~(M+Q)
-1. ~ ( M + N )
-2. [ ~ N > ( M + O ) ]
3. [ ( P + O ) > ~ Q ]
4. ( ~ M . ~ N ) 1 , 0 DM
5. ( ~ N . ~ M ) 4 , 0 COM
6. ~ N 5 , 0 SIMP
7. ( M + O ) 2 , 6 MP
8. ~ M 4 , 0 SIMP
9. ( ~ M + Q ) 8 , 0 ADD
TERCERO:/~(P.Q)
-1. [ M + ( N . ~ O ) ]
-2. ( M > ~ P )
-3. ( ~ O > ~ Q )
4. [ ( M + N ) . ( M + ~ O ) ] 1 , 0 DIST
5. [ ( M + ~ O ) . ( M + N ) ] 4 , 0 COM
6. ( M + ~ O ) 5 , 0 SIMP
7. [ ( M > ~ P ) . ( ~ O > ~ Q ) ] 2 , 3 CONJ
8. ( ~ P + ~ Q ) 6 , 7 CD
9. ~ ( P . Q ) 8 , 0 DM
CUARTO: /(R+S)
-1. [ M + ( N . O ) ]
-2. [ ( M + N ) > ~ ( Q . R ) ]
-3. [ ( ~ Q > R ) . ( ~ R > S ) ]
4. [ ( M + N ) . ( M + O ) ] 1 , 0 DIST
5. ( M + N ) 4 , 0 SIMP
6. ~ ( Q . R ) 2 , 5 MP
7. ( ~ Q + ~ R ) 6 , 0 DM
8. ( R + S ) 7 , 3 CD
QUINTO:/(M+P)
-1. [ M + ( N . O ) ]
-2. ( M > ~ N )
3. ( N > ~ O )
4. [ ( M + N ) . ( M + O ) ] 1 , 0 DIST
5. ( M + N ) 4 , 0 SIMP
6. [ ( M > ~ N ) . ( N > ~ O ) ] 2 , 3 CONJ
7. ( ~ N + ~ O ) 5 , 6 CD
8. ( ~ O + ~ N ) 7 , 0 COM
9. [ ( M + O ) . ( M + N ) ] 4 , 0 COM
10. [ M + ( O . N ) ] 9 , 0 DIST
11. ~ ( O . N ) 8 , 0 DM
12. M 10 , 11 DS
13. ( M + P ) 12 , 0 ADD
SEXTO: /(O>S)
-1. [ ( ~ M + N ) > ( O > P ) ]
-2. [ ( ~ R + N ) > ( P > S ) ]
-3. ~ ( M + R )
4. ( ~ M . ~ R ) 3 , 0 DM
5. ~ M 4 , 0 SIMP
6. ( ~ M + N ) 5 , 0 ADD
7. ( O > P ) 1 , 6 MP
8. ( ~ R . ~ M ) 4 , 0 COM
9. ~ R 8 , 0 SIMP
10. ( ~ R + N ) 9 , 0 ADD
11. ( P > S ) 2 , 10 MP
12. ( O > S ) 7 , 11 HS
SEPTIMO: /~(Q+P)
-1. [ ( ~ M + N ) > ~ ( O . P ) ]
-2. [( O . M ) > Q ]
-3. ( O . ~ Q )
4. ( ~ Q . O ) 3 , 0 COM
5. ~ Q 4 , 0 SIMP
6. ~ ( O . M ) 2 , 5 MT
7. ( ~ O + ~ M ) 6 , 0 DM
8. O 3 , 0 SIMP
9. ~ M 7 , 8 DS
10. ( ~ M + N ) 9 , 0 ADD
11. ~ ( O . P ) 1 , 10 MP
12. ( ~ O + ~ P ) 11 , 0 DM
13. ~ P 12 , 8 DS
14. ( ~ P . ~ Q ) 13 , 5 CONJ
15. ( ~ Q . ~ P ) 14 , 0 COM
16. ~ ( Q + P ) 15 , 0 DM
OCTAVO: /~(M+P)
-1. ~ ( M . N )
-2. ~ ( P . O )
-3. ~ ( ~ N + ~ O )
4. ( N . O ) 3 , 0 DM
5. N 4 , 0 SIMP
6. ( ~ P + ~ O ) 2 , 0 DM
7. ( ~ M + ~ N ) 1 , 0 DM
8. ~ M 7 , 5 DS
9. ( O . N ) 4 , 0 COM
10. O 9 , 0 SIMP
11. ~ P 6 , 10 DS
12. ( ~ P . ~ M ) 11 , 8 CONJ
13. ( ~ M . ~ P ) 12 , 0 COM
14. ~ ( M + P ) 13 , 0 DM
NOVENO: /O
-1. [ ~ M > ( N . O ) ]
-2. [ ~ P > ( O . Q ) ]
-3. ~ ( M . P )
4. ( ~ M + ~ P ) 3 , 0 DM
5. { [ ~ M > ( N . O ) ] . [ ~ P > ( O . Q ) ] } 1 , 2 CONJ
6. [ ( N . O ) + ( O . Q ) ] 4 , 5 CD
7. [ ( O . N ) + ( O . Q ) ] 6 , 0 COM
8. [ O . ( N + Q ) ] 7 , 0 DIST
9. O 8 , 0 SIMP
DECIMO: /N
-1. [ ( M . N ) + ( O . P ) ]
-2. [ ( N + O ) > ~ P ]
3. [ ( N . M ) + ( O . P ) ] 1 , 0 COM
4. [ ( N . M ) + ( P . O ) ] 3 , 0 COM
5. { [ ( N . M ) + P ] . [ ( N . M ) + O ] } 4 , 0 DIST
6. [ ( N . M ) + P ] 5 , 0 SIMP
7. { [ ( M . N ) + O ] . [ ( M . N ) + P ] } 1 , 0 DIST
8. [ ( M . N ) + O ] 7 , 0 SIMP
9. [ O + ( M . N ) ] 8 , 0 COM
10. [ ( O + M ) . ( O + N ) ] 9 , 0 DIST
11. [ ( O + N ) . ( O + M ) ] 10 , 0 COM
12. ( O + N ) 11 , 0 SIMP
13. ( N + O ) 12 , 0 COM
14. ~ P 2 , 13 MP
15. ( N . M ) 6 , 14 DS
16. N 15 , 0 SIMP
http://www.paginasobrefilosofia.com/html/logica.html

DERIVADAS

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

DERIVADAS

Uploaded by

Copyright:

Available Formats

EJERCICIOS DE DERIVADAS

Derivacin de los Ejercicios siguientes

EJERCICIOS CON REGLAS DERIVADAS Y REDUCCIN AL ABSURDO

EJERCICIOS EN LENGUAJE NATURAL Y REGLAS BSICAS

TRABAJO POR CUENTA AJENA

MALES SIN REMEDIO

SUBSTANCIA PENSANTE Y EXTENSA1

SUBSTANCIA PENSANTE Y EXTENSA2

SOLUCIN EJERCICIOS EN LENGUAJE NATURAL Y CON REGLAS

Formalizacin Ejercicio Normalizacin Lingistica

Derivacin Ejercicio Normalizacin Lingistica

Formalizacin Ejercicio sobre Normalizacin Lingistica1

Derivacin Ejercicios Normalizacin Lingistica

Simbolizacin Ejercicio sobre la Juventud

Formalizacin Ejercicio sobre Juventud

Simbolizacin Ejercicio sobre Telfono

Formalizacin Ejercicio sobre Telfono

Derivacin Ejercicio sobre Telfono

Simbolizacin Ejercicio sobre Boda

Derivacin Ejercicio sobre Boda

Formalizacin Ejercicio sobre Autodeterminacin

Derivacin Ejercicio sobre Autodeterminacin

Formalizacin Ejercicio sobre Huelga

Derivacin Ejercicio sobre Huelga

Derivacin Ejercicio sobre Reforma Enseanza

Formalizacin Ejercicio Control de nacimientos

Derivacin Ejercicio Normalizacin Lingistica

Formalizacin Ejercicio sobre trabajo por cuenta ajena

Derivacin Ejercicio Trabajo por cuenta ajena

Formalizacin Ejercicio sobre Cantante de Heavi

Derivacin Ejercicio Cantante Heavi

Formalizacin Ejercicio sobre Morgan

Derivacin Ejercicio sobre Morgan

Formalizacin Ejercicio sobre la OTAN

Derivacin Ejercicio sobre la OTAN

Formalizacin Ejercicio sobre la OTAN

Derivacin Ejercicio sobre Autodeterminacin

Formalizacin Ejercicio sobre Viaje1

Formalizacin Ejercicio sobre Viaje2

Derivacin Ejercicio sobre Viaje2

Formalizacin Ejercicio sobre Substancia1

Derivacin Ejercicio sobre Substancia1

2. Q=Afirmar que lo dijo Aristteles.

Formalizacin Ejercicio sobre Substancia2

Formalizacin Ejercicio sobre Felicidad

Ejercicio sobre Descartes1

Formalizacin Ejercicio sobre Descartes1

Derivacin Ejercicio sobre Descartes3

Formalizacin Ejercicio sobre Serbia y Croacia

Derivacin Ejercicio sobre Serbia y Croacia

Ejercicio sobre Tormenta

Derivacin Ejercicio sobre Tormenta

SOLUCIN EJERCICIOS EN LENGUAJE NATURAL Y CON REGLAS

Derivacin Ejercicio Normalizacin Lingistica

Derivacin Ejercicios Normalizacin Lingistica

Simbolizacin Ejercicio sobre la Juventud

Formalizacin Ejercicio sobre Juventud

Derivacin Ejercicio sobre Juventud

Formalizacin Ejercicio sobre Telfono

Formalizacin Ejercicio sobre Boda

Simbolizacin Ejercicio sobre Autodeterminacin

Formalizacin Ejercicio sobre Autodeterminacin

Derivacin Ejercicio sobre Autodeterminacin

Simbolizacin Ejercicio sobre Huelga