logica matematica

download logica matematica

of 22

description

trabajo colaborativo unidad 1

Transcript of logica matematica

FISICA GENERAL90004_172

TRABAJO COLABORATIVO 1WILLIAM FERNANDO DAZA BORBNTUTOR: JAVIER FRANCISCO MATEUS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNADECBTIINGENIERIA DE SISTEMASOCTUBRE 2015En una encuesta realizada a un grupo de 200 investigadores de la UNAD, se conoce que 180 han escrito en una revista indexada y 120 en revistas no indexadas Cuntos investigadores han escrito en los 2 tipos de revista?Identificacin de los conjuntosC= Conjunto universal (todos los investigadores de la UNAD)B= Investigadores que han escrito en revista indexadaC=Investigadores que han escrito en revista no indexada.

Diagrama de Venn

Descripcin del problemaEl grupo de investigadores de la UNAD son 200, el problema nos habla que 180 investigadores han escrito en una revista indexada (conjunto B). Lo que quiere decir que 20 investigadores no han escrito en revistas indexadas. Despus nos dice que 120 investigadores han escrito para revistas indexadas (conjunto A), lo que quiere decir que 80 investigadores no han escrito en revistas indexadas, el problema nos pregunta que cuantos investigadores han escrito en las 2 revistas.Para dar solucin a la pregunta que nos plantea el problema tomamos el conjunto universal (C ) y le restamos la cantidad de investigadores del conjunto (B) , el resultado de la resta de estos dos conjuntos nos quiere decir que estos investigadores solo han escrito en una sola revista, lo mismo hacemos con el conjunto A.Al conjunto C le restamos el conjunto A, esto nos dar como resultado otros investigadores que solo han escrito en una sola revista, sumamos los resultados de ambas restas y nos dar el total de los investigadores que han escrito en una sola revista, este total se lo restamos al conjunto universal (C) y el total de esta resta ser la respuesta al problema.Argumentacin de la validez de la respuesta.

C B = [20]

C A = [80]

B A = [80,20]

= [100]

Resuelva el siguiente Diagrama de Venn de acuerdo a la informacin que se requiere:

Cuantos estudiantes que pertenecen a los cursos Prcticos, Metodolgicos y Tericos a la vez? R/ 10.Cuantos estudiantes que pertenecen solo a los cursos Prcticos? R/ 15.Cuantos estudiantes que pertenecen solo a los cursos Metodolgicos? R/ 85.Cuantos estudiantes que pertenecen solo a los cursos Tericos? R/ 60.Cuantos estudiantes que pertenecen solo a los cursos Prcticos y a los Tericos; pero no a los Metodolgicos? R/ 11.Cuantos estudiantes que pertenecen solo a los cursos Metodolgicos y Tericos; pero no a los Prcticos? R/ 12. Cuantos estudiantes que pertenecen solo a los cursos Prcticos y a los cursos Metodolgicos; pero no al Tericos? R/ 9. Cuantos estudiantes que No pertenecen a los cursos Prcticos, ni Metodolgicos y ni Tericos? R/ 40.En base al Diagrama de Venn en el punto anterior, represente cada caso de la forma que se propone en la siguiente relacin: P M = P unin M

M P = M interseccin P

P M = P diferencia simtrica M

M U = M diferencia U

U B = U diferencia B

T = T complemento

M P = M unin P

PM = P interseccin M

(P M) = (P unin M) complemento

Defina por Compresin los siguientes conjuntos:E= {Amazonas, Casanare, Guaina, Guaviare, Meta, Vaups y Vichada}E= [Zona Amazona Orinoqua]H= {Cauca, Nario, Putumayo y Valle del Cauca} H= [Zona Centro Sur]K= {Boyac, Huila, Caquet y Tolima}K= [Zona regiones del pas]B= {Amazonas, Casanare, Guaina, Guaviare, Meta, Vaups, Vichada, Distrito Capital y Cundinamarca}B= [Zona regiones del pas].Defina por Extensin los siguientes conjuntos definidos.P= {x H/ x es programa de la ECBTI}P= [Ingeniera de Sistemas, Ingeniera Industrial, Ingeniera de Alimentos, Ingeniera de Telecomunicaciones, Ingeniera Electrnica].O= {x x/ x es Vicerrectora de la UNAD}O= [VIACI, VISAE, VIMMEP, VIDER, VIREL]L= {x x/ x es Zona de la UNAD} L= [Zona Amazona - Orinoqua, Zona Caribe, Zona Centro Bogot Cundinamarca, Zona Centro Boyac, Zona Centro Oriente, Zona Centro Sur, Zona Occidente, Zona Sur].R= {x x/ x es Especializacin de la UNAD}R= [ECACEN, ECSAH, ECBTI, ECAPMA, ECE, ECISALUD].PROPOSICIONES Y TABLAS DE VERDADEl estudiante revisar individualmente los temas relacionados sobre proposiciones y conectores lgicos, al terminar debe transformar las expresiones relacionadas de lenguaje natural al lenguaje simblico aplicando conectivos lgicos.1. Para estudiar lgica es necesario ser responsable y constante. 2. La conjuncin de dos proposiciones es verdadera si y solo si ambas proposiciones son verdaderas. 3. La lgica es fundamental para estudio matemtico, es condicin necesaria y suficiente. 4. Si estudio lgica, entonces puedo inferir. 5. Si existe error en el razonamiento, entonces hay falacias o ambigedades. 6. La disyuncin es verdadera si y solo si alguna de las proposiciones es verdadera. 7. Si estudias matemticas, entonces te enfrentas a la ciencia de lo abstracto y lo inconmensurable. 8. Si hoy no luchas, maana no llores. 9. Los estudiantes de Lgica matemticas razonan si y solo si resuelven todos los das ejercicios de razonamiento. 10.O estas en ingeniera de sistemas y estudia lgica matemticas o estas ingenieras de alimento y estudia otro curso.Solucin1. Para estudiar lgica es necesario ser responsable y constante. Si es responsable y constante entonces puede estudiar lgica.P= responsableQ= constanteR= estudiar lgica(pq)rpqrP q(pq)r

VVVVV

VVFVF

VFVFV

VFFFV

FVVFV

FVFFV

FFVFV

FFFFV

Simulador truth

2. La conjuncin de dos proposiciones es verdadera si y solo si ambas proposiciones son verdaderas. P= La conjuncin de dos proposiciones es verdaderaQ= ambas proposiciones son verdaderas.PQPQPQ

VVV

VFF

FVF

FFV

3.La lgica es fundamental para el estudio matemtico, es condicin necesaria y suficiente.Es fundamental para el estudio matemtico si y solo si la lgica.P=Es fundamental para el estudio matemtico Q= La lgica.PQPQPQ

VVV

VFF

FVF

FFV

4.Si estudio lgica, entonces puedo inferirP= Estudio lgica.Q= puedo inferir.PQPQPQ

VVV

VFF

FVV

FFV

5. Si existe error en el razonamiento, entonces hay falacias o ambigedades. Si hay falacias o ambigedades entonces existe error en el razonamiento.

P= Hay falaciasQ= Hay ambigedadesR= Existe error en el razonamiento(P Q) RPQRP Q(P Q) R

VVVVV

VVFVF

VFVVV

VFFVF

FVVVV

FVFVF

FFVFV

FFFFV

6. La disyuncin es verdadera si y solo si alguna de las proposiciones es verdadera. P= La disyuncin es verdaderaQ= Alguna proposicin es verdadera.PQPQPQ

VVV

VFF

FVF

FFV

7. Si estudias matemticas, entonces te enfrentas a la ciencia de lo abstracto y lo inconmensurable.Si te enfrentas a la ciencia de lo abstracto y lo inconmensurable entonces estudias matemticas.P= Te enfrentas a la ciencia de lo abstractoQ= Te enfrentas a la ciencia de lo inconmensurable.R= Estudias matemticas.(PQ)RPQRP Q(PQ)R

VVVVV

VVFVF

VFVFV

VFFFV

FVVFV

FVFFV

FFVFV

FFFFV

8. Si hoy no luchas, maana no llores. Si hoy no luchas entonces maana no llores.P= No luchasQ= No llores.P QPQPQP Q

VVFFV

VFFVV

FVVFF

FFFVV

.

9. Los estudiantes de Lgica matemticas razonan si y solo si resuelven todos los das ejercicios de razonamiento. P= Los estudiantes de Lgica matemticas razonan.Q= Resuelven todos los das ejercicios de razonamiento. PQPQPQ

VVV

VFF

FVF

FFV

10. O estas en ingeniera de sistemas y estudia lgica matemticas o estas ingenieras de alimento y estudia otro curso.P= Estas en ingeniera de sistemas.Q=Estudia lgica matemtica.R= Estas en ingeniera de alimentos.S= Estudia otro curso.(P Q) (RS)PQRSP QRS(P Q) (RS)

VVVVVVF

VVVFVFV

VVFVVFV

VVFFVFV

VFVVFVV

VFVFFFF

VFFVFFF

VFFFFFF

FVVVFVV

FVVFFFF

FVFVFFF

FVFFFFF

FFVVFVV

FFVFFFF

FFFVFFF

FFFFFFF