527 trabajo colaborativo 3

8/16/2019 527 Trabajo Colaborativo 3

1/23

TRABAJO COLABORATIVO TRES

PENSAMIENTO LOGICO Y MATEMATICO

FASE GRUPAL

INTEGRANTES:

WILFREDO VARGAS CELY

JOSE EFREN RINCON

GRUPO: 200611_527

TUTOR:

ADRIAN REINALDO VALENCIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BASICAS TECNOLOGIAS E INGENIERIAS

1 DE MAYO DE 2016


2/23

INTRODUCCIÓN

R!"#$!% &' ($ )%#*&'# )#% &+ *(!+ '& &',!-+&*& ($! *#$*+('./$ -!'!! &$ ($! # !'

)%#)#'.*.#$&' '()(&',!' # !*&),!!' ++!!!' )%&.'!' +!' *(!+&' *#$',.,(3&$ &+ )($,#

& )!%,.! &+ )%#*&'#4 S. +! *#$*+('./$ &' *#%%&*,! '.$..*! (& +!' )%&.'!' *#$,.&$&$ +!.$#%!*./$ $&*&'!%.! 3 '(.*.&$,& )!%! &',!-+&*&% +! *#$*+('./$ 3 )#% +# ,!$,# '& )(&&

!.%!% (& &+ %!"#$!.&$,# &' *#%%&*,# & +# *#$,%!%.# '& .%8 (& &' .$*#%%&*,#4

C#$ &+ &'!%%#++# & &',& ,%!-!9# )%&,&$&#' !.!$"!% +#' )%#*&'#' & !%(&$,!*./$ 3

&(**./$ (& )%#).*.&$ ($! !*,.,( *%,.*! %&$,& ! +! %&!+.!; '& )%&'&$,! *## +! )#'.-.+.!

& &'!%%#++!% $(&',%! .$,&+.&$*.! +/.*! !,&8,.*! +! *(!+ '&%8 & %!$ (,.+.! &$ $(&',%! )%&'!!'4T!-.=$ !)%&$.#' +# (& &' &+ 8+&-%! -##+&!$! &',(.!! )#% )%.&%!


3/23

OBJETIVOS

OBJETIVO GENERAL

•

.&$,..*!% 3 (,.+."!% &$ #%! *+!%! +!' %&+!' & .$&%&$*.! +/.*! )#% .$(**./$ 3&(**./$ &$ #%(+!*.#$&' 3 &#',%!*.#$&' & %!"#$!.&$,#'

&#',%!*.#$&' 3 %!"#$!.&$,#'


4/23

PRIMERA FASE INDIVIDUAL

Jose Efren Rincon Rincon

Demostrci!n Direct e In"irect

L! &#',%!*./$

L! &#',%!*./$ &' ($ %!"#$!.&$,# (& )%(&-! +!

E9&)+# 14

D!!' +!' )%&.'!': 14 )

24 %

C#$*+(.%: ,4 ) %

D&#',%!*./$: P(&',# (& % &' &(.

4 % !?#%! & +!' )%&.'!' 1 3 '& )(&& *#$*+(.% , &' &*.% *##

) 3 % &$,#$*&' ) %4 P#% S

L "emostrci!n in"irect

S& %&!+."! ($! &#',%!*./$ .$.%&*,! *(!$# '& &',!-+&*& +!


5/23

P#% &+ &9&)+# 2 !$!+."!# &$ +! &#',%!*./$ .%&*,! '& '!-& (& '. > &' .)!% &$,#$*&' >2 &'.)!% +(&# &' .)#'.-+& (& > '&! .)!% 3 (& >2 '&! )!%4

E',! &' +! *#$,%!.**./$ -('*!!4

L! &#',%!*./$ )#% %&*(%'./$

C(!$# +! ,&'.' '& )%(&-! )#% &.# & .$(**./$ !,&8,.*!4

E9&)+# 24

E',& ,.)# & &#',%!*.#$&' '& (,.+."!$ *(!$# +#' &$($*.!#' ,.&$&$ ($! )%#)#'.*./$ !-.&%,! &$($!

I4 P@! &' C(!+(.&% &#',%!*./$ )#% *#$,%!)#'.*./$ ,!-.=$ )(&& #%(+!%'& ,%.


6/23

Brin Or'n"o Moreno

Demostrci!n %or Contr"icci!n (Re"#cci!n ' A)s#r"o*&

L! &#',%!*./$ & ($ ,%&! .%&#' (& &' )#% *#$,%!.**./$ *(!$# '()#$.&$# (& +!*#$*+('./$ Q &' !+'! 3 (,.+."!$# +! ?.)/,&'.' P 3 #,%#' ,%&!' 3 &(.

P Q ⇐⇒ @P ∧ Q C

D#$& C &' ($! *#$,%!.**./$4 P#% +# ,!$,# '. )%#-!#' (& @P ∧ Q C &' ($! ,!(,#+#!,&$%&#' (& P Q ,!-.=$ +# &' 3 *#$'&*(&$,&&$,& P H⇒ Q4

D#$& '&


7/23

($ &9&)+# (& +# *#$.%&4 D.*?# &9&)+# %&*.-& &+ $#-%& & *#$,%!&9&)+#4 E+ *#$,%!&9&)+# )#$& &$ &.',& !+ &$#' ($ *!'# &$ &+ *(!+ +! )%#)#'.*./$ $# &'

3! (& !($(& &+ 11 3 &+ 1


8/23

I-.n M#ricio Mo'in

Demostrci!n %or e' %rinci%io "e in"#cci!n mtem.tic/

S&! P ($! )%#).&! &.$.! &$ +#' $&%#' $!,(%!+&' @&$,&%#' )#'.,.

Dem#estre %or in"#cci!n mtem.tic 5#e/

S. n &' ($ &$,&%# )#'.,.


9/23

* S&! n 2 3 0 1 &$,#$*&':

(3 0 1* (3 0 6* &' .


10/23

6 (63 7 )63 * 0 )63 (6 7 )6* &' .

P!%! #-,&$&% ,!$ #-


11/23

L!' )%#)#'.*.#$&' !' &*+!%!!' $#' )&%.,&$ &>)%&'!% &$ +&$(!9& $!,(%!+ +# &>)%&'!# &$+&$(!9& '.-/+.*# !':

) (& &(.

A' (& $(&',%# &9&)+# )(&& '&% %&)%&'&$,!# &$ &+ +&$(!9& '.-/+.*# & +! '.(.&$,& !$&%!:

) S& +&&: '. ) &$,#$*&'

) S& +&&: #*(%%& )

444 S& +&&: & #$&

E+ '-#+# 444 @& #$& %&)%&'&$,! +! *#$*+('./$ & +!' )%&.'!' !!'; &' &*.% (& +!*#$*+('./$ &$ &',& *!'# &' +! )%#)#'.*./$

E,em%'o 6

S. &',8 ++#

E+ )&%%# (!%.8$ $# +!%/4

https://es.wikipedia.org/wiki/Verdadhttps://es.wikipedia.org/wiki/Argumentohttps://es.wikipedia.org/wiki/Solidezhttps://es.wikipedia.org/wiki/L%C3%B3gica_proposicionalhttps://es.wikipedia.org/wiki/Razonamiento_deductivohttps://es.wikipedia.org/wiki/Argumentohttps://es.wikipedia.org/wiki/Solidezhttps://es.wikipedia.org/wiki/L%C3%B3gica_proposicionalhttps://es.wikipedia.org/wiki/Razonamiento_deductivohttps://es.wikipedia.org/wiki/Verdad


12/23

P#% +# ,!$,# &+ )&%%# (!%.8$ $# &,&*,/ $.$$ .$,%('#4

S()#$.&$# (& +!' )%&.'!' '#$

N# )(&# ('!% ($ ?!*?!4

P#% +# ,!$,# 3# $# '#3 &+ !'&'.$# &+ ?!*?!4

) S& +&&: '. ) &$,#$*&'

S& +&&: #*(%%&

444 ) S& +&&: & #$& )

E',! %&+! & .$&%&$*.! .*& (& '. ($! .)+.*!*./$ &'


13/23

Si'o$ismo :i%ot;tico&

T!-.=$ '& )(&& &$,&$&% (& &+ !%(&$,# (& '& ('! &$ '( &',%(*,(%! $# &' '.&)%&

D& #%! +/.*!

14 ) < # ) <

24 ) #

C#$*+('./$: # )

E9&)+#:

14 L+(&


14/23

@) ˄ @% ' ) ˅ % ˅ '

E9&)+#

S. &',(.# !)%&$# 3 '. (&%#&'*!$'#4E',(.= # #%4L(&# A)%&$ # &'*!$'=4

A)sorci!n (A)s*

)

) @ )˄

E9&)+#

S. &',(.# !)%&$#

E',(.# +(&# !)%&$# 3 &',(.#

I-n M#ricio Mo'in

Sim%'ificci!n 8 Le8 "e ' con,#nci!n/

Le8 "e ' Sim%'ificci!n (Sim%*/ S& %&)%&'&$,! !-%&


15/23

___________________________________

C4 p C#$*+('./$ A)+.*!$# ! 1 +! +&3 S

T!-.=$ )(&& *#$*+(.%'& '#+!&$,& q

E,em%'o/

T&$# ($! !$"!$! 3 ($! )&%!

): T&$# ($! M!$"!$!

: T&$# ($! P&%!

Brin Or'n"o Moreno

Le8 "e A"ici!n 8 To''en"o Ponens&

Mo"#s To''en"o Ponens (MTP*

S. ($! .'3($*./$ &'


16/23

So'#ci!n/

L! &',%(*,(%! &+ &$($*.!# *#%%&')#$& ! ($! Tautología.

p: Bibiana aprueba el periodo academico

q : Los hermanos seenojan

r : Pierde los beneficios de la beca

I&$,..*!*./$ & +!' )%#)#'.*.#$&' '.)+&':

P%&.'! 1: p→ q

P%&.'! 2: ∿ p → r

C#$*+('./$: ( p v∿

p )→(q v r)

T!-+! &


17/23

'.(.&$,&: V!#' ! *#$'(+,!% +! ,!%&! &$ &+ &..*.# & +! -.-+.#,&*! & +! UNAD '. &',8 *!+(%#'#

&+ !4 S. $#

So'#ci!n

L! &',%(*,(%! & &$($*.!# *#%%&')#$& ! ($ %!"#$!.&$,# .$(*,.


18/23

V V V V F V V V V V VV V V F F V V V F F VV V F V F V V V V V VV V F F F V V V V V FV F V V V F V F V F V

V F V F V F V F F F VV F F V V F F F V F VV F F F V F F F V F VF V V V F V V V V V VF V V F F V V V F F VF V F V F V V V V V VF V F F F V V V V V FF F V V V V V V V V VF F V F V V V V F F VF F F V V V F F V F VF F F F V V F F V F V

E' ($! *#$,.$&$*.!

D&#',%!*./$ )#% +&3&' & .$&%&$*.!:

P%&.'! 1: @) P%&.'! 2: @ %


19/23

P%&.'! : @% ' ___________________________

X4 MTT @154 ' S @2 @

A+ (,.+."!% +!' +&3&' & .$&%&$*.! ++&!#' ! ($! .$&,&%.$!*./$ 3! (& &$,%& +!' )%&.'!'&$&%!!' @X 3 @5 $# &' )#'.-+& &',!-+&*&% ($! %&+!*./$ *#?&%&$,& )!%! ++&!% ! +! *#$*+('./$4D& &',& ## &,&%.$!#' (& &+ %!"#$!.&$,# $# &'


20/23

P%&.'! X: p˄ t

C#$*+('./$: q

T!-+! &


21/23

CONCLUSIONES

• E+ %!"#$!.&$,# +/.*# # *!('!+ &' ($ )%#*&'# & +/.*! &.!$,& &+ *(!+ )!%,.&$# & ($# # 8' 9(.*.#' '& &%.

• S& &$,.&$& )#% .$&%&$*.! +/.*! ! ($ %!"#$!.&$,# &+ (& ! )!%,.% & ($*#$9($,# & )%#)#'.*.#$&' ++!!#' )%&.'!' '& #-,.&$& ($ %&'(+,!# ++!!#

*#$*+('./$4 U$ %!"#$!.&$,# &'


22/23

Bi)'io$rf&_201+&**.$_2X_&#'

,%!*.$_.%&*,!_&_.$.%&*,!4?,+

• P8.$! b&-4 Dilema constructivo y absorción. R&'*!,!# &:?,,):!,!,&*!4($!4&(4*#*#$,&$.#'000XL#.*!_!,&!,.*!_000X_CORE_!$,&%.#%&'EcEEcE_J(+.#_1_&_2012.+&!_*#$',%(*,.


23/23

• ?,,):!,!,&*!4($!4&(4*#*#$,&$.#'551105M#(+#_&>&_201+&**.$_22_+&3&'_ &_.$&%&$*.!4?,+

• ?,,)':,&*..,!+4,&*4!*4*%%&

527 trabajo colaborativo 3

Documents