Universidad de los Andes Ingeniera de Sistemas y Computacin ISIS-1104 -01 Matemtica Estructural y Lgica Fecha: 13 de agosto de 2010 Fecha

de Entrega: 24 de agosto 8:30 a.m. Ejemplo Completo Tres hermanos: Alicia, Roberto y Carmen le informan sin mentir sus notas a sus padres as: 1. Alicia dice: si yo pas matemticas, tambin la pas Roberto 2. Alicia dice: yo pas ingls si y solo si Carmen la pas 3. Roberto dice: si yo pas matemticas, tambin la pas Alicia 4. Roberto dice: Alicia no pas historia 5. Carmen Dice: O Alicia pas historia, o yo no la pas; pero no se da el caso que Alicia pas historia y yo no la pas. 6. Carmen Dice: Si Roberto no pas ingls, tampoco la pas Alicia 7. Cada uno de los hermanos pas al menos una materia 8. Cada materia fue aprobada por al menos uno de los hermanos Dado lo anterior, si Carmen pas menos materias que los otros dos, entonces se puede concluir que Alicia pas matemticas e ingls, Roberto no perdi nada, y Carmen pas ingls. El razonamiento ahora sera el siguiente: A. Por (4) se sabe que Alicia pierde una materia (historia) y tiene que pasar ms materias que Carmen (por la premisa de lo que queremos probar). Adems Carmen debe pasar al menos una materia (7). Esto quiere decir: Nmero de materias que pasa Alicia <= 2 y Nmero de materias que pasa Carmen >= 1 y Nmero de materias que pasa Alicia > Nmero de materias que pasa Carmen. La nica forma de cumplir esto es si Alicia pasa dos y Carmen una. Dado que sabemos que Alicia pierde historia y que por (A) debe pasar dos materias entonces, debe pasar ingls y matemticas. Carmen pasa slo una materia, esta debe ser ingls dado que por (2) Alicia pasa ingls si solo si Carmen pasa ingls. Dado que Alicia pasa matemticas y que sabemos que si Alicia pasa matemticas Roberto la pasa (1), entonces sabemos que Roberto pasa matemticas. Dado que ni Carmen ni Alicia pasan historia, y cada materia debe ser aprobada por al menos uno de los hermanos (8), Roberto debe pasar historia. Ahora sabemos (6) que si Roberto pierde ingls entonces Alicia tambin. Como Alicia no perdi ingls, Roberto la no la perdi. No usamos las hiptesis 3 y 5. Sin embargo estas no se invalidan por las conclusiones.

B. C. D. E. F. G.

DEMOSTRACIN FORMAL: Suponga las siguientes variables booleanas: AM: Alicia pasa matemticas RM: Roberto pasa matemticas CM: Carmen pasa matemticas AI: Alicia pasa ingls RI: Roberto pasa ingls CI: Carmen pasa ingls AH: Alicia pasa historia RH: Roberto pasa historia CH: Carmen pasa historia Nuestras hiptesis seran las siguientes: H1. H2. H3. H4. H5. H6. H7. AM RM AI CI RM AM AH AH XOR CH RI AI i. ii. iii. i. ii. iii. (AM AI AH) (RM RI RH) (CM CI CH) (AM RM CM) (AH RH CH) (AI RI CI)

H8.

El problema es especificar la premisa de la conclusin: "si Carmen pas menos materias que los otros dos. Considere las siguientes abreviaciones: R3: Roberto pasa 3 materias: (RM RI RH) R2: Roberto pasa 2 materias: (RM RI RH) (RM RI RH) (RM RI RH) R1: Roberto pasa 1 materia: (RM RI RH) (RM RI RH) (RM RI RH) R0: Roberto no pasa ninguna materia:(RM RI RH) A3: Alicia pasa 3 materias: (AM AI AH) A2: Alicia pasa 2 materias: (AM AI AH) (AM AI AH) (AM AI AH) A1: Alicia pasa 1 materia: (AM AI AH) (AM AI AH) (AM AI AH) A0: Alicia no pasa ninguna materia: (AM AI AH) C3: Carmen pasa 3 materias: (CM CI CH) C2: Carmen pasa 2 materias: (CM CI CH) (CM CI AC) (CM CI CH) C1: Carmen pasa 1 materia: (CM CI CH) (CM CI CH) (CM CI CH) C0: Carmen no pasa ninguna materia: (CM CI CH) Cundo ocurre que Carmen pasa menos materias que los otros (sin usar el hecho que debe pasar al menos una )? Cuando los dos pasan 3 y Carmen 2, 1 o ninguna Cuando uno pasa 3 y el otro 2 y Carmen una o ninguna Cuando uno pasa 3 y el otro 1 y Carmen ninguna Cuando los dos pasan 2 y Carmen una o ninguna Cuando uno pasa 2 y el otro 1 y Carmen ninguna

Cuando los dos pasan 1 y Carmen ninguna Nunca se dara el caso en que ninguno de los dos pasa cero materias pues Carmen debe pasar menos materias.

La siguiente expresin formaliza la frase Carmen pasa menos materias que los otros dos hermanos: ((R3 A3 (C2 C1 C0)) (R3 A2 (C1 C0)) (R3 A1 C0) (R2 A3 (C1 C0)) (R2 A2 (C1 C0)) (R2 A1 C0) (R1 A3 C0) (R1 A2 C0) (R1 A1 C0) ) Llamamos a esta expresin P (por premisa). La conclusin es bastante compleja pues cuando decimos que Alicia pasa Matemticas e Ingls, estamos diciendo implcitamente que perdi Historia. De igual forma, al decir que Carmen pas Ingls en realidad estamos diciendo tambin que perdi las otras dos materias. Por lo tanto lo que vamos a demostrar es: H1 .. H8 P AM AI AH RM RI RH CI CH CM Antes demostramos unas equivalencias: LEMA 1: A3 AH = false = = = = A3 AH (AI AM AH) AH AI AM (AH AH) AI AM false False Definicin de A3 Asociatividad Negacin Dominacin

LEMA 2: A2 AH = AI AM AH = = = = = = A2 AH ((AI AM AH) (AI AM AH) (AI AM AH) ) AH (AI AM (AH AH)) (AI AM (AH AH)) (AI AM (AH AH) ) (AI AM (AH AH)) (AI AM false) (AI AM false ) (AI AM (AH AH)) false false (AI AM (AH AH)) AI AM AH Definicin de A2 Distrib. y Asoc. Negacin Dominacion Identidad Idempotencia

LEMA 3: C1 CI = CI CH CM = = = = = = CI C1 ((CI CM CH) (CI CM CH) (CI CM CH) ) CI ((CI CI) CM CH) ((CI CI) CM CH) ((CI CI) CM CH) ((CI CI) CM CH) (false CM CH) (false CM CH) ((CI CI) CM CH) false false ((CI CI) CM CH) (CI CM CH) Def. de C1 Distrib. y Asoc. Negacin Dominacin Identidad Idempotencia

LEMA 4: (X Y) X = Y Y = = = (X Y) X (X X) (Y X) false (Y X) (Y X) Distrib Negacin Identidad

LEMA 5: C1 C0 = C1 = = C1 C0 ((CI CM CH) (CI CM CH) (CI CM CH) ) C0 ((CI C0 CM CH) (CI CM C0 CH) (CI CM CH C0) ) Def. de C1 Distrib; Asoc; conmut Def C0

= =

((CI (CI CM CH) CM CH) (CI CM (CI CM CH) CH) (CI CM CH (CI CM CH)) ) ((CI (CI CM CH) CM CH) (CI CM (CI CM CH) CH) (CI CM CH (CI CM CH)) ) ((CI (CI CM CH) CM CH) (CI CM (CI CM CH) CH) (CI CM CH (CI CM CH)) ((CI CM CH) (CI CM CH) (CI CM CH) ) C1

De Morgan

Doble Negacin

Absorcin Definicin C1

LEMA 6: C2 C0 = C2 = = = C1 C0 ((CI CM CH) (CI CM CH) (CI CM CH) ) C0 ((CI C0 CM CH) (CI CM C0 CH) (CI CM CH C0) ) ((CI (CI CM CH) CM CH) (CI CM (CI CM CH) CH) (CI CM CH (CI CM CH)) ) ((CI (CI CM CH) CM CH) (CI CM (CI CM CH) CH) (CI CM CH (CI CM CH)) ) ((CI (CI CM CH) CM CH) (CI CM (CI CM CH) CH) (CI CM CH (CI CM CH)) ((CI CM CH) (CI CM CH) (CI CM CH) ) C2 Def. de C1 Distrib; Asoc; conmut Def C0 De Morgan

Doble Negacin

Absorcin

= =

Definicin

LEMA 7: P C0 = (R3 A3 (C 2 C1) ) (R3 A2 C1) (R2 A3 C1 ) (R2 A2 C1 ). P C0 ((R3 A3 (C2 C1 C0)) (R3 A2 (C1 C0)) (R3 A1 C0) (R2 A3 (C1 C0)) (R2 A2 (C1 C0)) (R2 A1 C0) (R1 A3 C0) (R1 A2 C0) (R1 A1 C0) ) C0 ((R3 A3 (C2 C1 C0) C0) (R3 A2 (C1 C0) C0) (R3 A1 C0 C0) (R2 A3 (C1 C0) C0) (R2 A2 (C1 C0) C0) (R2 A1 C0 C0) (R1 A3 C0 C0) (R1 A2 C0 C0) (R1 A1 C0 C0) ) ((R3 A3 (C2 C1 C0) C0) (R3 A2 (C1 C0) C0) (R3 A1 false) (R2 A3 (C1 C0) C0) (R2 A2 (C1 C0) C0) (R2 A1 false) (R1 A3 false) (R1 A2 false) (R1 A1 false) ) ((R3 A3 (C2 C1 C0) C0) (R3 A2 (C1 C0) C0) false (R2 A3 (C1 C0) C0) (R2 A2 (C1 C0) C0) false false false false ) ((R3 A3 (C2 C1 C0) C0) (R3 A2 (C1 C0) C0) (R2 A3 (C1 C0) C0) (R2 A2 (C1 C0) C0) ) ((R3 A3 (C2 C1) C0) (R3 A2 C1 C0)) (R2 A3 C1 C0) (R2 A2 C1 C0) ) ((R3 A3 ((C2 C0) (C1 C0))) (R3 A2 C1 C0) (R2 A3 C1 C0) (R2 A2 C1 C0) ) ((R3 A3 (C2 (C1 C0))) (R3 A2 C1 C0)) (R2 A3 C1 C0) (R2 A2 C1 C0) ) (R3 A3 (C2 C1)) (R3 A2 C1 ) (R2 A3 C1 ) (R2 A2 C1 ) Def. de P Distrib; Asoc; conmut

Negacin

dominacin

Identidad

Lema: (xy) y = xy

= = = =

Distrib Lema: C2 C0 = C2 Lema: C1 C0 = C1

Ahora s la demostracin 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 P (CM CI CH) (CM CI CH) (CM CI CH) C0 P C0 (R3 A3 (C2 C1)) (R3 A2 C1 ) (R2 A3 C1 ) (R2 A2 C1 ) AH ((R3 A3 (C 2 C1)) (R3 A2 C1) (R2 A3 C1) (R2 A2 C1)) AH ((R3 (A3 AH) (C 2 C1)) (R3 (A2 AH) C1) (R2 (A3 AH) C1 ) (R2 (A2 AH) C1 )) ((R3 false (C 2 C1) ) (R3 (A2 AH) C1 ) (R2 false C1 ) (R2 (A2 AH) C1 )) false (R3 (A2 AH) C1) false (R2 (A2 AH) C1)) (R3 (A2 AH) C1 ) (R2 (A2 AH) C1)) (R3 (AI AM AH) C1) (R2 (AI AM AH) C1)) (R3 R2) (AI AM AH) C1 AI AI CI (AI CI) (CI AI) (AI CI) CI C1 CI C1 CI CH CM CH AH CH (AH CH) ((AH CH) RH) RH AM RM AM RM AI RI AI AI RI RI (AI AM AH) (AI AM AH) (RI RM RH) (CI CH CM) Premisa Hip 7 (iii) Doble negacin (2) De Morgan (3) Definicin de C0 (4) Conjuncin (1, 5) LEMA 7 (6) H4 Conjuncin 7, 8 Distributividad; Conmutatividad (9) Lema: (A3 AH) = false (10) Dominacin (11) Identidad (12) Lema: A2 AH = AI AM AH (13) Distributividad (14) Simplficacin (15) H2 Definicin de (17) Simplificacin (18) Modus Ponens 16, 19 Simplificacin 15 Conjuncin 20, 21 LEMA: CI C1 = CI CH CM (22) Simplificacion (23) Conjuncin 8, 24 De Morgan (25) H8 ii Disjunctive Syllogism 26, 27 H1 Simplificacion (15) Modus Ponens (29, 30) Simplificacin (15) H6 Contrapositiva 33 Modus Ponens (32, 34) Simplificacin 15 Conjuncin 36, 23, 35,31,28