ࡱ> S~  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQR}VWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|Root EntrydO)T-2TPowerPoint Document(SummaryInformation(UDNDocumentSummaryInformation8( b/ 0DTimes New Romantt 0DSymbolew Romantt 0 B .  @n?" dd@  @@``    0AA0 @w>4 ʚ;2Nʚ;g4KdKd ) 0ppp@ <4!d!d@k 0t<4dddd@k 0t 80___PPT10 pp? %  0` ` ̙33` 333MMM` ff3333f` f` f` 3>?" dd@,|?" dd@   " @ ` n?" dd@   @@``PR    @ ` ` p>> (    6pp P  k7Haga clic para modificar el estilo de ttulo del patrn8 8/  0s   kHaga clic para modificar el estilo de texto del patrn Segundo nivel Tercer nivel Cuarto nivel Quinto nivel7    l  0z ``  >*  0 `   @*  0< `   @*H  0޽h ? ̙33 *Diseo predeterminadoK 0  ;(    0,$ 0 \*Prueba de Validez por Reduccin al absurdo+ 2+T  0P,$ 0 [ ( (p q ) r ) ( q t ) ] [ r p ]"B 2A3  0xĚPM,$ 0 m1 Asignamos valor cero al smbolo principal de la frmula para iniciar la prueba por reduccin al absurdo.n 2n   0Dʚ P p,$ 0 A 0" 2  0Κ0P,$ 0 z> 2 Interpretando el significado del conector asignamos los valores de verdad de sus componentes, en este caso como el condicional es falso solo puede serlo si su antecedente es verdadero y su consecuente falso; asignamos estos valores al conector principal que representan a cada una de estas partes de la frmula. ? 2>   0՚/ ,$ 0 11  0ٚ 0,$ 0 30 2A   0ݚ,$  0 w3 Continuamos por la parte derecha. De nuevo un condicional falso, solo puede serlo si r es verdadero y p falso. x 2x    0 ,$  0 71 2   0  @,$  0 70 2T   0  ,$  0 4 Como r y p son frmulas simples asignamos su correspondiente valor a las otras apariciones de estas variables o de sus negaciones. 2    0 ,$  0 71 2  0dܚ ` ,$ 0 70 2w  0P @ ,$ 0 5 Continuamos por la parte izquierda, una conjuncin verdadera, slo puede serlo si sus componentes son verdaderos; asignamos ese valor a cada miembro de la conjuncin. 2   0D) p,$ 0 71 2  0) p 0 ,$ 0 71 2:  0)p 0 ,$ 0 p6 Continuamos por la derecha; una conjuncin verdadera, slo puede serlo si sus componentes son verdaderos.q 2q   0  ,$ 0 71 2  s *)  ,$ 0 71 2  0p) P,$ 0 71 2X  0)  ,$ 0 7 Nos queda interpretar p y q que han recibido valor verdadero y estn unidos por una conjuncin, que por lo tanto, tendr que ser verdadera. 2   0\) ,$ 0 31 2:  0),$ 0 tFinal: al realizar el ltimo paso obtenemos que el antecedente de un condicional, que es verdadero, es verdadero y su consecuente es falso lo cual es incompatible con su significado y por lo tanto contradictorio. En conclusin nuestra frmula inicial no puede tener interpretaciones falsas sin caer en contradiccin, eso quiere decir que es una frmula lgicamente vlida.u 2u   ~BCDEFH@   p,$D 0  0D!) ,$ 0 3* 2H  0޽h ? ̙33Hw@w___PPT10 w+o]0Dq' d)= @B Dq' = @BA?%,( < +O%,( < +D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<* %(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<* D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<* D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<* %(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<* D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<* D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<* %(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<* D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<* D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<* %(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<* D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<* D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<* %(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<* D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<* D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*Dn' =%(D' =%(D' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*D{' =%(D#' =%(D' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =+4 8?dCB0-#ppt_w/2BCB#ppt_xB*Y3>B ppt_x<*D' =+4 8?\CB#ppt_yBCB#ppt_yB*Y3>B ppt_y<*+@+0+0 ++0+0 ++0+0 ++0+0 ++0+0 ++0+0 ++0+0 ++0+ 0 ++0+ 0 ++0+ 0 ++0+ 0 ++0+ 0 ++0+0 ++0+0 ++0+0 ++0+0 ++0+0 ++0+0 ++0+0 ++0+0 ++0+0 ++0+0 ++0+0 ++0+0 +r0! V ՜.+,0    sPresentacin en pantalla personal Times New RomanSymbolDiseo predeterminadoDiapositiva 1 Fuentes usadasPlantilla de diseoTtulos deOh+'0N `h   Presentacin de PowerPointluisUsuario_Inves3Microsoft PowerPoint@0@P]1@#2 GMg  x&g  y--$xx--'@Times New Roman-. 32 *Prueba de Validez por Reduccia."System7-@Times New Roman-.  2 ]m.-@Times New Roman-. 2 _ n al absurdo.-@Times New Roman-. 2  [ ( (p .-@Symbol-.  2 )m.-@Times New Roman-. 2 -q ) .-@Symbol-.  2 5m.-@Symbol-.  2 <m.-@Times New Roman-. 2 ?r ) .-@Symbol-.  2 Gm.-@Times New Roman-. 2 K( q .-@Symbol-.  2 Qm.-@Times New Roman-. 2 U t ) ] .-@Symbol-.  2 _m.-@Times New Roman-.  2 f[ r .-@Symbol-.  2 km.-@Times New Roman-.  2 qm.-@Times New Roman-.  2 tp ].-@Times New Roman-.  2 + 1m.-@Times New Roman-.  2 +m.-@Times New Roman-. -2 +Asignamos valor cero al s.-@Times New Roman-.  2 +-m.-@Times New Roman-. *2 +.mbolo principal de la f.-@Times New Roman-.  2 +Em.-@Times New Roman-. C2 +G(rmula para iniciar la prueba por reducci.-@Times New Roman-.  2 +qm.-@Times New Roman-. 2 +r n al absurdo..---$^^#f#f^--'@Times New Roman-.  2 "b0m.-@Times New Roman-.  2 1 2m.-@Times New Roman-.  2 1m.-@Times New Roman-. a2 1<Interpretando el significado del conector asignamos los valo.-@Times New Roman-. Z2 1R7res de verdad de sus componentes, en este caso como el .-@Times New Roman-. g2 4 @condicional es falso solo puede serlo si su antecedente es verda.-@Times New Roman-. g2 4O@dero y su consecuente falso; asignamos estos valores al conector.-@Times New Roman-. a2 7 <principal que representan a cada una de estas partes de la f.-@Times New Roman-.  2 7Jm.-@Times New Roman-. 2 7Lrmula..---$EE$K$KE--'@Times New Roman-.  2 "H1m.---$ll#p#pl--'@Times New Roman-.  2 "n0m.-@Times New Roman-. 33 2 < 3m.-@Times New Roman-. 33 2 <m.-@Times New Roman-. 33`2 <;Continuamos por la parte derecha. De nuevo un condicional ff.-@Times New Roman-. 33H2 <T+also, solo puede serlo si r es verdadero y .-@Times New Roman-. 33 2 <m.-@Times New Roman-. 332 < p falso. .-@Times New Roman-. 33 2 "j1m.-@Times New Roman-. 33 2 "t0m.-@Times New Roman-. 33 2 B 4m.-@Times New Roman-. 33 2 Bm.-@Times New Roman-. 332 B Como r y .-@Times New Roman-. 33 2 Bm.-@Times New Roman-. 332 Bp son f .-@Times New Roman-. 33 2 B%m.-@Times New Roman-. 33g2 B'@rmulas simples asignamos su correspondiente valor a las otras ap.-@Times New Roman-. 33@2 Bm&ariciones de estas variables o de sus .-@Times New Roman-. 332 E negaciones..-@Times New Roman-. 33 2 "&1m.-@Times New Roman-. 33 2 "?0m.-@Times New Roman-.  2 K 5m.-@Times New Roman-.  2 Km.-@Times New Roman-. O2 K0Continuamos por la parte izquierda, una conjunci.-@Times New Roman-.  2 KGm.-@Times New Roman-. 2 KHn verdadera, s.-@Times New Roman-.  2 KWm.-@Times New Roman-. R2 KY2lo puede serlo si sus componentes son verdaderos; .-@Times New Roman-. Q2 N 1asignamos ese valor a cada miembro de la conjunci .-@Times New Roman-.  2 NCm.-@Times New Roman-.  2 NEn..-@Times New Roman-.  2 "71m.-@Times New Roman-.  2 "S1m.-@Times New Roman-.  2 T 6m.-@Times New Roman-.  2 Tm.-@Times New Roman-. C2 T(Continuamos por la derecha; una conjunci.-@Times New Roman-.  2 T?m.-@Times New Roman-. 2 T@n verdadera, s.-@Times New Roman-.  2 TOm.-@Times New Roman-. Q2 TQ1lo puede serlo si sus componentes son verdaderos. .-@Times New Roman-.  2 "O1m.-@Times New Roman-.  2 "W1m.-@Times New Roman-.  2 "01m.-@Times New Roman-.  2 \ 7m.-@Times New Roman-.  2 \m.-@Times New Roman-. `2 \;Nos queda interpretar p y q que han recibido valor verdadera.-@Times New Roman-. 2 \Ro y est .-@Times New Roman-.  2 \Ym.-@Times New Roman-. -2 \Zn unidos por una conjunci.-@Times New Roman-.  2 \vm.-@Times New Roman-. .2 \wn, que por lo tanto, tendr.-@Times New Roman-.  2 \m.-@Times New Roman-.  2 \que .-@Times New Roman-. 2 ` ser verdadera..-@Times New Roman-.  2 "+1m.-@Times New Roman-. (2 gFinal: al realizar el .-@Times New Roman-.  2 g#m.-@Times New Roman-. g2 g%@ltimo paso obtenemos que el antecedente de un condicional, que e.-@Times New Roman-. H2 gl+s verdadero, es verdadero y su consecuente j.-@Times New Roman-. g2 j@es falso lo cual es incompatible con su significado y por lo tan.-@Times New Roman-. 42 jQto contradictorio. En conclusi.-@Times New Roman-.  2 jqm.-@Times New Roman-. 2 jr n nuestra f.-@Times New Roman-.  2 j}m.-@Times New Roman-. *2 jrmula inicial no puede .-@Times New Roman-. W2 m5tener interpretaciones falsas sin caer en contradicci.-@Times New Roman-.  2 mEm.-@Times New Roman-. 72 mF n, eso quiere decir que es una f.-@Times New Roman-.  2 mgm.-@Times New Roman-. 2 mirmula l .-@Times New Roman-.  2 mpm.-@Times New Roman-. 2 mr gicamente v.-@Times New Roman-.  2 mm.-@Times New Roman-. 2 mlida. .---% *"-$0%2&5&6&8&;$>#?#@"--'@Times New Roman-.  2 '7*m.- diapositiva%_n Usuario_InvesUsuario_InvesCurrent User G