TRABAJO COLOBORATIVO # 1

JENIFFER MARTINEZ SALAZAR

GRUPO: 90004_500

CODIFGO:

38568932

UNIVERSIDA UNAD ABIERTA Y ADISTANCIA

ESCUELAS DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIRIAS –ECBTI-P-

LOGICA MATEMATICA

CALI 2015
 INTRODUCION

El presente trabajo colaborativo es realizado en base a la teoría vista en el curso lógica

matemática con la finalidad de profundizar mediante el ejercicio práctico las teorías dadas.

Durante el desarrollo de este trabajo se realizará diferentes ejercicio enfocados a diferentes

temas como los son teoría de conjuntos tablas de verdad, lógica proposicional.
 OBJETIVO

 Identificar conceptos de conjuntos y sus operaciones, lógicas proposicional,

lenguaje simbólico y tablas de verdad.

 Ejercitar mediante la práctica la construcción de tablas de verdad, identificando el

orden lógico de sus componentes.

 Aprender a trasformar expresiones dadas en el lenguaje natural a lenguaje

simbólico, por medio de la utilización de conectores lógicos.

EL PROBLEMA A DESARROLLAR EN LA TAREA 1 ES EL SIGUIENTE:

 De acuerdo con una encuesta virtual realizada a cincuenta estudiantes de la UNAD,

los amantes de la música de Juanes son 15; mientras que los que únicamente gustan

de la música de Shakira son 20, ¿Cuántos son fanáticos de los artistas si 10 de los

encuestados, entre los 25 que no son fanáticos de Shakira, afirman ser fanáticos de

Juanes?

La solución de este problema debe contar con las siguientes etapas:

A. Describe La necesidad o problema a resolver.

B. Identifica los conjuntos presentes en el problema

C. Elabora un diagrama de ven

D. Describe la solución del problema.

E. Argumenta la validez de tu respuesta.

R/

A. el problema a resolver es encontrar el número de estudiantes que son fanáticos de

los dos artistas a la vez dentro de los encuestados.

B. los conjuntos presentes en el problema son:

1) conjunto universal (50).

3) subconjunto B fanáticos de Juanes

4) conjunto intercesión entre A y B (los que son fanáticos de ambos artistas)

C. .

U= 50

D. primero definimos que el conjunto universal son 50 estudiantes, luego tenemos que

el total de los integrantes del subconjunto B son 15, mientras que los que son

exclusivamente de A son 20, si sabemos que de los 50 25 no pertenecen a A siendo

5 compartidos entre A Y B.

E. podemos verificar la valides de la respuesta de 2 maneras.

1) si tenesmos en cuenta que del conjunto total (50) 20 son exclusivos de Shakira y 25

y no son fans de Shakira hay 5 que no son exclusivos de ella pero si son fans su yos
 2) si tenemos en cuenta que en total son 15 los fans de Juanes y de los25 que no son

fans de Shakira hay 10 que son exclusivamente de Juanes eso quiere decir que 5

restantes son fans de los 2 artistas.

 Considera el siguiente diagrama de venn y contesta los diferentes literales:

Literales a resolver:

Cuantos estudiantes aristotélicos son platónico.

a) Cuales estuantes de filosofía son platónicos.

b) Cuales estudiantes de filosofía son aristotélicos.

c) Cuales estudiantes de filosofía no son aristotélicos.

d) Cuales estudiantes de filosofía no son platónicos.

e) Cuales estudiantes son platónicos o aristotélicos.

g) Cuales estudiantes son platónicos pero no son aristotélicos.

h) Cuales estudiantes son aristotélicos pero no son platónicos.

i) Cuales estudiantes no siguen ninguna corriente filosófica.

j) Cuales estudiantes siguen al menos una corriente filosófica.

k) Cuales estudiantes siguen por lo menos una corriente filosófica.

l) Cuales estudiantes siguen dos corrientes filosóficas.

m) Cuales estudiantes siguen solo una corriente filosófica.

n) Cuantos estudiantes siguen más de dos corrientes filosóficas.

R/

a) 1

b) diego, marcela, Silvia.

c) Ana, Silvia

d) d. diego, marcela, Carlos, Camilo.

e) Ana, Carlos, Camilo.

f) diego, marcela, Ana.

g) Silvia

h) diego, marcela.

i) Ana

j) Carlos, Camilo

k) diego, marcela, Ana, Silvia.

l) diego, marcela, Ana

m) Silvia
 n) diego, marcela, Ana

o) 1

3. El ejercicio consiste en transformar expresiones dadas en lenguaje natural al lenguaje

simbólico, y posteriormente, construir la correspondiente tabla de verdad. Miremos el

ejemplo propuesto por Alfredo de año (1974) de un fragmento de Kafka:

´´ese lapso, corto quizá si se le mide por el calendario, es interminable largo cuando,

como yo, se ha galopado a través de él´´

(p→q) ^ (r→-q) es decir, la expresión equivalente en la que se evidencian los conectivos

lógicos es:

´´ si se le mide por el calendario, entonces ese lapso de tiempo es corto, y si se ha

galopado, como yo, a través de él, entonces es irremediablemente largo.´´

Ejercicios a resolver:

a) Bien pensado, no hay porque ser bien pensante.

b) En caso de que sople el viento, podemos navegar a vela.

c) Si alguien escribe como Borges, entonces puede disculpársele todo.

d) ´´la vida es larga si es plena; y se hace plana cuando el alma ha recuperado la

posesión de su bien propio y la transferido a si el dominio de sí misma´´(séneca).

a. Expresión en lenguaje natural en la que se evidencien los conectivos

lógicos.

b. Declaración en lenguaje natural.

c. Expresión en lenguaje natural

d. Tabla de verdad.

a. R/

a) Si bien pensado, entonces no hay por qué ser bien pensado.

b) P: bien pensado

-q: no hay porque ser bien pensado.

c) P → -Q

d) P Q -Q P→-Q

V V F F

V F V V

F V F V

F F V V

b. R/

En caso de que sople el viento, podremos navegar a vela.

a) Si en caso de que sople el viento, entonces podremos navegar a vela.

Q: podremos navegar a vela.

c) P → Q

d) P Q P → Q

V V V

V F F

F V V

F F V

c. Si alguien escribe como Borges, entonces puede disculpársele todo.

a) Si alguien escribe como Borges, entonces puede disculparse todo.

b) P: si alguien escribe como Borges , Q: entonces puede disculparse le

todo

c) P → Q

d) P Q P → Q

V V V

V F F

F V V

F F V

d. La vida es larga si es plena; y se hace plena cuando el alma ha recuperado la

posesión de su bien propio y ha transferido a si el dominio de si misma.

recuperado la posesión de su bien propio y ha transferido a si el dominio

de sí misma.

b) P: la vida es larga si es plana

Q: y se hace plena cuando el alma ha recuperado la posesión de su bien

propio

R: y ha transferido así el dominio de sí misma

c) P ^ Q ^ R

d) P ^ Q ^ R

V V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F

4. Ejemplo:

 Andrés viaja a san Andrés, entonces el viaja en avión.

Premisa 1: Andrés viaja a san Andrés.

Premisa 2: el viaja en avión.

Si P: Andrés viaja a san Andrés

Q: el viaja en avión.

P → Q

Premisa 1: P → Q

Premisa 2: P

Conclusión: Q

 Gene o pierda el semestre, me voy de la universidad, gane el semestre y soy

universitario.

Premisa 1: gene o pierda el semestre

Premisa 2: me voy de la universidad

Conclusión: gene el semestre y soy universitario

P ↔Q R

Simbólicamente

P: gene ⋁ pierda

P o Q

R: me voy de la universidad

P : gane el semestre

¬R: no me fui

(P VQ) → R P

¬R
5. si la mercancía llega y la maquinaria funciona, no incumplimos. Si entregamos a tiempo

conservamos el cliente y el cliente paga. Si el cliente paga todos reciben dinero.

a) P: si la mercancía llega

Q: la maquinaria funciona

-R: no incumplimos

S: si entregamos a tiempo conservamos el cliente

T: el cliente paga

R: incumplimos

b) Premisa 1: P

Premisa 2: Q

Premisa: 3: -R

Premisa 4: S

Premisa 5: T

Premisa 6: R

P1:(P ^Q)¬R

P2: S ^ T

P3: T → U

C: R
 CONCLUCIONES

El aspecto más importante a destacar en el estudio de la lógica matemática es que a

partir del conocimiento de ciertos conceptos básicos, nos enseña a construir e

interpretar situaciones de nuestra vida cotidiana, del día a día es decir de problemas

que se nos puede presentar tanto en nuestro trabajo, en nuestra casa y en general en

nuestro entorno. Pero lo más importante es proponer y plantear soluciones a estod

problemas.
 BIBLIOGRAFIA

http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin

_17_el_mtodo_cientfico.html

http://adria.inaoep.mx/~diplomados/IEMS/libros-texto/BaldorGPyT.PD

Lógica matemática de GEOFFREY ACEVEDO GONZALEZ.