You are on page 1of 120

## 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
|--- (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
Simbolizacin,Formalizacin,Derivacin
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
Simbolizacin,Formalizacin,Derivacin
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
Simbolizacin,Formalizacin,Derivacin
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
Simbolizacin,Formalizacin,Derivacin

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
Simbolizacin,Formalizacin,Derivacin
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
Simbolizacin,Formalizacin,Derivacin
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
REFORMA ENSEANZA
Simbolizacin,Formalizacin,Derivacin
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
Simbolizacin,Formalizacin,Derivacin
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
Simbolizacin,Formalizacin,Derivacin
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

Simbolizacin,Formalizacin,Derivacin
Ni contigo ni sin ti tienen mis males remedio; contigo porque me matas y sin ti,
porque me muero.

MORGAN
Simbolizacin,Formalizacin,Derivacin
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
Simbolizacin,Formalizacin,Derivacin
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
Simbolizacin,Formalizacin,Derivacin
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
Simbolizacin,Formalizacin,Derivacin
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
Simbolizacin,Formalizacin,Derivacin
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
Simbolizacin,Formalizacin,Derivacin
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
Simbolizacin,Formalizacin,Derivacin
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.

Simbolizacin,Formalizacin,Derivacin
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
Simbolizacin,Formalizacin,Derivacin
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

Simbolizacin,Formalizacin,Derivacin
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

Simbolizacin,Formalizacin,Derivacin
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
Simbolizacin,Formalizacin,Derivacin
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
Simbolizacin,Formalizacin,Derivacin
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
Simbolizacin,Formalizacin,Derivacin
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
Simbolizacin,Formalizacin,Derivacin
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
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

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
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)
2 p [Premisa Subsidiaria]
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
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]

1.
2.
3.
4.

SEXTO:
Ejercicio sobre Autodeterminacin
Simbolizacin Ejercicio sobre Autodeterminacin
P=Apoyas proceso autodeterminacin.
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
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]

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

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

NOVENO:
Ejercicio sobre Control nacimientos
Simbolizacin Ejercicio sobre Control de nacimientos
1. P=Hay control de nacimientos.
3. R=Aumenta el ndice de pobreza.

## Formalizacin Ejercicio Control de nacimientos

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]

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

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

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

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

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.

## Formalizacin Ejercicio sobre la OTAN

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

## Derivacin Ejercicio sobre Autodeterminacin

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

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:
Ejercicio sobre Viaje2
Simbolizacin Ejercicio sobre Viaje2
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 Viaje2

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

## Derivacin 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]

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:
Ejercicio sobre Substancia2
Simbolizacin Ejercicio sobre Substancia2
1. P=Existe la substancia.

## 2. Q=Afirmar que lo dijo Aristteles.

3. R=Afirmar que los dijo Descartes.

## Formalizacin Ejercicio sobre Substancia2

[p q)] [(p r)]; |--- [(p (q r)]
Derivacin Ejercicio sobre Substancia2
|--- p (q r)
-1 [p q)] [(p r)]
2 [p q)] [Caso 1]
3 p [EC 2]
4 q [EC 2]
5 (q r)[ID 4]
6 (p (q r) [ID 3,5]
7 [(p r)][Caso 2]
8 p [EC 7]
9 r [EC 7]
10 q r [ID 9]
11 p (q r) [IC 8,10]
12 p (q r) [Cas 1, 3-6, 7-11]
VEINTE:
1. A=Ser absolutamente feliz.
2. B=Saber que es el sufrimiento.
3. C=Realizacin de ciertos actos.

( A B); (C A); (C B); |--- C
|--- 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.
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:
Ejercicio sobre Descartes2
Simbolizacin Ejercicio sobre Descartes2
1. A=Todo es substancia pensante.
2. B=Vemos que todo es substancia extensa.
3. C=Todo debera ser inextenso.
Formalizacin Ejercicio sobre Descartes2
A ( B C ); |---( A B ) C
Derivacin Ejercicio sobre Descartes2
|--- ( A B ) C
-1 A (B C)

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

VEINTEITRES:
Ejercicio sobre Descartes3
Simbolizacin Ejercicio sobre Descartes3
1. A=Todo es substancia pensante.
2. B=Vemos que todo es substancia extensa.
3. C=Todo debera ser inextenso.
Formalizacin Ejercicio sobre Descartes3
( A B ) C; |--- A ( B C )

## Derivacin Ejercicio sobre Descartes3

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

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)
3 p [Premisa Subsidiaria]
4 q r [MP 1,4]
5 q [Caso 1]
6 q r [EC 2]
7 r [MP 6,5]
8 r s [EC 2]
9 s [MP 8,7]
10 r [Caso 2]
11 r s [EC 2]
12 s [MP 11,10]
13 s [Cas 4, 5-9, 10-12]
14 (p s)[TD 3-13]

VEINTEICINCO:
Ejercicio sobre Serbia y Croacia
Simbolizacin Ejercicio sobre Roldn
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)
4 p [Premisa Subsidiaria]
5 ( p q) [DM 1]

6 q [TP 5,4]
7 r [MP 2,4]
8 r [MP 3,6]
9 ( r r) [IC 7,8]
10 p [Abs 4-9]
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
4 p [Premisa Subsidiaria]
5 p q [ID 4]
6 r s [MP 1,5]
7 t [MP 2,6]
8 t t [IC 3,7]
9 p [Abs 4-8]

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
Ejercicio sobre Conferencia2
Simbolizacin Ejercicio sobre Conferencia2
1. A=Conferenciante tiene que hablar de causalidad natural.
2. B=Conferenciante tiene que hablar de causalidad inteligible.
3. C=Conferenciante tiene que hablar de categoras del entendimiento.
Formalizacin Ejercicio sobre Conferencia2
A ( B C ); |--- ( A B ) ( A C )
Derivacin Ejercicio sobre Conferencia2
|--- ( A B ) ( A C )

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

## 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

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
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)
2 p [Premisa Subsidiaria]
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:
Ejercicio sobre Boda
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
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]
SEXTO:
Ejercicio sobre Autodeterminacin

1.
2.
3.
4.

## Simbolizacin Ejercicio sobre Autodeterminacin

P=Apoyas proceso autodeterminacin.
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
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]

SEPTIMO:
Ejercicio sobre Huelga
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

1.
2.
3.
4.
5.

## Simbolizacin Ejercicio sobre Huelga

P=Alguien se pone en huelga.
Q=Debe ser por motivos justos.
R=Sindicatos llaman a la huelga.
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
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]

OCTAVO:
Ejercicio sobre Reforma en Enseanza
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

1.
2.
3.
4.

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

NOVENO:
Ejercicio sobre Control nacimientos
1. SIMBOLIZACION
2. FORMALIZACIN

3. DERIVACIN

## Simbolizacin Ejercicio sobre Control de nacimientos

1. P=Hay control de nacimientos.
3. R=Aumenta el ndice de pobreza.

## Formalizacin Ejercicio Control de nacimientos

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]

DECIMO:
Ejercicio sobre trabajo por cuenta ajena
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

1.
2.
3.
4.

## 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
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

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

DUODECIMO:
Ejercicio sobre Males sin remedio
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

1.
2.
3.
4.

## 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

|--- s

## Derivacin Ejercicio Males sin remedio

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

DECIMOTERCERO:
Ejercicio sobre Morgan
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

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

DECIMOCUARTO:
Ejercicio sobre la OTAN
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

1.
2.
3.
4.

## 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

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

Derivacin 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]
DECIMOQUINTO:
Ejercicio sobre Jovenes Socialistas
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

1.
2.
3.
4.

## 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.

## Formalizacin Ejercicio sobre la OTAN

p q; r s; p r; |--- (q s)
Derivacin Ejercicio sobre Autodeterminacin
|--- (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]

DECIMOSEXTO:
Ejercicio sobre Viaje1
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

## 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:
Ejercicio sobre Viaje2
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

## Simbolizacin Ejercicio sobre Viaje2

1. P=Alguien te dice que tienes que viajar en tren.
2. Q=Alguien te dice que tienes que viajar en avin.

## Formalizacin Ejercicio sobre Viaje2

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

## Derivacin 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]

DECIMOOCTAVO:
Ejercicio sobre Substancia1
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

## 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:
Ejercicio sobre Substancia2
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

## Simbolizacin Ejercicio sobre Substancia2

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

## Formalizacin Ejercicio sobre Substancia2

[p q)] [(p r)]; |--- [(p (q r)]
Derivacin Ejercicio sobre Substancia2
|--- p (q r)
-1 [p q)] [(p r)]
2 [p q)] [Caso 1]
3 p [EC 2]
4 q [EC 2]
5 (q r)[ID 4]
6 (p (q r) [ID 3,5]
7 [(p r)][Caso 2]
8 p [EC 7]
9 r [EC 7]
10 q r [ID 9]
11 p (q r) [IC 8,10]
12 p (q r) [Cas 1, 3-6, 7-11]

VEINTE:

1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

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

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

1.
2.
3.
4.

## Simbolizacin Ejercicio sobre Descartes1

A=Substancia pensante existe.
B=Descartes es un racionalista.
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:
Ejercicio sobre Descartes2
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

## Simbolizacin Ejercicio sobre Descartes2

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

## Formalizacin Ejercicio sobre Descartes2

A ( B C ); |---( A B ) C
Derivacin Ejercicio sobre Descartes2

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

VEINTEITRES:
Ejercicio sobre Descartes3
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

## Simbolizacin Ejercicio sobre Descartes3

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

## Formalizacin Ejercicio sobre Descartes3

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

## Derivacin Ejercicio sobre Descartes3

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

## 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)
3 p [Premisa Subsidiaria]
4 q r [MP 1,4]
5 q [Caso 1]
6 q r [EC 2]
7 r [MP 6,5]
8 r s [EC 2]
9 s [MP 8,7]
10 r [Caso 2]
11 r s [EC 2]
12 s [MP 11,10]
13 s [Cas 4, 5-9, 10-12]
14 (p s)[TD 3-13]

VEINTEICINCO:
Ejercicio sobre Serbia y Croacia
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

## Simbolizacin Ejercicio sobre Roldn

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)
4 p [Premisa Subsidiaria]
5 ( p q) [DM 1]
6 q [TP 5,4]

7 r [MP 2,4]
8 r [MP 3,6]
9 ( r r) [IC 7,8]
10 p [Abs 4-9]

VEINTEISEIS:
Ejercicio sobre Tormenta
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

1.
2.
3.
4.
5.

## 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
4 p [Premisa Subsidiaria]
5 p q [ID 4]
6 r s [MP 1,5]
7 t [MP 2,6]
8 t t [IC 3,7]
9 p [Abs 4-8]

VEINTEISIETE
Ejercicio sobre Conferencia1
1. SIMBOLIZACION
2. FORMALIZACIN

3. DERIVACIN

## 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
Ejercicio sobre Conferencia2
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

## Simbolizacin Ejercicio sobre Conferencia2

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

## Formalizacin Ejercicio sobre Conferencia2

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

## Derivacin Ejercicio sobre Conferencia2

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

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

## SOLUCIN EJERCICIOS EN LENGUAJE NATURAL Y CON REGLAS

BASICAS
PRIMERO:
Ejercicio sobre Normalizacin lingistica
1.
SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
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
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

## 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. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
Simbolizacin Ejercicio sobre la Juventud

1.
2.
3.
4.
5.

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

## Simbolizacin Ejercicio sobre Telfono

1. P=Te llam por telfono
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)
2 p [Premisa Subsidiaria]
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. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

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
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]
SEXTO:
Ejercicio sobre Autodeterminacin
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

1.
2.
3.
4.

## Simbolizacin Ejercicio sobre Autodeterminacin

P=Apoyas proceso autodeterminacin.
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
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]
SEPTIMO:
Ejercicio sobre Huelga

1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.
5.

## Simbolizacin Ejercicio sobre Huelga

P=Alguien se pone en huelga.
Q=Debe ser por motivos justos.
R=Sindicatos llaman a la huelga.
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
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]

OCTAVO:
Ejercicio sobre Reforma en Enseanza
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

1.
2.
3.
4.

## 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
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]
NOVENO:
Ejercicio sobre Control nacimientos
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

## Simbolizacin Ejercicio sobre Control de nacimientos

1. P=Hay control de nacimientos.
3. R=Aumenta el ndice de pobreza.
Formalizacin Ejercicio Control de nacimientos
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]

DECIMO:
Ejercicio sobre trabajo por cuenta ajena
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

1.
2.
3.
4.

## 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
1. SIMBOLIZACION
2. FORMALIZACIN

3. DERIVACIN
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
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]
DUODECIMO:
Ejercicio sobre Males sin remedio
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.

## 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]
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]
DECIMOTERCERO:
Ejercicio sobre Morgan

1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
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
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]
DECIMOCUARTO:
Ejercicio sobre la OTAN

1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

1.
2.
3.
4.

## 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

## Derivacin 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]
DECIMOQUINTO:
Ejercicio sobre Jovenes Socialistas
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

1.
2.
3.
4.

## 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.
Formalizacin Ejercicio sobre la OTAN
p q; r s; p r; |--- (q s)

## Derivacin Ejercicio sobre Autodeterminacin

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

DECIMOSEXTO:
Ejercicio sobre Viaje1
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
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:
Ejercicio sobre Viaje2
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
Simbolizacin Ejercicio sobre Viaje2
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 Viaje2
p (q r) |----(p q) r

## Derivacin 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]

DECIMOOCTAVO:
Ejercicio sobre Substancia1
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
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)]

## |---[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:
Ejercicio sobre Substancia2

1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
Simbolizacin Ejercicio sobre Substancia2
1. P=Existe la substancia.
2. Q=Afirmar que lo dijo Aristteles.
3. R=Afirmar que los dijo Descartes.
Formalizacin Ejercicio sobre Substancia2
[p q)] [(p r)]; |--- [(p (q r)]
Derivacin Ejercicio sobre Substancia2
|--- p (q r)
-1 [p q)] [(p r)]
2 [p q)] [Caso 1]
3 p [EC 2]
4 q [EC 2]
5 (q r)[ID 4]
6 (p (q r) [ID 3,5]
7 [(p r)][Caso 2]
8 p [EC 7]
9 r [EC 7]
10 q r [ID 9]
11 p (q r) [IC 8,10]
12 p (q r) [Cas 1, 3-6, 7-11]
VEINTE:
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

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

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

## Simbolizacin Ejercicio sobre Descartes1

A=Substancia pensante existe.
B=Descartes es un racionalista.
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:
Ejercicio sobre Descartes2
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

## Simbolizacin Ejercicio sobre Descartes2

1. A=Todo es substancia pensante.
2. B=Vemos que todo es substancia extensa.
3. C=Todo debera ser inextenso.
Formalizacin Ejercicio sobre Descartes2
A ( B C ); |---( A B ) C
Derivacin Ejercicio sobre Descartes2
|--- ( A B ) C
-1 A (B C)
2 A B [Premisa subsidiaria]
3 A [EC 2]
4 ( B C ) [MP 1,3]
5 B [EC 2]
6 C [MP 4,5]
7 ( A B ) C [TD 2-6]
VEINTEITRES:
Ejercicio sobre Descartes3
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
Simbolizacin Ejercicio sobre Descartes3
1. A=Todo es substancia pensante.
2. B=Vemos que todo es substancia extensa.
3. C=Todo debera ser inextenso.

## Formalizacin Ejercicio sobre Descartes3

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

## Derivacin Ejercicio sobre Descartes3

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

VEINTEICUATRO:
Ejercicio sobre Roldn
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.

## 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)
3 p [Premisa Subsidiaria]
4 q r [MP 1,4]
5 q [Caso 1]
6 q r [EC 2]
7 r [MP 6,5]
8 r s [EC 2]
9 s [MP 8,7]
10 r [Caso 2]
11 r s [EC 2]
12 s [MP 11,10]
13 s [Cas 4, 5-9, 10-12]
14 (p s)[TD 3-13]

VEINTEICINCO:
Ejercicio sobre Serbia y Croacia
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

## Simbolizacin Ejercicio sobre Roldn

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)
4 p [Premisa Subsidiaria]
5 ( p q) [DM 1]
6 q [TP 5,4]
7 r [MP 2,4]
8 r [MP 3,6]
9 ( r r) [IC 7,8]
VEINTEISEIS:
Ejercicio sobre Tormenta
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

1.
2.
3.
4.
5.

## 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
4 p [Premisa Subsidiaria]
5 p q [ID 4]
6 r s [MP 1,5]

7 t [MP 2,6]
8 t t [IC 3,7]
9 p [Abs 4-8]
VEINTEISIETE
Ejercicio sobre Conferencia1

1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

## 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
Ejercicio sobre Conferencia2

1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN

## Simbolizacin Ejercicio sobre Conferencia2

1. A=Conferenciante tiene que hablar de causalidad natural.
2. B=Conferenciante tiene que hablar de causalidad inteligible.

## 3. C=Conferenciante tiene que hablar de categoras del entendimiento.

Formalizacin Ejercicio sobre Conferencia2
A ( B C ); |--- ( A B ) ( A C )
Derivacin Ejercicio sobre Conferencia2
|--- ( A B ) ( A C )

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

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.
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

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
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.

La lgica Proposicional se fundamenta en tres elementos
bsicos:
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

## (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.
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."

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

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
(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
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
Como vimos ms arriba una proposicin atmica simple tiene
dos nicos valores posibles: verdadero o falso.

## Usaremos la siguiente convencin:

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
|

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
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
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
P
|
~P
--------| ---------V
|
F
F
|
V
Ejemplos de negacin:
~A
~(B.~D)
~[(X > M) + (O . Y)]

LA DISYUNCION

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

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

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

## 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."
Siguiendo la convencin lgica de representar las
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

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

por'si y nicamente si'.
EJEMPLO: "Yo dar a usted un cuarto si y
nicamente si yo le doy usted un penique."
Siguiendo la convencin lgica de representar las
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:
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
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
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
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

(F = ~w) > D
(F > ~W
----------------D
K > ~A
(K > ~A) > C
-----------------C

MODUS TOLLENS[MT]
Este modelo vlido de razonamiento tiene la forma siguiente:
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

## 1. Si usted estudi lgica, entonces usted sabra las reglas de

inferencia.
2. Usted no sabe las reglas de inferencia.
____________________
3. Por lo tanto,

## 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.
K > ~(C = B)
(C = B)
-----------~k
~R
(M + O) > R

------------~(M + O)

SILOGISMO HIPOTTICO[HS]

## Este modelo vlido de razonamiento tiene la forma siguiente:

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

## 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:

P + Q
~P
------Q
Un

## 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)

## Este modelo vlido del razonamiento tiene la forma siguiente:

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)

## Este modelo vlido del razonamiento tiene la forma siguiente:

A y B
------A
Reemplazar 'y ' con el smbolo para la conjuncin: '.'
A. B
----A
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

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).
~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
(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
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
derecho al izquierdo
cualquier disyuncin puede
Disjuncts
-------------------~(~A.B)
= (A + ~B)
~(C. ~K)
= (~C + K)
~[~(T > S).Z] = [(T > S) + ~Z]
Desde la izquierda a la derecha ,cualquier disyuncin
derecha a la izquierda cualquier conjuncin puede ser
------------ -----------~(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.
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.

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

(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.
Ejemplos:

al

'=' 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.
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

## 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.
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]

## La transposicin se aplica unicamente a implicaciones.

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

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

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

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

-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)

-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

(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

(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