Actividad No 2

LOGICA MATEMATICA

DIANA MARCELA ACEROS CASTRO 1096946512

ABEL ANDRES SANTAMARIA SANTAMARIA 91522021

TUTOR WILSON ANDRES MALDONADO ERRERA

ESCUELA DE CIENCIAS ADMINISTRATI!AS" CONTABLES" ECONOMICAS # DE NEGOCIOS MALAGA 2011

LOGICA MATEMATICA G$%a d& t'a(a)o *a+& d& ,'o*$-di.aci/FASE ACTIVIDADES INTERACTIVIDAD PRODUCTO FEC1A DE ENTRE2A PROFUNDIZACION Desarrollar los ejercicios que encontrara a continuacin . In i!i ual o en "ru#os $%&'i%o ( estu iantes) Tra*ajo en %e io %a"n+tico ,-o i%#reso !alor ./ 0 1asta 3ar4o 56 el (/5.

10 TEORIA DE CON1UNTOS El si"uiente es un #ro*le%a e conjuntos , un cuestionario. Para ar res#uesta a las #re"untas 5 a 5/ e*en reali4ar los ia"ra%as e !en. Si consi eran que la res#uesta no se encuentra entre las o#ciones se7ala as e*er&n ele"ir la o#cin E , escri*ir la res#uesta que consi eran correcta. En un encuentro tutorial e la UNAD se encuesta a un "ru#o e .8 estu iantes so*re los 9actores eter%inantes #ara el esarrollo e co%#etencias e :a*ili a es. Se encontr que ( e los estu iantes consi eraron la actitu :acia el a#ren i4aje; la constancia , la #ertinencia e lo que se a#ren e co%o tres 9actores eter%inantes inse#ara*les. <os que consi eraron slo la actitu co%o el 9actor eter%inante 9ueron =. <os estu iantes que consi eran que es slo la constancia en el a#ren i4aje el 9actor eter%inante 9ueron 8. <os que inclu,eron en su res#uesta la #ertinencia en el conte'to e lo que se a#ren e 9ueron en total 5> estu iantes. <os que eli"ieron la actitu :acia el a#ren i4aje #ero no la constancia 9ueron 5/ estu iantes. <os que entre su eleccin consi eran la constancia 9ueron en total (8 estu iantes. El total e estu iantes que consi era en su eleccin la actitu 9rente al conoci%iento es e ./ estu iantes. Al resol!er el ejercicio; se e*e !eri9icar que el total e estu iantes que en su eleccin consi eraron la actitu , la constancia es e (/ estu iantes. Solucin? A? Actitu ; C? Conoci%iento; P? Pertinencia.

5) @Cu&ntos estu iantes inclu,eron en su res#uesta la #ertinencia e conteni osA A) (/ B) 8 C)5> D) (8 E)CCC (.) @Cu&ntos estu iantes eli"ieron slo la #ertinencia e conteni osA A) 5/ B) = C)8 D) 5> E)CCC .) @Cu&ntos estu iantes inclu,eron en su res#uesta la actitu , la #ertinencia e conteni osA A) D B) 5/ C)> D) (( E)CCC =) @Cu&ntos estu iantes inclu,eron en su res#uesta la actitu o la #ertinencia e conteni osA A) 5/ B) (/ C)./ D) =/ E)C5= 8) @Cu&ntos estu iantes eli"ieron %&s e un 9actorA A) (/ B) (( C)./ D) (6 E)CCC 6) @Cu&ntos estu iantes eli"ieron Enica%ente os e los 9actores %enciona osA A) 5> B) (6 C)5D D) (= E)CCC F) @Cu&ntos estu iantes eli"ieron %enos e os e los tres 9actores anali4a osA A) (/ B) 5D C)(= D) (8 E)CCC >) @Cu&ntos estu iantes eli"ieron %&s e os e los tres 9actores estu ia osA A) (6 B) ( C). D) / E)CCC D) @Cu&ntos estu iantes no seleccionaron la #ertinencia e conteni osA A) (/ B) ./ C)(F D) .( E)CCC 5/) @Cu&ntos estu iantes no seleccionaron la actitu A A) (/ B) ./ C)=/ D) 8/ E)C58CC 20 CONECTI!OS LOGICOS TABLAS DE !ERDAD" 2RO2OSICIONES # RA3ONAMIENTO DEDUCTI!O0 Co-+t'$i' 4a ta(4a d& v&'dad ,a'a 4a+ +i5$i&-t&+ '&54a+ d& i-*&'&-cia MODUS 2ONENDO 2ONES 6M227 86,G97,:G9 , 9 6,G97 1 0 1 1 86,G97 ,: 1 0 0 0 86,G97,:G 9 1 1 1 1

1 1 1 0 0 1 0 0 TAUTOLOGIA

MODUS TOLLENS TOLLENS 6MTT7 86,G97;9:G;, , 9 ;9 1 1 0 1 0 1 0 1 0 0 0 1 TAUTOLOGIA ;, 0 0 1 1 6,G97 1 0 1 1 86,G97;9: 0 0 0 1 86,G97;9:G;, 1 1 1 1

MODUS TOLLENDO 2ONES 6MT27 86,v97;,:G9 < 86,v97;9:G, , 9 ;9 1 1 0 1 0 1 0 1 0 0 0 1 TAUTOLOGIA , 9 ;9 1 1 0 1 0 1 0 1 0 0 0 1 TAUTOLOGIA ;, 0 0 1 1 ;, 0 0 1 1 6,v97 1 1 1 0 6,v97 1 1 1 0 86,v97;,: 0 0 1 0 86,v97;9: 0 1 0 0 86,v97;,:G9 1 1 1 1 86,v97;9:G, 1 1 1 1

SILOGISMO I2OTETICO 6S 7 8 6 , G 9 7 6 9 G' 7 : G 6, G'7 , 9 ' 6,G 97 1 1 0 0 1 1 1 1 69 G' 7 1 0 1 1 1 0 1 1 6, G'7 1 0 1 0 1 1 1 1 6,G9769 G' 7 1 0 0 0 1 0 1 1 8 6 , G 9 7 6 9 G' 7 : G 6, G'7 1 1 1 1 1 1 1 1

1 1 1 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 TAUTOLOGIA =0

Co-+t'$i' 4a ta(4a d& v&'dad a ,a'ti' d&4 +i5$i&-t& 'a.o-a>i&-to" ,$&d&+ co>,a'a' 4o+ '&+$4tado+ &- 4o+ +i>$4ado'&+ d& 4a+ ta(4a+ d& v&'dad 9$& &-c$&-t'a+ &- 4a+ +i5$i&-t&+ di'&ccio-&+?

GENERADOR DE TABLAS No 10 :tt#?--turner.9acult,.sHau.e u-%at:e%atics-%aterialsli*rar,-trut:GENERADOR DE TABLAS No 20 :tt#?--HHH.is9tic.%e#s, .es-H.-eos-3aterialesE ucati!os-%e%(//.-lo"ica-lo"ic a-/.ta*las! a -"enera or9rset.:t%l

RA3ONAMIENTO? @TODOS LOS MAMIAEROS SON DE SANGRE CALIENTE0 EL SER UMANO ES MAMIAERO" LUEGO SI ES MAMIAERO EL SER UMANO TIENE SANGRE CALIENTEB 40 Ao'>a4ic& 4o+ +i5$i&-t&+ a'5$>&-to+ 6,'o,o+icio-&+ at/>ica+70 U-a v&. *o'>a4i.ado+" Ca5a +$ ta(4a d& v&'dad & i-di9$& +i +o- vD4ido+ 6ta$to4o5%a+7 o +i +o- co-t'adiccio-&+ o i-d&t&'>i-ado+ o -o0 # 9$& 4&E d& i-*&'&-cia a,4ica a cada ca+o0 401 1$4ia-a +& co>& &4 C&4ado o +& 4& d&''&ti'DF -o +& 4& d&''it& &4 C&4adoF ,o' 4o ta-to 1$4ia-a +& co>& &4 C&4ado0 ,? 1$4ia-a +& co>& &4 C&4ado 9? +& 4& d&''&ti'D G9? -o +& 4& d&''it& &4 C&4ado 8 6 , v 9 7 G G 9 : HIJ , , 9 G9 6,!97 1 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 INDETERMINADO 86,v97GG9 : 0 1 0 1 8 6 , v 9 7 G G 9 : HIJ , 0 1 1 0

402 Ma'5a'ita ,a'ti'D ,a'a 1a,/-" +i A-a +& 9$&da &- !&-&cia0 A4o' via)a'D a L$K&>($'5o o Ma'5a'ita -o ,a'ti'D ,a'a 1a,/-0 O A-a -o +& 9$&da &!&-&cia o A4o' -o via)a'D a L$K&>($'5o0 2o' co-+i5$i&-t&" A-a -o +& 9$&da &- !&-&cia0 ,? Ma'5a'ita ,a'ti'D ,a'a 1a,/-0 9? A-a +& 9$&da &- !&-&cia0 '? A4o' via)a'D a L$K&>($'5o0 G,? Ma'5a'ita -o ,a'ti'D ,a'a 1a,/-0 G9? A-a -o +& 9$&da &- !&-&cia0 G'? A4o' -o via)a'D a L$K&>($'5o0 8 6 , G 9 7 6' v G ,7 : v 6G 9 v G '7 GG 9

'

G,

G 9 0 0 1 1 0 0 1 1

G' 0 1 0 1 0 1 0 1

6,G 97 1 1 0 0 1 1 1 1

6' v G ,7 1 0 1 0 1 1 1 1

1 1 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 INDETERMINADO

6 , G 9 7 6G 9 v 6G 9 v G 8 6 , G 9 7 6' v G ,7 : v 6G 9 v G 6' v G G '7 '7 GG 9 '7 GG 9 ,7 1 0 1 1 0 1 0 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1

40= Si 4a So4 &+ >aEo' 9$& 4a Ti&''a" 4a Ti&''a &+ >aEo' 9$& 4a L$-a0 1L,it&' &+ >aEo' 9$& 24$t/-" +i 4a Ti&''a &+ >aEo' 9$& 4a L$-a0 2o' ta-to" +i &4 So4 &+ >aEo' 9$& 4a Ti&''a" 1L,it&' &+ >aEo' 9$& 24$t/-0 ,? Si 4a So4 &+ >aEo' 9$& 4a Ti&''a0 9? 4a Ti&''a &+ >aEo' 9$& 4a L$-a0 '? 1L,it&' &+ >aEo' 9$& 24$t/-0 8 6 , 9 7 6' HIJ 97 : M , ' , 1 1 1 9 1 1 0 ' 1 0 1 6, 97 1 1 0 6' HIJ 97 1 0 0 6 , 9 7 6' HIJ 97 1 0 0 ,' 1 0 1 8 6 , 9 7 6' HIJ 97 : M , ' 1 1 1

1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 TAUTOLOGIA

0 0 0 0 0

1 1 0 0 0

0 0 0 0 0

0 0 0 0 0

1 1 1 1 1

A co-ti-$aci/- 4&+ &-$-cio a45$-o+ &)&>,4o+ 9$& 4&+ ,$&d&- ac4a'a' >&)o' &+t& t&>a? NEGACINN? S$,o-5a>o+ 4a ,'o,o+ici/- ,? OCoE 44$&v&O0 La -&5aci/- ,$&d& +&'? OCoE -o 44$&v&O" O-o &+ ci&'to 9$& CoE 44$&v&O" OCoE &+tD +o4&adoO Id$do+o &- +$ $+oI" O-o &+ v&'dad 9$& CoE 44$&v&O" O-o &+ &4 ca+o 9$& CoE 44$&v&O" &tc0 La id&a &+ -&5a' 4a v&'dad o *a4+&dad d& 4a ,'o,o+ici/-0 E4 +%>(o4o &+ $-a 'aEita OIO" co>o OI,O" a$-9$& ta>(iP- +& $ti4i.a ,o' a''i(a d& 4a ,0 CON1UNCINN? S$,o-5a>o+ 4a+ ,'o,o+icio-&+ ,? O'&5a4o 4i('o+O E 9? Oco>,'o >o-&da+ vi&)a+O0 2$&d&+ d&ci'? O'&5a4o 4i('o+ E co>,'o >o-&da+ vi&)a+O" O'&5a4o 4i('o+ ,&'o co>,'o >o-&da+ vi&)a+O" O'&5a4o 4i('o+ +i- &>(a'5o co>,'o >o-&da+ vi&)a+O" O'&5a4o 4i('o+ -o o(+ta-t& co>,'o >o-&da+ vi&)a+O" O'&5a4o 4i('o+ a ,&+a' d& 9$& co>,'o >o-&da+ vi&)a+O" O'&5a4o 4i('o+ >i&-t'a+ co>,'o >o-&da+ vi&)a+O" &tc0 La co-)$-ci/- +& '&,'&+&-ta co- &4 +%>(o4o d& $-a OvO" i-v&'tida" $-a v co'ta a4 '&vP+0 A$-9$& ta>(iP- +& ,$&d& $+a' &4 ,$-to O0O0

DIS#UNCINN? S$,o-5a>o+ 4a+ >i+>a+ ,'o,o+icio-&+ 9$& a-t&+0 E- c$Eo ca+o ,od'%a+ d&ci'? Oo '&5a4o 4i('o+ o co>,'o >o-&da+ vi&)a+ o a>(a+O" Oa4 >&-o+ '&5a4o 4i('o+ o co>,'o >o-&da+ vi&)a+O" Oco>o >%-i>o '&5a4o 4i('o+ o co>,'o >o-&da+ vi&)a+O" &tc0 La di+E$-ci/- &- +&-tido i-c4$+ivo +& '&,'&+&-ta co- $-a v co'ta OvO0 IM2LICACINN? Lo >i+>o 9$& a-t&+0 2$&d&+ d&ci'? O+i '&5a4o 4i('o+ &-to-c&+ co>,'o >o-&da+ vi&)a+O" O'&5a4o 4i('o+ +/4o +i co>,'o >o-&da+ vi&)a+O" Oco>,'o >o-&da+ vi&)a+ +i '&5a4o 4i('o+O" Oco>,'o >o-&da+ vi&)a+ c$a-do '&5a4o 4i('o+O" Oco>,'a' >o-&da+ vi&)a+ &+ -&c&+a'io ,a'a '&5a4a' 4i('o+O" O,a'a '&5a4a' 4i('o+ &+ -&c&+a'io co>,'a' >o-&da+ vi&)a+O" O'&5a4a' 4i('o+ &+ +$*ici&-t& ,a'a co>,'a' >o-&da+ vi&)a+O" O,a'a co>,'a' >o-&da+ vi&)a+ &+ +$*ici&-t& '&5a4a' 4i('o+O" O-o '&5a4o 4i('o+ a >&-o+ 9$& co>,'& >o-&da+ vi&)a+O" &tc0 La i>,4icaci/- o co-dicio-a4 &+ 4a *4&cCita 9$& a,$-ta a 4a d&'&cCa" co- , QJ 90 DOBLE IM2LICACINN? S&5$i>o+ co- &4 >i+>o &)&>,4o0 2$&d&+ d&ci'? RO'&5a4a' 4i('o+ &+ -&c&+a'io E +$*ici&-t& ,a'a co>,'a' >o-&da+ vi&)a+O" O'&5a4o 4i('o+ +% E +/4o +% co>,'o >o-&da+ vi&)a+O" O'&5a4o 4i('o+ c$a-do E +/4o c$a-do co>,'o >o-&da+ vi&)a+O" &tc0 E4 +%>(o4o $ti4i.ado ,a'a &4 (ico-dicio-a4 &+ 4a do(4& *4&cCa" co- , HQJ 9" E '&,'&+&-ta &9$iva4&-cia0 DIS#UNCINN ESCLUSI!A? E4 >i+>o &)&>,4o

2$&d&+ d&ci'? Oo (i&- '&5a4o 4i('o+" o (i&- co>,'o >o-&da+ vi&)a+O" Oo '&5a4o 4i('o+" o co>,'o >o-&da+ vi&)a+" ,&'o -o a>(o+O" &tc0 E4 +%>(o4o $ti4i.ado ,a'a 4a di+E$-ci/- &Kc4$+iva &+ 4a v co'ta co- $-a 'aEita d&(a)o o (i&- 4a do(4& v OTO0
=. A continuacin clasi9ica los si"uientes enuncia os co%o !er a eros; 9also; Pro#osicin at%ica; #ro#osicin %olecular; no es #ro#osicin $co%o V;F; PA;P3; NP;)?

nota: lo que est en rojo son ejemplos ENUNCIADOS Contraria Juan Manuel Santos es el presidente de Colombia Boole invent el Silogismo Una proposi in ompuesta siempre es verdadera Botero es pintor o "abriel "ar #a Mrque$ es es ultor %ales de Mileto es preso rti o & S rates es agri ultor Si los 'umanos somos seres ra ionales( enton es podemos onstruir una )ti a para vivir bien *a& pa$ en Colombia si & slo si los Colombianos nos es u 'amos mutuamente +l dinero sirve para omprar el a,e to & el ari-o sin eros

NP x

PA PM x X X X X X X X

V, F V V ! V ! V ! !

FASE

TRANSFERENCIA

ACTIVIDADES

Desarrollar los ejercicios que encontrara a continuacin.

INTERACTIVIDAD PRODUCTO

Uno o os estu iantes Tra*ajo en %e io %a"n+tico ,-o i%#reso !alor (/ 0

FEC1A DE ENTRE2A

1asta el (= e %a,o e (/5.

I Desarrollar un %a#a conce#tual o un esque%a e conce#tos so*re la uni a ( el % ulo e l"ica %ate%&tica.

UNIDAD DOS RAZONAMIENTOS LGICOS

Razonamientos lgicos Temas del capt l! "

Inferencias lgicas Temas del capt l! #

Modus ponens Modus ponens

Argumentos Inductivos Temas del capt l! $

./0 1a$onar ./0 1a$onar ./21a$onamiento ./21a$onamiento indu tivo indu tivo ./4 Valide$ de ./4 Valide$ de un argumento un argumento

Modus tollens Modus tollens Silogismo 'ipot)ti o o Silogismo 'ipot)ti

5/0 8rgumento 5/0 8rgumento indu tivo por indu tivo por analog#a analog#a

4/0 4/0 9n,eren ias 9n,eren ias lgi as lgi as

Silogismo dis&untivo Silogismo dis&untivo ;ilema onstru tivo ;ilema onstru tivo 8bsor in 8bsor in Simpli,i a in Simpli,i a in 8di in 8di in

./3 ./3 1a$onamiento 1a$onamiento dedu tivo dedu tivo

./5 6rueba ./5 6rueba ,ormal de ,ormal de valide$ valide$

5/2 +valua in de 5/2 +valua in de los 8rgumentos los 8rgumentos analgi osos analgi

./. Silogismos ./. Silogismos ategri osos ategri

./7 6rueba de ./7 6rueba de invalide$ invalide$

Conjun in Conjun in

;emostra in dire ta ta ;emostra in dire ;emostra in indire ta ta ;emostra in indire

4/2 :a 4/2 :a demostra in demostra in

;emostra in por ;emostra in por re re ursin ursin ;emostra in por ;emostra in por re,uta in re,uta in

Co%#lete el si"uiente cua ro con las e%&s re"las e in9erencia , su corres#on iente estructura #ro#osicional ESTRUCTURA 2RO2OSIONAL

REGLA DE INAERENCIA 3o us Ponens$3.P) 3o us Tollens$3.T)J Silo"is%o 1i#otetico $S. 1) Silo"is%o Dis,unti!o $S.D) Dile%a constructi!o $D.C)

[( p q) p] q [( p q) q] p
[( p q ) (q r )] ( p r )

K$# q) #L q

( p q) (r s )

24a-t&a' do+ &)&>,4o+ d& 'a.o-a>i&-to+ d&d$ctivo+

La premisa mayor es: Todo rbol tiene vida <a #re%isa %enor es? To o eucali#to es &r*ol <a conclusin es? To o eucali#to tiene !i a <a #re%isa %a,or es? To o 9ruto tiene sa*or <a #re%isa %enor es? Toda manzana es fruta <a conclusin es? Toda manzana tiene sabor 24a-t&a' do+ &)&>,4o+ d& 'a.o-a>i&-to+ i-d$ctivo+ ,o' a-a4o5%a (a+ado+ &- 4a o(+&'vaci/-0

En los estu ios #sicol"icos se :a e%ostra o que las #ersonas con #ro*le%as e alco:olis%o; ro"a iccin , ta*aquis%o; #or lo "eneral su9ren trastornos e ansie a , e#resin; <uis es alco:lico; #or lo tanto es #ro*a*le que <uis ten"a #ro*le%as e ansie a , e#resin. En +ste ra4ona%iento; el #siclo"o e*e tener en cuenta el nE%ero e !eces que se #resenta el caso; esto a %&s 9uer4a a la conclusin , una %a,or #ro*a*ili a e que se re#ita el :ec:o. <os ra4ona%ientos in ucti!os est&n *asa os en la o*ser!acin e un nE%ero li%ita o e casos #articulares ,; a #artir e ellos; se in9iere una conclusin "eneral. Cuanto %a,or sea el nE%ero e casos #articulares o*ser!a os %a,or

ser& la #ro*a*ili a e que la conclusin sea !er a era. Pero; a i9erencia e las conclusiones e ucti!as; nunca ten re%os la certe4a e que la conclusin sea necesaria%ente !er a era. 24a-t&a' do+ &)&>,4o+ d& 'a.o-a>i&-to+ i-d$ctivo+ ,o' a-a4o5%a (a+ado+ &- 4a &K,&'i&-cia0 El ni7o #eque7o al que su %a re le ice so#la #orque la lec:e est& caliente; el ni7o no co%#ren e asi%ila el si"ni9ica o e caliente; el ni7o co"e el !aso e lec:e , al to%ar el sor*o se que%a; en ese %o%ento co%#ren e que est& caliente; cuan o su %a re o al"uien %&s le %enciona que al"o est& caliente el ni7o :ar& la e uccin , sa*r& que no e*e co"erlo #ues a#ren i a tra!+s e la e la e'#eriencia lo que es caliente. Eje%#lo? <os :u%anos son se%ejantes a las ratas $u otros %a%M9eros) en que son ani%ales e san"re caliente; con ciclos e !i"ilia , sue7o; , un siste%a res#iratorio *asa o en #ul%ones. <as ratas; cuan o son e'#uestos a un eter%ina o ni!el e 9or%ol; su9ren alteraciones en esos tres siste%as. Un eter%ina o ni!el e 9or%ol en :u%anos que sea equi!alente al utili4a o en las ratas; #ro ucir& en ellos esas %is%as alteraciones. Ti#o e ra4ona%iento in ucti!o? ANA<O2NA INDUCTIVA <as ratas #oseen ciertas caracterMsticas *iol"icas que las :acen !ulnera*les a ciertas sustancias. <as ratas su9ren los e9ectos e '; , ;4; cuan o son e'#uestos a un eter%ina o ni!el e 9or%ol. <os :u%anos son se%ejantes a las ratas en '; ,; 4. Por lo tanto; los :u%anos su9rir&n '; ,; 4; cuan o sean e'#uestas a ese eter%ina o ni!el e 9or%ol. For%ulacin? P? las ratas #oseen ciertas caracterMsticas *iol"icas O? las ratas son !ulnera*les aciertas sustancias R? las ratas su9ren e9ectos e ';,;4; cuan o son e'#uestos a un eter%ina o ni!el e 9or%ol S? los :u%anos son se%ejantes a las ratas (. PGO =. S GP .. P GR CCCCCCC S GR

las #ersonas con #ro*le%as e*en reconocer #ri%ero que lo tienen #ara iniciar un trata%iento a ecua o que "arantice su recu#eracin. Co%o #o e%os e%ostrar un ar"u%ento l"ico$!er #&"ina 5DF el %o ulo) En qu+ consiste la e%ostracin #or re uccin al a*sur o. e'#resin latina #or Re uccin al a*sur o; es un %+to o e e%ostracin 9or%ali4a o , a %enu o usa o #or Aristteles co%o ar"u%ento l"ico). Se #arte e una :i#tesis que se quiere e%ostrar que es !er a era; e la cual su o#uesta se su#one !&li a. A #artir e ella , %e iante una concatenacin e in9erencias l"icas !&li as se o*tiene un resulta o a*sur o; #or lo cual se conclu,e que la :i#tesis e #arti a $la ne"acin e la ori"inal) :a e ser 9alsa; , la ori"inal es !er a era. A este %+to o ta%*i+n se le conoce co%o #rue*a #or contra iccin o #rue*a a a*sur u%. Parte e la *ase es el cu%#li%iento e la le, e e'clusin e inter%e ios? una a9ir%acin que no #ue e ser 9alsa consecuente%ente :a e ser !er a era. Su#n"ase que se esea e%ostrar una #ro#osicin P. El #roce i%iento consiste en e%ostrar que asu%ien o co%o cierta la 9alse a e P $o sea P ne"a a) con uce a una contra iccin l"ica. Esta P e*erMa no ser 9alsa. Por lo tanto :a*rMa e ser !er a era. Por eje%#lo consi +rese la #ro#osicin Pno e'iste un nE%ero racional %Mni%o %a,or que ceroP. En una re uccin al a*sur o se co%en4arMa #or asu%ir lo contrario? e'iste un nE%ero racional %Mni%o %a,or que cero? r/. A:ora esta*l+4case ' Q r/-(. Por lo tanto ' es un nE%ero racional %a,or que cero; , ' es %enor que r/. Eso es a*sur o; #ues contra ice la :i#tesis e #arti a e que r/ era el nE%ero racional %Mni%o. Por lo tanto se e*e concluir que la #ro#osicin asu%i a co%o cierta? R:a, un nE%ero racional %Mni%o %a,or que ceroS es 9alsa. No es inusual utili4ar este ti#o e ra4ona%ientos con #ro#osiciones co%o la enuncia a; acerca e la ine'istencia e cierto ele%ento %ate%&tico. Se su#one que ese ele%ento e'iste , se #rue*a que eso con uce a una contra iccin. Por lo tanto ese o*jeto no e'iste. De esta %anera se #ue e #ro*ar que la raM4 cua ra a e ( es irracional. <a e%ostracin #or re uccin al a*sur o es un ti#o e ar"u%ento l"ico %u, e%#lea o en e%ostraciones %ate%&ticas. Consiste en e%ostrar una #ro#osicin %ate%&tica #ro*an o que si no lo 9uera con ucirMa a una contra iccin.