Professional Documents
Culture Documents
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
SEGUNDO: |--- T
-1 T S
-2 F T
-3 S T
TERCERO: |--- r
-1 (p q)
-2 r q
-3 p r
CUARTO: |--- (A D)
-1 A (B C)
-2 B A
-3 D C
QUINTO: |--- E M
-1 S O
-2 S E
-3 O M
SEXTO: |--- t
-1 p q
-2 t p
-3 (q r)
SEPTIMO: |--- (t s)
-1 R B
-2 (T S) R
-3 B S
-4 T
OCTAVO: |--- p
-1 p s
-2 s r
-3 (t r)
NOVENO: |--- s t
-1 p s
-2 p r
-3 r t
DECIMO: |--- s r
-1 r p q
-2 ( p r) s
-3 p q
UNDECIMO: |--- (p (p q)
-1 r t
-2 t s
-3 (r s) q
DUODECIMO: |--- (t s)
-1 r q
-2 (t s) r
-3 (q s)
-4 t
DECIMOTERCERO:(Aplicar solamente derivadas)
|--- (s r)
-1 p q
-2 r s
-3 q r
-4 p r
DECIMOCUARTO: |--- (q r)
-1 p q
-2 (r p)
DECIMOQUINTO: |--- r s
-1 p ( q r)
-2 p q
DECIMOSEXTO: |--- ( q t)
-1 s r
-2 s p
-3 p q
-4 r t
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
atender a las reivindicaciones planteadas.
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.
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.
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.
FELICIDAD
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.
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
El conferenciante tena que hablar de causalidad natural o de causalidad
inteligible y de causalidad natural o de categoras del entendimiento. Por lo tanto,
tena que hablar o bien de causalidad natural, o bien de causalidad inteligible y de
categoras del entendimiento.
CONFERENCIA2 Simbolizacin,Formalizacin,Derivacin
El conferenciante tena que hablar o bien de causalidad natural, o bien de
causalidad inteligible y de categoras del entendimiento. Por lo tanto, tena que
hablar de causalidad natural o de causalidad inteligible y de causalidad natural o
de categoras del entendimiento.
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
|--- (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.
|--- (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.
2.
3.
4.
7 s [MP 3,6]
8 (p s)[TD 4-7]
1.
2.
3.
4.
SEXTO:
Ejercicio sobre Autodeterminacin
Simbolizacin Ejercicio sobre Autodeterminacin
P=Apoyas proceso autodeterminacin.
Q=Renunciar formar parte Estado espaol.
R=Combatir proceso autodeterminacin.
S=Favorecer centralismo.
1.
2.
3.
4.
5.
SEPTIMO:
Ejercicio sobre Huelga
Simbolizacin Ejercicio sobre Huelga
P=Alguien se pone en huelga.
Q=Debe ser por motivos justos.
R=Sindicatos llaman a la huelga.
S=Presionar a la administracin.
T=Atender a las reivindicaciones.
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)
NOVENO:
Ejercicio sobre Control nacimientos
Simbolizacin Ejercicio sobre Control de nacimientos
1. P=Hay control de nacimientos.
2. Q=Poblacin crece ilimitadamente.
3. R=Aumenta el ndice de pobreza.
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.
|--- 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
|--- (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
-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
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.
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.
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.
DECIMONOVENO:
Ejercicio sobre Substancia2
Simbolizacin Ejercicio sobre Substancia2
1. P=Existe la substancia.
8 (B B)[IC 7,6]
9 C [Abs 4,8]
VEINTEIUNO:
1.
2.
3.
4.
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 )
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.
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.
|--- 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]
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
|--- 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)
|--- (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.
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
1.
2.
3.
4.
SEPTIMO:
Ejercicio sobre Huelga
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.
5.
|--- (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.
NOVENO:
Ejercicio sobre Control nacimientos
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
DECIMO:
Ejercicio sobre trabajo por cuenta ajena
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.
|--- 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
|--- (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.
|--- s
DECIMOTERCERO:
Ejercicio sobre Morgan
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
-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.
1.
2.
3.
4.
DECIMOSEXTO:
Ejercicio sobre Viaje1
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
DECIMOOCTAVO:
Ejercicio sobre Substancia1
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
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
VEINTE:
Ejercicio sobre Felicidad
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.
|--- ( 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
|--- ( 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
|--- (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
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.
VEINTEISIETE
Ejercicio sobre Conferencia1
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
-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
-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]
|--- 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
|--- (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.
6 (p r) [TD 2-5]
QUINTO:
Ejercicio sobre Boda
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.
|--- (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.
|--- (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.
OCTAVO:
Ejercicio sobre Reforma en Enseanza
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.
|--- 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.
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.
|--- 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.
1.
2.
3.
4.
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)
|---( 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)]
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:
Ejercicio sobre Felicidad
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
-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.
|--- ( 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
|--- 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.
VEINTEICINCO:
Ejercicio sobre Serbia y Croacia
1. SIMBOLIZACION
2. FORMALIZACIN
3. DERIVACIN
1.
2.
3.
4.
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
-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
-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
/~T
P
Q
P
>
>
>
Q
R
-----Q
(1) T > H
(2) H > L
---------T > L
T > H
H > L
~L
/~T
T > L 1, 2 (HS)
T >
H >
~L
T >
~T
H
L
/~T
L 1, 2 (HS)
3, 4 (MT)
Ejemplos
no
~M
J.M
>
si, entonces
J+M
J>M
si y nicamente si
J=M
Definicin:
a)Cada proposicin atmica simple es una variable.
En este sentido (A),(B),(C)...son proposiciones atmicas y
variables.
b)El compuesto de variables da lugar a
proposiciones moleculares. En este sentido,si
A es una variable y B es otra variable,entonces
ambas pueden formar una proposicin molecular. Asi,
por ejemplo, si A es una variable y B es una
variable, entonces(A.B),(A+B),(A>B),y(A=B)forman
proposiciones moleculares.En definitiva, las cinco
conectivas lgicas y las variables le permiten a usted
construir proposiciones moleculares desde proposiciones
atmicas.
Cada proposicin molecular compuesta tiene una o
ms variables as como cualquiera de las principales
conectivas lgicas.
Si ~A es una proposicin molecular, entonces A es
la variable y '~' es la principal conectiva lgica.
Si (A.B), (A+B), (A>B), y (A=B) son proposiciones
moleculares, entonces A es la variable izquierda y B
es la variable derecha.Y '.', '+', '>', y '=' son sus
respectivas conectivas lgicas.
Tipos de proposiciones:
Simple (atmica):
A
Z
Negacin:
~(A>B)
~[(B>C)>F]
Conjuncin:
(A.B)
[(X>B).(D>O)]
Disyuncin:
(A+B)
[(U>T)+(H>B)]
Implicacin:
(Un>B)
[(C+O)>K]
Equivalencia:
(A=B)
[(S>N)=(X.V)]
PROPOSICIONES
Las partes de un argumento estn constituidas
por las letras enunciativas o Proposiciones.
Para los propsitos de la lgica,una letra enunciativa
o Proposicin constituye una asercin verdadera o falsa.
Ejemplos:
(1) Mi padre envi un presente a su nieto.
(2) Mi padre envi a su nieto un presente.
(3) Un presente era enviado por mi padre a su nieto.
Las tres frases enunciativas son tres frases distintas.
Sin embargo,las tres expresan el mismo tipo de proposicin.
Tales Proposicines puede ser verdaderas o falsas.
Las Proposiciones son de diferentes tipos:
(a)Pregunta:"Pas usted la
lgica?"
TABLAS DE VERDAD
DEFINICIN de VERDAD en la lgica Proposicional:
La verdad se aplica unicamente a proposiciones.
Si Yo afirmo que "hay una computadora en mi oficina."
Y desde luego hay una computadora en mi oficina;
entonces la proposicin que yo afirmo arriba es cierta.
Pero la computadora no es cierta y la oficina no
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
cierto
cierto
falso
falso
y
y
y
y
O
O
O
O
podra
podra
podra
podra
ser
ser
ser
ser
cierto.
falso.
cierto.
falso.
16.
Una TABLA DE VERDAD, por tanto, es un dispositivo
diagramtico para mostrar todos los valores posibles de
verdad de cualquier proposicin determinada.
Como vimos ms arriba una proposicin atmica simple tiene
dos nicos valores posibles: verdadero o falso.
LA NEGACION
Alguien dice: "Hay una computadora en mi oficina."
Siguiendo la convencin lgica nosotros podemos
representar esta proposicin atmica simple,arriba
indicada,con una letra enunciativa nica:
C="hay computadora en mi oficina."
C afirma el hecho cierto que hay desde luego una
computadora en mi oficina. Podra, sin embargo,ser
LA DISYUNCION
ES FALSA:
4. ES VERDADERA:
5. Si es cierto que unicamente se acude a Francia a
6. estudiar y no se va a una Academia.
7.
8. Si es cierto que unicamente se acude a una Academia
9. a estudiar y no se acude a Francia.
10.
11. Evidentemente tambien es cierto, y posiblemente mejor,
12. si se realizan las dos acciones (Ir a Francia y acudir
13. a una Academia).
14.
En definitiva: el valor de verdad de una disjuncin es
una funcin de los valores de verdad de los miembros de
tal disjuncin.
En Lgica,la disyuncin se caracteriza mediante la siguiente
tabla de verdad:
P Q
P + Q
------------|------ ----V V
|
V
V F
|
V
F V
|
V
F F
|
F
Ejemplos de disyunciones:
(A + B)
[(F > ~P) + K]
[(~L K) . N] + [(D. G) > X]
LA CONJUNCION
DEFINICIN:Implica dos
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
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
TUTORIAL
(REGLAS DE DERIVACION LGICA)
MODUS PONENS
MODUS TOLLENS
SILOGISMO HIPOTTICO
TOLLENDO TOLLENS
INTRODUCCIN DISYUNTOR
ELIMINACIN CONJUNTOR
INTRODUCCIN DEL CONJUNTOR
DILEMA
LEYES DE MORGAN
COMMUTACIN
DOBLE NEGACIN
IMPLICACION
TAUTOLOGA
ASOCIATIVA
DISTRIBUTIVA
CONTRAPOSICIN
EQUIVALENCIA MATERIAL
MODUS PONENS[MP]
Este modelo vlido de razonamiento tiene la forma siguiente:
si P entonces Q
P
-------------por lo tanto : Q
Un Ejemplo no simbolizado:
Si cuatro es parejo, entonces es divisible por dos.
Cuatro es parejo.
----------------------------------------------------Por lo tanto es divisible por dos,
Formalizacin:
Reemplace proposiciones del lenguaje
E= Cuatro es parejo.
T = es divisible por dos.
Reemplace "si ...entonces.. ." con el smbolo para la implicacin: >
E > T
E
--------T
Otros
ejemplos simbolizados:
(F = ~w) > D
(F > ~W
----------------D
K > ~A
(K > ~A) > C
-----------------C
MODUS TOLLENS[MT]
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
simbolizado:
------------~(M + O)
SILOGISMO HIPOTTICO[HS]
ejemplo no simbolizado:
~K + (R = ~M)
K
------------(R = ~M)
(B > ~A)
~(B > ~A) + [L . (K > P)]
------------------ ----L . (K > P)
ejemplo no simbolizado:
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.
Ejemplo de Disyuncin:
~(P > J)
--------~(P > J) + (Y + X)
B
-----A.B
Un
ejemplo no simbolizado:
1. Dos es parejo.
2. Tres es impar.
------------------- -------------------- -3. Dos es parejo y tres es impar.
Regla:Si usted se encuentra con un un par de proposiciones
(1 y 2 arriba), puede inferir siempre la conjuncin del
par (3 arriba).
Ejemplos simbolizados:
~A
~(O > M)
--------~A . ~(O > M)
[Un + (Yo > C)]
(X + Z)
-------------[Un + (Yo > C)] . (X + Z)
EL DILEMA CONSTRUCTIVO[CD]
LEYES DE MORGAN[DM]
~(P . Q) = (~P + ~Q)
~(P + Q) = (~P . ~Q)
En la parte de arriba puede verse la DM aplicada
desde una conjuncin negada ~(P.Q), a una disyuncin negada
en sus miembros (~P+~Q) ,y desde una disyuncin negada ~(P+Q),
a una conjuncin negada en sus miembros(~P.~Q).
Los componentes a los lados del '=' son equivalentes y por lo
tanto intercambiables.
Ejemplos:
Desde el izquierdo al derecho, cualquier conjuncin negada
puede ser reemplazada por una disjuncin; y desde el lado
derecho al izquierdo
cualquier disyuncin puede
ser reemplazada por una conjuncin negada:
Negado conj.
Disjuncts
-------------------~(~A.B)
= (A + ~B)
~(C. ~K)
= (~C + K)
~[~(T > S).Z] = [(T > S) + ~Z]
Desde la izquierda a la derecha ,cualquier disyuncin
negada puede ser reemplazado por una conjuncin,y desde la
derecha a la izquierda cualquier conjuncin puede ser
reemplazada por una disyuncin negada.
Disj Negado. La Conjuncin
------------ -----------~(K + ~S)
= (~K . S)
~(~B + ~R) = (B . R)
~[(P . El o) + X] = [~(P . O) . ~X]
Consejo: Note como las negaciones cambian cuando usted
mueve desde un lado de la ecuacin al otro.Como con todo reemplazo,
la Regla del DM puede aplicarse a cualquier componente de una
proposicin.
Ejemplo:
[~(O . P) > Y] = [(~O + ~P) > Y]
(A.B) = (B.A)
(A+B) = (B+A)
COMMUTACIN[Com]
al componente de la
[(B + A) > (N . M)]
DOBLE NEGACIN[DN]
P=~~P
= (~A + B)
al
lado del
'=' son
intercambiables.
(~S > L) = (S + L)
(El d + ~W) = (~D > ~W)
[~(G + L) > J] = [(G + L) + J]
Como con todas las reglas de reemplazo, la Implicacin puede
aplicarse a l componente de la izquierda o al componente
de la derecha
de la proposicin.
[P + (F > G)]
[P + (~F + G)]
TAUTOLOGA[Taut]
del
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]
Anote: La disyuncin a la
en comn. En este caso: ~B
[(P . O) + (R . S)]
[(P . O) + R] . [(P . O) + S]
(A > B)
LEY DE LA CONTRAPOSICIN[Trans]
situadas
al
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
SEGUNDO:/K
-1. ( B > ~ C )
-2. ( ~ C > K )
-3. B
TERCERO:/~W
-1. ( ~ Z > K )
-2. ( W > ~ Z )
-3. ~ K
CUARTO:/~C
-1. [ ( A = ~ R ) > ( C > E ) ]
-2. ~ E
-3. ( A = ~ R )
QUINTO:/~W
-1. { V > [ W > ( Q > ~ S ) ] }
-2. ~ ( Q > ~ S )
-3. V
SEXTO:/[(E.~D)>S]
-1. { Z > [ ( E . ~ D ) > S ] }
-2. ( D > Z )
-3. D
SEPTIMO: /~(H+T)
-1. [ ( E . F ) > ( G = J ) ]
-2. ~ ( G = J )
-3. [ ( H + T ) > ( E . F ) ]
OCTAVO:/~[(G>~E)>(K=L)]
-1. { [ ( G > ~ E ) > ( K = L ) ] > ( O + P ) }
-2. ~ [ ( C + F ) > ( N + P ) ]
-3. { ( O + P ) > [ ( C + F ) > ( N + P ) ] }
NOVENO:/~(~O>P)
-1. [ ( ~ O > P ) > ( E = ~ F ) ]
-2. [ ( E = ~ F ) > V ]
-3. ~ V
DECIMO:/(W=X)
-1. { ~ T > [ ~ Z > ( W = X ) ] }
-2. ~ Z
-3. ~ T
NIVEL AVANZADO:
(Principiantes++)
PRIMERO: /~D
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 ) ]
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
-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 ]
-2. ( C > X )
-3. ~ N
-4. ~ X
SEGUNDO:/~H
-1. [ ( Q + T ) > ( Q > G ) ]
-2. [ ( Q + V ) > ( H > ~ M ) ]
-3. [ ( G + K ) > M ]
-4. Q
TERCERO:/(K+W)
-1. [ T > ( ~ A + K ) ]
-2. T
-3. A
CUARTO: /E
-1. [ ( B + C ) > ( A + E ) ]
-2. ~ A
-3. ( A + B )
QUINTO:/S
-1. [ ( ~ G + K ) > ( R + S ) ]
-2. ( G > R )
-3. ~ R
SEXTO:/(E=B)
-1. ~ W
-2. ( S + I )
-3. [ W + ( S > W ) ]
-4. [ I > ( E = B ) ]
SEPTIMO: /E
-1. { ~ B > [ B + ( U > S ) ] }
-2. { ~ S > [ S + ( B > S ) ] }
-3. [ ( U + E ) > ~ S ]
-4. ( U + E )
OCTAVO:/~Z
-1. [ ( P + R ) > ( ~ D + K ) ]
-2. [ ( K + W ) > ~ Z ]
-3. P
-4. D
NOVENO:/{~W+[(P>T).M]}
-1. ~ W
DECIMO:/M
-1. { ~ H > [ H + ( T > H ) ] }
-2. [ ( T + M ) > ~ H ]
-3. ( T + M )
SOLUCION
PRIMERO:/~V
-1. [ N + ( C + ~ V ) ]
-2. ( C > X )
-3. ~ N
-4. ~ X
5. ( C + ~ V ) 1 , 3 DS
6. ~ C 2 , 4 MT
7. ~ V 5 , 6 DS
SEGUNDO:/~H
-1. [ ( Q + T ) > ( Q > G ) ]
-2. [ ( Q + V ) > ( H > ~ M ) ]
-3. [ ( G + K ) > M ]
-4. Q
5. ( Q + T ) 4 , 0 ADD
6. ( Q > G ) 1 , 5 MP
7. G 6 , 4 MP
8. ( G + K ) 7 , 0 ADD
9. M 3 , 8 MP
10. ( Q + V ) 4 , 0 ADD
11. ( H > ~ M ) 2 , 10 MP
12. ~ H 11 , 9 MT
TERCERO:/(K+W)
-1. [ T > ( ~ A + K ) ]
-2. T
-3. A
4. ( ~ A + K ) 1 , 2 MP
5. K 4 , 3 DS
6. ( K + W ) 5 , 0 ADD
CUARTO:/E
-1. [ ( B + C ) > ( A + E ) ]
-2. ~ A
-3. ( A + B )
4. B 3 , 2 DS
5. ( B + C ) 4 , 0 ADD
6. ( A + E ) 1 , 5 MP
7. E 6 , 2 DS
QUINTO:/S
-1. [ ( ~ G + K ) > ( R + S ) ]
-2. ( G > R )
-3. ~ R
4. ~ G 2 , 3 MT
5. ( ~ G + K ) 4 , 0 ADD
6. ( R + S ) 1 , 5 MP
7. S 6 , 3 DS
SEXTO:/(E=B)
-1. ~ W
-2. ( S + I )
-3. [ W + ( S > W ) ]
-4. [ I > ( E = B ) ]
5. ( S > W ) 3 , 1 DS
6. ~ S 5 , 1 MT
7. I 2 , 6 DS
8. ( E = B ) 4 , 7 MP
SEPTIMO:/E
-1. { ~ B > [ B + ( U > S ) ] }
-2. { ~ S > [ S + ( B > S ) ] }
-3. [ ( U + E ) > ~ S ]
-4. ( U + E )
5. ~ S 3 , 4 MP
6. [ S + ( B > S ) ] 2 , 5 MP
7. ( B > S ) 6 , 5 DS
8. ~ B 7 , 5 MT
9. [ B + ( U > S ) ] 1 , 8 MP
10. ( U > S ) 9 , 8 DS
11. ~ U 10 , 5 MT
12. E 4 , 11 DS
OCTAVO: /~Z
-1. [ ( P + R ) > ( ~ D + K ) ]
-2. [ ( K + W ) > ~ Z ]
-3. P
-4. D
5. ( P + R ) 3 , 0 ADD
6. ( ~ D + K ) 1 , 5 MP
7. K 6 , 4 DS
8. ( K + W ) 7 , 0 ADD
9. ~ Z 2 , 8 MP
NOVENO: /{~W+[(P>T).M]}
- 1. ~ W
2. { ~ W + [ ( P > T ) . M ] } 1 , 0 ADD
DECIMO: /M
-1. { ~ H > [ H + ( T > H ) ] }
-2. [ ( T + M ) > ~ H ]
-3. ( T + M )
4. ~ H 2 , 3 MP
5. [ H + ( T > H ) ] 1 , 4 MP
6. ( T > H ) 5 , 4 DS
7. ~ T 6 , 4 MT
8. M 3 , 7 DS
conjuncion
NIVEL BEGINNER:
(Principiantes)
PRIMERO:/K
-1. ( K . G )
SEGUNDO: /~A
-1. ( ~ A . ~ C )
TERCERO:/(L.O)
-1. L
-2. O
CUARTO:/(~M.~R)
-1. ~ M
-2. ~ R
QUINTO: /(~M.X)
-1. [ ( ~ M . X ) . ( L + X ) ]
SEXTO:/[~W.~(B.~C)]
-1. ~ W
-2. ~ ( B . ~ C )
SEPTIMO:/{[~A+(P>~S)].~T}
1. [ ~ A + ( P > ~ S ) ]
2. ~ T
OCTAVO:/A
-1. { A . ~ [ E > ( ~ K > L ) ] }
NOVENO:/{~(X=D).[A+(P.O)]}
-1. ~ ( X = D )
-2. [ A + ( P . O ) ]
DECIMO: /G
-1. ( G . H )
NIVEL INTERMEDIO:
(Principiantes+)
PRIMERO:/(M.K)
-1. ( M . P )
-2. K
SEGUNDO: /P
-1. D
-2. E
-3. [ ( D . E ) > P ]
TERCERO:/(~S.~P)
-1. ( S > P )
-2. ~ P
CUARTO:/(A>P)
-1. [ ( A > ~ B ) . ( C = ~ K ) ]
-2. ( ~ B > P )
QUINTO:/(Z.K)
-1. ( ~ K + Z )
-2. K
SEXTO:/(D>Z)
-1. [ ( C . ~ O ) > ( D > Z ) ]
-2. C
-3. ~ O
SEPTIMO:/(K=F)
-1. { [ ( P + S ) . T ] > ( K = F ) }
-2. T
-3. ( P + S )
OCTAVO: /[(K>P).A]
-1. [ ( K > P ) . ( R > S ) ]
-2. A
NOVENO: /(~D.~Z)
-1. ( ~ Z . P )
-2. ( Z + ~ D )
DECIMO:/M
-1. { [ ( K . E ) . ( ~ K . ~ E ) ] > M }
-2. ( ~ K . ~ E )
-3. ( K . E )
NIVEL AVANZADO:
(Principiantes++)
PRIMERO:/[(F>G).(H>I)]
SEGUNDO:/(B>L)
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)
NIVEL INTERMEDIO
(Principiantes+)
PRIMERO:/(R+~U)
-1. ( ~ N > R )
-2. ( S > ~ U )
-3. ( ~ N + S )
SEGUNDO:/(E+C)
TERCERO:/(J+N)
CUARTO:/(G+I)
QUINTO:/(C+D)
SEXTO:/(S+Q)
SEPTIMO:/(S+G)
OCTAVO:/(~D+H)
NOVENO:/H
DECIMO:/(F+G)
NIVEL AVANZADO
(Principiantes++)
PRIMERO:/~L
SEGUNDO: /(U+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
SEPTIMO:/D
-1. [ ( S + Q ) > ( H + N ) ]
-2. ( S . V )
-3. [ ( H > F ) . ( N > G ) ]
-4. [ ( F + G ) > D ]
OCTAVO:/(S+N)
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)
NIVEL BEGINNER:
(Principiantes)
PRIMERO: /P
-1. ~ ( C + ~ P )
SEGUNDO:/(~K+~S)
-1. [ ~ K + ( L . ~ S ) ]
TERCERO:/[(N.~O)>M]
-1. [ ( ~ O . N ) > M ]
CUARTO:/[(~P+A)+~O]
-1. [ ~ P + ( A + ~ O ) ]
QUINTO: /[~S.(T.R)]
-1. [ R . ( T . ~ S ) ]
SEXTO:/D
-1. [ ( A + B ) > D ]
-2. ( B + A )
SEPTIMO:/D
-1. [ ~ ( A + B ) > D ]
-2. ( ~ A . ~ B )
OCTAVO: /~S
-1. ~ ( ~ K . S )
-2. ~ K
NOVENO: /D
-1. [ A + ( B . C ) ]
-2. [ ( A + B ) > D ]
DECIMO: /[(S+T)+(P.Q)]
-1. [ ( P . Q ) + ( ~ ~ S + T ) ]
NIVEL INTERMEDIO:
(Principiantes+)
PRIMERO:/~(C.P)
-1. ~ C
SEGUNDO:/[~F+(B.E)]
-1. ( B + ~ F )
-2. ( E + ~ F )
TERCERO:/~(~A.B)
-1. [ A + ( ~ B . C ) ]
CUARTO: /[A+(B.C)]
-1. ~ ( ~ A . ~ B )
-2. ~ ( ~ A . ~ C )
QUINTO: /(P.N)
-1. [ ( P . Q ) + ( P . R ) ]
-2. [ P > ( T . N ) ]
SEXTO:/~(B+D)
-1. [ ( A + B ) + C ]
-2. [ ( A + C ) > ~ D ]
-3. ~ B
SEPTIMO:/(B+D)
-1. [ ( A > B ) . ( C > D ) ]
-2. ~ ( ~ A . ~ C )
OCTAVO:/(~D.~A)
-1. ~ ( A + B )
-2. ( C > B )
-3. ( D > C )
NOVENO:/Q
-1. [ ( L . M ) + ( N . L ) ]
-2. [ L > ( Z . Q ) ]
DECIMO: /K
-1. [ ( I . H ) + ( F . K ) ]
-2. ~ H
NIVEL AVANZADO:
(Principiantes++)
PRIMERO:/~(N.P)
-1. ( M > ~ N )
-2. ( O > ~ P )
-3. ~ ( ~ M . ~ O )
SEGUNDO:/~(M+Q)
-1. ~ ( M + N )
-2. [ ~ N > ( M + O ) ]
-3. [ ( P + O ) > ~ Q ]
TERCERO:/~(P.Q)
-1. [ M + ( N . ~ O ) ]
-2. ( M > ~ P )
-3. ( ~ O > ~ Q )
CUARTO:/(R+S)
-1. [ M + ( N . O ) ]
-2. [ ( M + N ) > ~ ( Q . R ) ]
-3. [ ( ~ Q > R ) . ( ~ R > S ) ]
QUINTO:/(M+P)
-1. [ M + ( N . O ) ]
-2. ( M > ~ N )
-3. ( N > ~ O )
SEXTO:/(O>S)
-1. [ ( ~ M + N ) > ( O > P ) ]
-2. [ ( ~ R + N ) > ( P > S ) ]
-3. ~ ( M + R )
SEPTIMO:/~(Q+P)
-1. [ ( ~ M + N ) > ~ ( O . P ) ]
-2. [ ( O . M ) > Q ]
-3. ( O . ~ Q )
OCTAVO: /~(M+P)
-1. ~ ( M . N )
-2. ~ ( P . O )
-3. ~ ( ~ N + ~ O )
NOVENO:/O
-1. [ ~ M > ( N . O ) ]
-2. [ ~ P > ( O . Q ) ]
-3. ~ ( M . P )
DECIMO:/N
-1. [ ( M . N ) + ( O . P ) ]
-2. [ ( N + O ) > ~ P ]
SOLUCION
PRIMERO:/~(N.P)
-1. ( M > ~ N )
-2. ( O > ~ P )
-3. ~ ( ~ M . ~ O )
4. ( M + O ) 3 , 0 DM
5. [ ( M > ~ N ) . ( O > ~ P ) ] 1 , 2 CONJ
6. ( ~ N + ~ P ) 4 , 5 CD
7. ~ ( N . P ) 6 , 0 DM
SEGUNDO:/~(M+Q)
-1. ~ ( M + N )
-2. [ ~ N > ( M + O ) ]
3. [ ( P + O ) > ~ Q ]
4. ( ~ M . ~ N ) 1 , 0 DM
5. ( ~ N . ~ M ) 4 , 0 COM
6. ~ N 5 , 0 SIMP
7. ( M + O ) 2 , 6 MP
8. ~ M 4 , 0 SIMP
9. ( ~ M + Q ) 8 , 0 ADD
TERCERO:/~(P.Q)
-1. [ M + ( N . ~ O ) ]
-2. ( M > ~ P )
-3. ( ~ O > ~ Q )
4. [ ( M + N ) . ( M + ~ O ) ] 1 , 0 DIST
5. [ ( M + ~ O ) . ( M + N ) ] 4 , 0 COM
6. ( M + ~ O ) 5 , 0 SIMP
7. [ ( M > ~ P ) . ( ~ O > ~ Q ) ] 2 , 3 CONJ
8. ( ~ P + ~ Q ) 6 , 7 CD
9. ~ ( P . Q ) 8 , 0 DM
CUARTO: /(R+S)
-1. [ M + ( N . O ) ]
-2. [ ( M + N ) > ~ ( Q . R ) ]
-3. [ ( ~ Q > R ) . ( ~ R > S ) ]
4. [ ( M + N ) . ( M + O ) ] 1 , 0 DIST
5. ( M + N ) 4 , 0 SIMP
6. ~ ( Q . R ) 2 , 5 MP
7. ( ~ Q + ~ R ) 6 , 0 DM
8. ( R + S ) 7 , 3 CD
QUINTO:/(M+P)
-1. [ M + ( N . O ) ]
-2. ( M > ~ N )
3. ( N > ~ O )
4. [ ( M + N ) . ( M + O ) ] 1 , 0 DIST
5. ( M + N ) 4 , 0 SIMP
6. [ ( M > ~ N ) . ( N > ~ O ) ] 2 , 3 CONJ
7. ( ~ N + ~ O ) 5 , 6 CD
8. ( ~ O + ~ N ) 7 , 0 COM
9. [ ( M + O ) . ( M + N ) ] 4 , 0 COM
10. [ M + ( O . N ) ] 9 , 0 DIST
11. ~ ( O . N ) 8 , 0 DM
12. M 10 , 11 DS
13. ( M + P ) 12 , 0 ADD
SEXTO: /(O>S)
-1. [ ( ~ M + N ) > ( O > P ) ]
-2. [ ( ~ R + N ) > ( P > S ) ]
-3. ~ ( M + R )
4. ( ~ M . ~ R ) 3 , 0 DM
5. ~ M 4 , 0 SIMP
6. ( ~ M + N ) 5 , 0 ADD
7. ( O > P ) 1 , 6 MP
8. ( ~ R . ~ M ) 4 , 0 COM
9. ~ R 8 , 0 SIMP
10. ( ~ R + N ) 9 , 0 ADD
11. ( P > S ) 2 , 10 MP
12. ( O > S ) 7 , 11 HS
SEPTIMO: /~(Q+P)
-1. [ ( ~ M + N ) > ~ ( O . P ) ]
-2. [( O . M ) > Q ]
-3. ( O . ~ Q )
4. ( ~ Q . O ) 3 , 0 COM
5. ~ Q 4 , 0 SIMP
6. ~ ( O . M ) 2 , 5 MT
7. ( ~ O + ~ M ) 6 , 0 DM
8. O 3 , 0 SIMP
9. ~ M 7 , 8 DS
10. ( ~ M + N ) 9 , 0 ADD
11. ~ ( O . P ) 1 , 10 MP
12. ( ~ O + ~ P ) 11 , 0 DM
13. ~ P 12 , 8 DS
14. ( ~ P . ~ Q ) 13 , 5 CONJ
15. ( ~ Q . ~ P ) 14 , 0 COM
16. ~ ( Q + P ) 15 , 0 DM
OCTAVO: /~(M+P)
-1. ~ ( M . N )
-2. ~ ( P . O )
-3. ~ ( ~ N + ~ O )
4. ( N . O ) 3 , 0 DM
5. N 4 , 0 SIMP
6. ( ~ P + ~ O ) 2 , 0 DM
7. ( ~ M + ~ N ) 1 , 0 DM
8. ~ M 7 , 5 DS
9. ( O . N ) 4 , 0 COM
10. O 9 , 0 SIMP
11. ~ P 6 , 10 DS
12. ( ~ P . ~ M ) 11 , 8 CONJ
13. ( ~ M . ~ P ) 12 , 0 COM
14. ~ ( M + P ) 13 , 0 DM
NOVENO: /O
-1. [ ~ M > ( N . O ) ]
-2. [ ~ P > ( O . Q ) ]
-3. ~ ( M . P )
4. ( ~ M + ~ P ) 3 , 0 DM
5. { [ ~ M > ( N . O ) ] . [ ~ P > ( O . Q ) ] } 1 , 2 CONJ
6. [ ( N . O ) + ( O . Q ) ] 4 , 5 CD
7. [ ( O . N ) + ( O . Q ) ] 6 , 0 COM
8. [ O . ( N + Q ) ] 7 , 0 DIST
9. O 8 , 0 SIMP
DECIMO: /N
-1. [ ( M . N ) + ( O . P ) ]
-2. [ ( N + O ) > ~ P ]
3. [ ( N . M ) + ( O . P ) ] 1 , 0 COM
4. [ ( N . M ) + ( P . O ) ] 3 , 0 COM
5. { [ ( N . M ) + P ] . [ ( N . M ) + O ] } 4 , 0 DIST
6. [ ( N . M ) + P ] 5 , 0 SIMP
7. { [ ( M . N ) + O ] . [ ( M . N ) + P ] } 1 , 0 DIST
8. [ ( M . N ) + O ] 7 , 0 SIMP
9. [ O + ( M . N ) ] 8 , 0 COM
10. [ ( O + M ) . ( O + N ) ] 9 , 0 DIST
11. [ ( O + N ) . ( O + M ) ] 10 , 0 COM
12. ( O + N ) 11 , 0 SIMP
13. ( N + O ) 12 , 0 COM
14. ~ P 2 , 13 MP
15. ( N . M ) 6 , 14 DS
16. N 15 , 0 SIMP
http://www.paginasobrefilosofia.com/html/logica.html