Trabajo colaborativo_Paso 2 Conectivos lógicos y teoría de conjuntos_Grupo_90004_481.doc

Universidad Nacional Abierta y a Distancia – UNAD Escuela: Escuela de Ciencias Básicas Tecnologías Tecnologías e Ingeniería - ECBTI! "rogra#a: Unidad Acad$#ica Curso: %&'ICA (ATE()TICA (ATE()TICA C*digo: !+

TRABAJO COLABORATIVO PASO 2 CONECTIVOS LÓGICOS Y TEORÍA DE CONJUNTOS

PRESENTADO POR: SINDY BRAHIAN ERAZO, Código: !"22#!$%&

CODIGO DEL GRUPO #!!!$'$&

PRESENTADO AL TUTOR: GONZALO (ESTER

UNAD UNIVERSIDAD UNIVER SIDAD NACIONAL NACION AL ABIERTA ABIERTA Y A DISTANCIA CURSO DE LÓGICA )ATE)*TICA O+-./0 d0 2!"

Universidad Nacional Abierta y a Distancia – UNAD Escuela: Escuela de Ciencias Básicas Tecnologías e Ingeniería - ECBTI! "rogra#a: Unidad Acad$#ica Curso: %&'ICA (ATE()TICA C*digo: !+

INTRODUCCIÓN

L1 ógi+1 03 -41 /05/03041+ió4 3i6.ói+1 d0 04g-170 41-/1 8 16.i94 /01i1/ 5o/ 60dio d0 3ig4o3 1 03/-+-/1 d0 1/g-604o3 ógi+o3 8 d00/6i41/ 3- ;1id0< T16.i94 30 /01i1 -41 5/=+i+1 d0 5/i4+i5io3 d0 ógi+1 1 o61/ 5/05o3i+io403 8 d0>i4i/13 +o6o 5/05o3i+io403 +o65-0313, 30 /01i1 -41 1.1 d0 ;0/d1d 5o/ 60dio d0 3i6-1do/ o4i40 d0 1.13 d0 ;0/d1d 8 31.0/ +ó6o 30 /05/030414 o3 +o40+i;o3 ógi+o3<

Ad06=3 04 030 /1.17o 30 03-di14 o3 +o47-4o3 51401do3 04 1 5/i60/1 -4id1d d0 +-/3o<


OBJETIVOS

E4+o4/1/

0 ;1o/ d0 ;0/d1d d0 13 5/05o3i+io403 5o/ 60dio d0 1 1.1 d0 ;0/d1d

o4i40<

R01i1/

0?5/03io403 04 04g-170 3i6.oi+o<

R05/03041/

+o47-4o3 5o/ 60dio d0 -4 di1g/161<

PASO-2-CONECTIVOS LÓGICOS Y TEORÍAS DE CONJUNTOS TAREA 1: PREPOSICIONES:


E3+/i.1 1 5/o5o3i+ió4 +o65-031 5/o5-031 04 04g-170 41-/1 8 d00/6i40 3- ;1o/ d0 ;0/d1d, 1 51/i/ d0 ;1o/ d0 ;0/d1d d0 +1d1 5/o5o3i+ió4 3i650: C. p: 2 es un n!e"# p"$!# %: T#&#s '#s n!e"#s en(e"#s s#n n!e"#s n)(u")'es ": L#s n!e"#s $!p)"es s#n n!e"#s p"$!#s.

Respues(): P/05o3i+ió4 Co65-031: @ 5 F / ˅ 5 Len*u)+e N)(u")': No 03 +i0/o -0, 2 03 -4 460/o 5/i6o 3i 8 3oo 3i odo3 o3 460/o3 040/o3 3o4 460/o3 41-/103, 8 o3 460/o3 i651/03 3o4 460/o3 5/i6o3 o 2 03 -4 460/o 5/i6o< LENGUAJE SI,BOLICO: @ 5 ˅ @ / ˅ 5 TABLA DE VERDAD:

TAREA 2: TABLAS DE VERDAD C1d1 3o-+ió4 d0 o3 3ig-i0403 04-4+i1do3 d0.0 +o41/ +o4 13 3ig-i0403 01513:  E?5/03ió4 04 04g-170 3i6.ói+o<  D031//oo 60di140 1.13 d0 ;0/d1d  U3o d0 3i6-1do/ T/- T1.0<

. S$ %u$e"es p"#*"es)" &ees es(u&$)" / )0#"")" p)") e' u(u"#.

p : -i0/03 5/og/031/ q

:

r :

d0.0 03-di1/ d0.03 1o//1/ 51/1 0 >--/o

p → Bq ∧ r E

p

q

r

q

V

V

V

V

V

V

V

(

(

(

∧

r

p

→

B q ∧ r E


V

(

V

(

(

V

(

(

(

(

(

V

V

V

V

(

V

(

(

V

(

(

V

(

V

(

(

(

(

V


TAREA : TEORÍA DE CONJUNTOS Co43id0/06o3 0;04o3 -0 30 5-0d04 /05/03041/ 5o/ 60dio d0 -4 +o47-4o: +< A-o3 -0 4o 0414 1-o039/0o, 4i +i61 4i /1436i3ió4 1-o6=i+1


L1 /0gió4 3o6./01d1 /05/03041, A-o3 -0 4o 0414 1-o039/0o, 4i +i61 4i /1436i3ió4 4i 1-o6=i+1:

AK∩C K∩T K = B A ∪ C ∪ T EK

TAREA 3: APLICACIÓN DE LA TEORÍA DE CONJUNTOS

D0 13 3ig-i0403 3i-1+io403 /05/03041/13 04 -4 di1g/161 d0 V044 8 3o-+io41/ o3 i40//og1403 51401do3 Soo 300++io41 -4o d0 o3 % 070/+i+io3 0 i4>o/61 04 0 >o/o +-1 03+ogió, 51/1 -0 4o 301 03+ogido 5o/ o/o i40g/140

C. Se 'e p"e*un(4 ) un *"up# &e 15 es(u&$)n(es s#"e sus p"ee"en$)s p#" &#s !)")s &e "e"es#s Peps$ / C#) C#'). O(en$6n&#se '# s$*u$en(es "esu'()&#s: E' n!e"# &e


es(u&$)n(es %ue p"e$"$e"#n Peps$ pe"# n# C#) C#') ue &e . E' n!e"# &e es(u&$)n(es %ue n# p"e$"$e"#n Peps$ ue"#n 7. Se &ese) s)e": 8Cu9n(#s &e '#s enues()&#s p"e$"$e"#n n$)!en(e Peps$ 8Cu9n(#s &e '#s enues()&#s p"e$"$e"#n C#) C#') 8Cu9n(#s &e '#s enues()&#s p"e$"$e"#n Peps$ # C#) C#') S0 0 5/0g-4ó 1 -4 g/-5o d0 ! 03-di1403 3o./0 3-3 5/0>0/04+i13 5o/ do3 61/+13 d0 /0>/03+o3 P053i 8 Co+1 Co1< O.04i94do30 o 3ig-i0403 /03-1do3:

E 460/o d0 03-di1403 -0 5/0>i/i0/o4 P053i 50/o 4o Co+1 Co1 >-0 d0 <

E 460/o d0 03-di1403 -0 4o 5/0>i/i0/o4 P053i >-0/o4 "<

S0 d0301 31.0/:


1< MC-=4o3 d0 o3 04+-031do3 5/0>i/i0/o4 P053i

Respues(): 3 .< MC-=4o3 d0 o3 04+-031do3 5/0>i/i0/o4 Co+1 Co1

Respues(): ; +< MC-=4o3 d0 o3 04+-031do3 5/0>i/i0/o4 P053i o Co+1 Co1

Respues(): 15

CONCLUSIONES 

L1 ógi+1 6106=i+1 4o3 18-d1 1 d031//o1/ o3 5/o+03o3 d0 504316i04o 04+o4/14do 304ido 1 o -0 /01i16o3<



L1 ógi+1 4o3 o>/0+0 69odo3 d0 0430141: +o6o 01.o/1/ 5/05o3i+io403, 0;1-1/ 3;1o/ d0 ;0/d1d 8 d00/6i41/ 3i 13 +o4+-3io403 30 14 d0d-+ido +o//0+16040 1 51/i/ d0 5/05o3i+io403 51401d13<



A 51/i/ d0 -41 o ;1/i13 5/o5o3i+io403 00604103 30 5-0d04 0>0+-1/ di;0/313 o50/1+io403 ógi+13 51/1 +o43/-i/ 4-0;13 5/o5o3i+io403<

Universidad Nacional Abierta y a Distancia – UNAD Escuela: Escuela de Ciencias Básicas Tecnologías e Ingeniería - ECBTI! "rogra#a: Unidad Acad$#ica Curso: %&'ICA (ATE()TICA C*digo: !+ 

U4 +o47-4o 03 1 /0-4ió4 04 -4 odo d0 o.70o3 .i04 d0>i4ido3 8 di>0/04+i1.03 04/0 3, -0 30 1614 00604o3 d0 6i36o< Lo3 +o47-4o3 30 3-004 /05/03041/ g/=>i+16040 60di140 di1g/1613 d0 V044, +o4 -41 401 -0 04+i0//1 1 3-3 00604o3< A3, od13 13 o50/1+io403 04/0 +o47-4o3 30 5-0d04 /05/03041/ g/=>i+16040 +o4 0 >i4 d0 o.040/ -41 id01 6=3 i4-ii;1<

RE


5:QQ6106<0i3<-;1<03Q6151gQCONTENIDOSQCo47-4o3Q61/+o'+o47-4o3<6



53:QQ<8o--.0<+o6Q1+;Zg#EGJIW>01-/05180/'06.0dd0d



5:QQ-/40/<>1+-8<31-<0d-Q61061i+3Q610/i13i./1/8Q/-Q5/o+033<55

Trabajo colaborativo_Paso 2 Conectivos lógicos y teoría de conjuntos_Grupo_90004_481.doc

Recommend Documents