Post on 20-Feb-2018
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/
7/24/2019 Trab Col 3 Grupo 232
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
7/24/2019 Trab Col 3 Grupo 232
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/
7/24/2019 Trab Col 3 Grupo 232
4/35
4
;
7/24/2019 Trab Col 3 Grupo 232
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¶do 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¶do 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¶dopara &++o +o '&r&$&"/
?a- orga"io &" pr&'i-a- d& +a -igui&".& 'a"&ra:
P1: pB
P2: r % -
7/24/2019 Trab Col 3 Grupo 232
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/24/2019 Trab Col 3 Grupo 232
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/
7/24/2019 Trab Col 3 Grupo 232
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/7/24/2019 Trab Col 3 Grupo 232
21/35
21
7/24/2019 Trab Col 3 Grupo 232
22/35
22
7/24/2019 Trab Col 3 Grupo 232
23/35
23
7/24/2019 Trab Col 3 Grupo 232
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
7/24/2019 Trab Col 3 Grupo 232
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
7/24/2019 Trab Col 3 Grupo 232
26/35
2;
7/24/2019 Trab Col 3 Grupo 232
27/35
2)
7/24/2019 Trab Col 3 Grupo 232
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