trab col 3 grupo 232

7/24/2019 Trab Col 3 Grupo 232

1/35

1

232_TrabajoColaborativoTres

PARTICIPANTES

Gloria Lucia muoz

Cdigo: 34551419

Nory Edith Crdoba

Cdigo

Patricia Osorio Sarmiento

Cdigo: 20352771

Grupo2000611_232

Universidad Nacional Abierta y a Distancia UNAD

Programa: de PSIC!"IA

C#rso: Pensamiento !$gico y %atem&tico

Popa!"# Cau$a 13 "o%i&'(r& d& 2015

) I"g&"i&ra *&+,i"a R&&- Tu.ora/


2/35

2

Tabla de contenido

INTRODUCCIN..................................................................................................................................3OBJETIVOS..........................................................................................................................................4

General...........................................................................................................................................4

Especfcos...................................................................................................................................... 4

SEGUNDO !O!ENTO DE "#$#SE GRU%#"........................................................................................&

%ro'le(a........................................................................................................................................ &

#%ORTES INDIVIDU#"ES.....................................................................................................................)

%ro'le(a esco*+,o por Glor+a "-ca !-o/0............................................................................... ..)

%ro'le(a esco*+,o en el #pore ase +n,++,-alpor Nor E,+5 C6r,o'a.......................................7

De(osrac+6n a par8r ,e las a'las ,e er,a, or(a 1................................................................11

De(osrac+6n a par8r ,e las a'las ,e er,a, or(a 1................................................................13

1.1.1. Ver+fcac+6n con s+(-la,or............................................................................................29

%ro'le(a esco*+,o en el #pore In,++,-al por %ar+c+a Osor+o Sar(+eno.................................31

CONC"USIONES................................................................................................................................ 33

B+'l+o*ra:a....................................................................................................................................... 34


3/35

3

INTR*CCIN

E+ prop-i.o d& &-.a a$.i%idad $o"-id&ra'o- u& &-#u& +ogr&'o- $o'pr&"d&r ap+i$arad&$uada'&".& +o- &+&'&".o- d& +a .&ora g&"&ra+ d& $o"u".o- &" +a -o+u$i" d&

pro(+&'a-/ *& .a+ ,or'a u& a+ +&&r &+ &"u"$iado o pro(+&'a poda'o- i".&rpr&.ar#

r&+a$io"ar -a$ar ad&$uada'&".& +a- pr&po-i$io"&-# ap+iu&'o- +a- &pr&-io"&-

'a.&'!.i$a- ad&$uada- .&"ga'o- u"a (u&"a argu'&".a$i"/ 8 a- pod&r a$&r u"

p+a".&a'i&".o a$&r.ado d&-arro++ar +o- pro(+&'a-# u.i+ia"do +a- +&&- d& i",&r&"$ia

+gi$a# por i"du$$i" d&du$$i" a$&r d&'o-.ra$io"&- d& rao"a'i&".o %a+ido/


4/35

4

;


5/35

&

SEGN* >>ENT *E ?A@ASE GRPA?

Problema

E+ *ir&$.or d&+ Cur-o d& P&"-a'i&".o ?gi$o >a.&'!.i$o d& +a "i%&r-idad NA* &- &+

&"$argado d& 'u$a- d& +a- +a(or&- '!- i'por.a".&-/ Si &- a-# &".o"$&- -&r *ir&$.or d&

Cur-o &- u" $argo di,$i+ d& 'a"&ar/ ?o- &-.udia".&- di$&" u o +o- *ir&$.or&- d& Cur-o

-o" p&r-o"a- d& +a- u& d&p&"d& &+ ,u"$io"a'i&".o $urri$u+ar d& +a "i%&r-idad# o u& -+o

-& d&di$a" a apro(ar r&pro(ar a +o- &-.udia".&-/ P&ro -i &++o- -+o -& d&di$a" a apro(ar

r&pro(ar a +o- &-.udia".&-# &".o"$&- -&r *ir&$.or d& Cur-o "o &- u" $argo di,$i+ d& 'a"&ar/

Ad&'!-# -i +a *ir&$$i" d& Cur-o A$ad'i$o "o &- u" $argo u& -+o ui&"&- -& a"

pr&parado para &++o +o '&r&$&"# &".o"$&- -&ra ,a+-o u& +o- &-.udia".&- diga" u& +o-

*ir&$.or&- d& Cur-o -o" p&r-o"a- d& +a- u& d&p&"d& +a "i%&r-idad u& &+ *ir&$.or d&

Cur-o &- &+ &"$argado d& 'u$a- d& +a- +a(or&- '!- i'por.a".&-/ Por +o .a".o# +a *ir&$$i"

d& Cur-o A$ad'i$o &- u" $argo u& -+o ui&"&- -& a" pr&parado para &++o +o '&r&$&"/

P+a".&a'i&".o -o+u$i":

Propo-i$io"&-

p: E+ *ir&$.or d&+ Cur-o d& P&"-a'i&".o ?gi$o >a.&'!.i$o# &- &+ &"$argado d& 'u$a-d& +a- +a(or&- '!- i'por.a".&-/

+:S&r dir&$.or d& $ur-o &- u" $argo di,$i+ d& 'a"&ar/

r: +o- dir&$.or&- d& $ur-o -o" p&r-o"a- d& +a- u& d&p&"d& &+ ,u"$io"a'i&".o $urri$u+ar d&+a u"i%&r-idad

s:?o- dir&$.or&- d& $ur-o -o" d&di$ada- a apro(ar o r&pro(ar &-.udia".&-

': ?o- dir&$.or&- d& $ur-o- a$ad'i$o- &- u" $argo u& -+o ui&"&- -& a" pr&paradopara &++o +o '&r&$&"/

?a- orga"io &" pr&'i-a- d& +a -igui&".& 'a"&ra:

P1: pB

P2: r % -


6/35

;

P3: - B

P4: ' B Dr pF

+a $o"$+u-i" &- '

?a&pr&-i"u&dara d& +a -igui&".& 'a"&ra:

DpBF Dr % -F D-BF 'BD r pFH B '

Au a"&o +a .a(+a u& '&dio &+ -i'u+ador/

Truth Table

p r - ' DpBFDr=-FD-B JFJ'BD J rpFHB'

T T T T TT T T T @

T T T @ T

T T T @ @

T T @ T T

T T @ T @

T T @ @ T

T T @ @ @

T @ T T T

T @ T T @

T @ T @ T

T @ T @ @

T @ @ T T

T @ @ T @

T @ @ @ T

T @ @ @ @

@ T T T T

@ T T T @

@ T T @ T

@ T T @ @

@ T @ T T

@ T @ T @

@ T @ @ T

@ T @ @ @

@ @ T T T

@ @ T T @@ @ T @ T

@ @ T @ @

@ @ @ T T

@ @ @ T @

@ @ @ @ T

@ @ @ @ @

TT

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

TT

T

T

T

T

T


7/35

)

expresin is a tautology

APRTES IN*I=I*A?ES

Problema escogido (or "loria !#c)a %#,o-:

Seleccionar #no de los sig#ientes en#nciados y a trav.s de las dos *ormas b&sicas de

#so de las Tablas de /erdad y del #so de las !eyes de In*erencia demostrar la valide- o

no valide- del arg#mento dado0

E-.udiar &" +a 'oda+idad a *i-.a"$ia &" +a NA* &- u"a '&.odo+oga &du$a.i%a u&

r&a+'&".& ,or'a pro,&-io"a+&- $o'p&.&".&-# pu&- -& d&(& -&r 'u di-$ip+i"ado $o" +o-

!(i.o- d& &-.udio aduirido- para $u'p+ir $o" +a- a$.i%idad&- a$ad'i$a-# p&ro $o" +a

%&".aa d& u& a+ u-ar +a- .&$"o+oga- ,a$i+i.a +a $o'u"i$a$i" &".r& +o- di,&r&".&-

pro.ago"i-.a- d&+ pro$&-o d& ,or'a$i" a$ad'i$o/ Caro+i"a -& a &-,orado por 'a".&"&r

u" -+ido !(i.o d& &-.udio# p&ro a 'o'&".o- &" u& &+ $a"-a"$io +a %&"$ &+ -igui&".&

r&+a.o &- a+go u& +& o$urri u" da: KSi '& 'a"da- +a gua d& a$.i%idad&- por '&"-a&ra

i".&r"a d&+ $ur-o# &".o"$&- .&r'i"ar d& r&a+iar +a- d&'o-.ra$io"&-/ Si "o '& 'a"da- +a

gua d& a$.i%idad&- por '&"-a&ra i".&r"a# '& ir a +a $a'a .&'pra"o/ 8 -i '& %o a +a

$a'a .&'pra"o# '& +&%a".ar d&-$a"-ada/ Por +o .a".o# -i "o a$a(o d& r&a+iar +a-

d&'o-.ra$io"&-# '& +&%a".ar d&-$a"-adaL/

So+u$i"

Pri'&ra @or'a

KSi '& 'a"da- +a gua d& a$.i%idad&- por '&"-a&ra i".&r"a d&+ $ur-o# entonces.&r'i"ar

d& r&a+iar +a- d&'o-.ra$io"&-/ Si no'& 'a"da- u" +a gua d& a$.i%idad&- por '&"-a&ra

i".&r"a# '& ir a +a $a'a .&'pra"o/ 8 -i '& %o a +a $a'a .&'pra"o# '& +&%a".ar

d&-$a"-ada/ Por +o .a".o# si noa$a(o d& r&a+iar +a- d&'o-.ra$io"&-# '& +&%a".ar

d&-$a"-adaL/


8/35

q)(r+s )(r> t)( q)(u>v)(s>p)v )>(u>v )

equivalente a ( (pq ) ( r v s) (rt) ( q) (uv ) (sp ) v )(uv)
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/


21/35

21


22/35

22


23/35

23


24/35

24

Resolviendo la tabla con la conjuncin por cada premisa nos damos cuenta que como

conclusin tenemos una Tautologa lo cual quiere decir que la conjuncin implica la

conclusin y el razonamiento es vlido.

p q

r v s

rt


25/35

2&

q

uv

s p

v

Concl#si$n en leng#aje simb$lico0

p q

r v s

r t

q

u v

sp

v

uv


26/35

2;


27/35

2)


28/35

2a.&'a.i$a/

pd,Ta(+a- d& %&rdad: ..p-:OOO/ou.u(&/$o'Oa.$%QAN&+,;RR98

..p-:OOO/ou.u(&/$o'Oa.$%QN'*%M-3I4 =a+id& d& u" rao"a'i&".o

..p:&-/-+id&-ar&/"&.ua"diaida+go.&'a3+aargu'&".a$i" Propo-i$io"&- Ca.&gri$a-:

..p:&-/-+id&-ar&/"&.ra,a&+/'orar&g+a-para$ua".i,i$ador&-
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/https://www.youtube.com/watch?v=OuHYh1Xw5nohttp://campus.cva.itesm.mx/nazira/Tc1003/PDF/Apuntes/0201Tc1003_Logica_Matematica.pdfhttp://campus.cva.itesm.mx/nazira/Tc1003/PDF/Apuntes/0201Tc1003_Logica_Matematica.pdfhttp://turner.faculty.swau.edu/mathematics/materialslibrary/truth/https://www.youtube.com/watch?v=OuHYh1Xw5nohttp://campus.cva.itesm.mx/nazira/Tc1003/PDF/Apuntes/0201Tc1003_Logica_Matematica.pdfhttp://campus.cva.itesm.mx/nazira/Tc1003/PDF/Apuntes/0201Tc1003_Logica_Matematica.pdf

trab col 3 grupo 232

Documents