Sie sind auf Seite 1von 14

1

PRODUCTO ACADEMICO

EVALUACION NACIONAL POR ABP

GRUPO 200611-51

FABIAN CAMILO ARIZA

Tutor

LUZMILA ROJAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


CEAD JOSE ACEVEDO Y GOMEZ

INGENIERIA DE TELECOMUNICACIONES

BOGOT

2016

1
2

Contenido

INTRODUCCION 3

1 DESARROLLO DEL TRABAJO 4

1.1 Primer aporte 4

1.2 Segundo aporte 5

1.3 Tercer aporte 7

1.4 Cuarto aporte 10

1.5 quinto aporte 12

BIBLIOGRAFA 13

CONCLUSIONES 14

2
3

INTRODUCCION

En el presente documento se especifican los procesos, conceptualizaciones, anlisis y

argumentacin adecuados de procedimientos lgicos y proposicionales utilizados para

demostrar la veracidad y validez de situaciones especificas en el mundo real mediante

conceptos de inferencia lgica; y as verificar si las diferentes tablas de la verdad son

Tautologas, contradicciones o contingencias, de esta manera se proporciona un

conocimiento autmata de la lgica mediante los diferentes documentos de apoyo que

proporciona la Universidad Nacional Abierta y a Distancia.

OBJETIVOS

Facilitar la comprensin del contenido mediante ejemplos y aportes

significativos para el desarrollo de actividades en el mundo actual.

Determinar cada uno de los problemas planteados mediante ejercicios y

temticas aprendidas en el desarrollo del curso.

Permitir el anlisis de cada problema propuesto en las actividades y brindar una

solucin acorde a lo sealado en el curso.

3
4

1 DESARROLLO DEL TRABAJO

1.1 Primer aporte

Se pregunt a 50 docentes de la ECBTI sobre los deportes que practicaban,

obtenindose los siguientes resultados: 20 practican solo futbol, 12 practican futbol y

natacin y 10 no practican ninguno de estos deportes. Con estos datos averigua el

nmero de docentes que practican natacin, el nmero de ellos que solo practican

natacin y el de los que practican alguno de dichos deportes.

Sea F el conjunto de los que practican futbol y N los de natacin.

Nos dicen que 10 no practican ninguna de las dos cosas luego los que practican alguno
son 50 - 10 = 40

Entonces tendremos

|F N| = 40

Pero sabemos que el cardinal de la unin de dos conjuntos es:

|F N| = |F| + |N| - |FN| = 40

Y los otros datos son, solo futbol = 20, eso significa

|F| - |FN| = 20

Sustituyendo arriba

20 + |N| = 40

|N| = 20

4
5

Y otro dato que nos dan es ftbol y natacin = 12 , luego

|FN|=12

Los de solo natacin son:

|N| - |FN| = 20 - 12 = 8

Los que practican algn

|F N| = 40

1.2 Segundo aporte

Si el perrito, el gato y el caballo, como mascotas son abandonados, entonces son

acogidos por la Protectora. Pero el perrito es abandonado, tambin el caballo. Luego,

tanto el perrito como el caballo son acogidos por la Protectora.

5
6

Variables

P:perrito

Q:caballo

R:son abandonados

S:acogidos de la protectora

Proposiciones simples y compuestas

P1: si el perrito, el gato y el caballo como mascotas son abandonados.

P2: son acogidos por la protectora.

P3: el perrito es abandonado tambin el caballo. ((p^q)r).

P4: tanto el perrito como el caballo son acogidos por la protectora.

Lenguaje simbolico

{[(p^q)(r)]s}{[(p^q)(r)][(p^q)s]}

6
7

1.3 Tercer aporte

Si el Rector no pudo dar el discurso o los diplomas no llegasen a tiempo, entonces la

fiesta de graduacin tendra que cancelarse y los estudiantes se enojaran. Si la fiesta se

cancelara, habra que devolver el dinero. No se devolvi el dinero. Por lo tanto, el

Rector pudo dar el discurso.

Las proposiciones simples son:

p = el rector no pudo dar el discurso

q = los diploman llegan a tiempo

r = cancelar la fiesta de graduacin

s = enojarse los alumnos

t = devolver el dinero

7
8

Y las proposiciones compuestas son

1) (~p v ~q)> (r ^ s)

2) r >t

3) ~t

C) p

Donde C es la conclusin

Se cumple ~t, entonces por tollendo tollens sobre 2) tenemos ~r.

Entonces el consecuente de 1) (r ^s) es falso, luego por tollendo tollens sobre 1 se


cumple

~(~p v ~q)

por las leyes de Morgan

~(~p) ^ ~(~q)

por la doble negacin

p^q

Por simplificacin

Luego el argumento est bien, se verifica la conclusin.

{[(~p v ~q) > (r ^ s)] ^ (r > t) ^ (~t)} > p

8
9

La expresin es una tautologa.

9
10

1.4 Cuarto aporte

Ningn hroe es cobarde.

Algunos soldados son cobardes.

Por lo tanto algunos soldados no son hroes.

10
11

Hay cuatro tipos de proposiciones categricas

Todo S es P (Universal afirmativa. Forma A)

Ningn S es P (Universal negativa. Forma E)

Algn S es P (Particular afirmativa. Forma I)

Algn S no es P (Particular negativa. Forma O)

En el silogismo hay tres proposiciones categricas:

Ningn hroe es cobarde.

Es universal negativa, forma E

Algunos soldados son cobardes.

Es particular afirmativa, forma I

Por lo tanto algunos soldados no son hroes.

Es particular negativa, forma O.

11
12

1.5 Quinto aporte

Miguel Indurin, que ha sido el mejor deportista espaol de todos los tiempos, afirma en

un anuncio publicitario, que los productos de repostera de los Hermanos Ortiz son

como hechos en casa.

El razonamiento es un razonamiento invlido, es una falacia.

Es la falacia argumento ad verecundiam. Consiste en basar la veracidad o


falsedad de una afirmacin en la autoridad, fama, prestigio, conocimiento o
posicin de la persona que la realiza.

Tambin se puede decir que es inductivo, la conclusin no tiene porque ser


verdadera sino solamente probable.

12
13

BIBLIOGRAFA

ARYA, JAGDISH C. y LARDNER, ROBIN W. Matemticas aplicadas a la

administracin y a la economa. Quinta edicin. PEARSON EDUCACION. 2009.

WEBGRAFIA

Silogismos categricos [en lnea] disponible en


https://www.youtube.com/watch?v=UqYFBYCvEIo recuperado en Marzo 01 de 2016.

Proposiciones compuestas [en lnea] disponible en


https://matedisunidad3.wordpress.com/2011/10/18/proposiciones-
compuestasdisyuncion-conjuncion-negacion-condicional-bicondicional/ recuperado en
Febrero Marzo 03 de 2016.

Tablas de la verdad [en lnea] disponible en


http://www.ecured.cu/Tablas_de_la_verdad Recuperado en Marzo 04 de 2016.

Tablas de la verdad [en lnea] disponible en


http://universologico.blogspot.com.co/p/tablas-de-verdad.html Recuperado en Marzo 04
de 2016.

Introduccin a lgica [en lnea] disponible en


http://www.zweigmedia.com/MundoReal/logic/logic3.html Recuperado en Marzo 05 de
2016.

Proposiciones compuestas [en lnea] disponible en


https://matedisunidad3.wordpress.com/tag/bicondicional/ Recuperado en Marzo 05 de
2016.

13
14

Tutorial silogismos categricos [en lnea] disponible en http://pltutoriales2014-


1.blogspot.com.co/2014/05/tutorial-maria-rodriguez-silogismos_6.html Recuperado en
Marzo 13 de 2016.

Simulador truth [en lnea] disponible en


http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/ Recuperado en Marzo
13 de 2016.

CONCLUSIONES

En el presente trabajo colaborativo se identificaron diferentes factores problemicos que

se presentan en la vida cotidiana, mediante procedimientos y operacin se logra dar

solucin a los ejercicios propuestos en la gua mediantes lecturas, anlisis y

argumentacin de los problemas, para demostrar la veracidad de los mismos.

14

Das könnte Ihnen auch gefallen