ANALISIS Y DESARROLLO DE SISTEMAS DE INFORMACION

LOGiCA MATEMATICA

HECTOR CHICA

SANTIAGO DE CALI 25 DE FEBRERO DE 2014 SENA-CALI.

ANLISIS Y DESARROLLO DE SISTEMAS DE INFORMACIN

INSTRUCTOR: HECTOR CHICA

PRESENTADO POR: JULIO GIRALDO.

SANTIAGO DE CALI 25 DE FEBRERO DE 2014 SENA-CALI.

CUESTIONARIO ADSI 39 1. Realice las conexiones segn los conceptos consultados en gua. 1 2 3
Negaba el cambio, ya que para l cambiar significaba que una cosa deje de ser lo que es. Es un enunciado que puede ser falso o verdadero, pero no ambas cosas a la vez. Uno de los grandes personajes de la historia: su frase clebre slo se que nada se al contrario de lo de su maestro deca; que el individuo nace sabindolo todo, pues el alma antes de venir al mundo de lo material existe en el mundo de las ideas, en donde todo es perfecto. Es un conjunto de afirmaciones o juicios relacionados de manera que se supone que uno de ellos (llamado conclusin) se desprende o infiere del o los otros (llamados premisas). Es una ciencia formal que estudia los principios de la demostracin e inferencia vlida. Sealaba que todo lo que existe es obra del cambio y evolucin. Es una relacin o conjuntos de conceptos que se caracteriza por constituir una afirmacin o aseveracin de algo, es una forma, una estructura del pensamiento que objetivamente es verdadero o falso. Es la expresin verbal o escrita del juicio. Es considerado el padre de la Lgica, sealaba que el ser a travs de la vida.

A LOGICA B ARISTOTELES C VALOR DE VERDAD

D JUICIO

E PARMENIDES

6 7

F RAZONAMIENTO G HERACLITO

H SOCRATES

PROPOSICION

10 humano nace limpio de conocimiento, y que debe adquirirlos

J ENUNCIADO

A. B. C. D. E. F. G. H. I. J.

6 10 2 8 1 5 7 3 8 9 Nota: la 4 es PLATON

2. Desarrolle el siguiente crucigrama

Horizontales 1) Es el primer signo de puntuacin a resolver en cualquier ecuacin. 2) Cuando en el resultado todos los valores de verdad son falsos. 3) permiten determinar el valor de verdad de una proposicin compuesta y depende de las proposiciones simples y de los operadores que contengan. Verticales 1) Es un procedimiento corto y fcil, se necesita conocer los valores de verdad de cada variable y aplicar las tablas de certeza lgica. 2) Cuando en su resultado hay por lo menos una verdad y una falsedad. 3) Es una proposicin que siempre es verdadera, independientemente del valor lgico de las proposiciones simples que la componen.

1 D I 2 C O N T R A D I C C I O N G 3 R 3 T A B L A S D E V E R D A D A M U A 2 T D C O E O L 1 P A R E N T I S I S O R T G B I I O N A L G E N C I A

3. Qu se necesita para matar a un pollo?

R. Tener un pollo vivo, la disposcion para matarlo, u otra manera de matarlo es dejarlo morir de hambre.

4. Si Ana tiene una hija y yo tengo una hermana la hija de Ana seria mi prima? R. No seria nada ya que el enunciado no relaciona a Ana con ningun parentesco hacia m por tanto, mi hermana podria ser cualquiera, pero no Ana en este caso, por ende no es mi prima. 5. En un lejano poblado de un antiguo emirato haba un barbero llamado As-Samet diestro en afeitar cabezas y barbas, maestro en escamondar pies y en poner sanguijuelas. Un da el emir se dio cuenta de la falta de barberos en el emirato, y orden que los barberos slo afeitaran a aquellas personas que no pudieran hacerlo por s mismas. Cierto da el emir llam a As-Samet para que lo afeitara y l le cont sus angustias: En mi pueblo soy el nico barbero. No puedo afeitar al barbero de mi pueblo, que soy yo!, ya que si lo hago, entonces puedo afeitarme por m mismo, por lo tanto no debera afeitarme! Pero, si por el contrario no me afeito, entonces algn barbero debera afeitarme, pero yo soy el nico barbero de all! El emir pens que sus pensamientos eran tan profundos, que lo premi con la mano de la ms virtuosa de sus hijas. As, el barbero As-Samet vivi para siempre feliz. Segn el texto anterior como se puede expresar la paradoja del barbero? R. Si se define al barbero como la persona que afeita a las personas que no se afeitan a s mismas, entonces quin afeita al barbero? Si ste se afeita a s mismo, la afirmacin no sera del todo verdad, por lo que la solucin, segn la teora de original de conjuntos (formulada por Cantor y Frege), es que o le afeita otro barbero o el barbero lleva barba. Lo cierto es que tras el trabajo de Russell se demostr que las situaciones pueden ser verdaderas, falsas o ambas cosas a la vez, lo que dio pie a la teora de conjuntos singulares en la que 'todo conjunto se contiene a s mismo'.

6. Una persona puede pensar sin hacer razonamiento porque? R. Si es posible pensar sin razonar ya que el pensamiento es la actividad y creacin de la mente, dcese de todo aquello que es trado a existencia mediante la actividad del intelecto. El trmino pensamiento es comnmente utilizado como forma genrica que define todos los productos que la mente puede generar incluyendo las actividades racionales del intelecto o las abstracciones de la imaginacin; todo aquello que sea de naturaleza mental es considerado pensamiento, bien sean estos abstractos, racionales, creativos, artsticos, etc. Mientras que razonar es ms complejo que pensar, razonar es parte de la inteligencia, es la capacidad que tiene alguien para resolver un problema por ello una persona puede pensar sin razonar. 7. Relacin entre lgica y anlisis de los sistemas de informacin.
La lgica ocupa un rol central en los estudios de sistemas de informacin tanto en los aspectos ligados al diseo de sistemas como a los aspectos ms estrictamente computacionales, ligados a los desarrollos actuales de la informtica.

R.

Esta afirmacin se funda en los siguientes hechos: A) La lgica proporciona lenguajes formales para representar y analizar problemas de los campos ms diversos y sistemas formales que permiten resolver esos problemas. B) La lgica proporciona las herramientas para formalizar diferentes tipos de inferencias que se emplean tanto en la vida cotidiana como en la actividad cientifica. C) La lgica es la disciplina subyacente a la teoria de la computabilidad, de modo que su dominio es necesario para comprender conceptos como funciones computables y las limitaciones intrinsecas de la computabilidad. D) La lgica posibilita la organizacin de la informacin a travs de sistemas deductivos y no deductivos. E) La logica se aplica en la construccin de sistemas expertos y otro tipo de herramientas informticas F) La lgica se aplica en el desarrollo de lenguajes de programacin (programacin lgica). G) La lgica es una de las disciplinas que constituyen la inteligencia artificial y las ciencias cognitivas. H) Los lenguajes formales que la lgica estudia son aptos para formalizar teorias cientificas.

I) La logica es una condicin necesaria para el anlisis epistemolgico del conocimiento cientifico. J) La lgica comparte con la teoria de circuitos estructuras matemticas, de modo que mtodos de aquella pueden aplicarse en esta. K) La lgica proporciona metodologas para el diseo de sistemas de informacin.

8. Qu es un objeto de pensamiento? R. Puede ser objeto de pensamiento cuanto en una u otra forma llega a nuestra conciencia: los objetos extensos del denominado mundo exterior con sus colores, sonidos, olores y relaciones mutuas, as como los fenmenos psquicos del pensamiento, y la representacin de la sensibilidad y de la voluntad. No podemos pensar en un objeto hasta que se le designe o menciones de algn modo. Para la cantidad imponente de objetos que llegan a nuestra conciencia como objetos posibles de pensamiento, el entendimiento humano ha creado un mecanismo de sorprendente economa. () El problema lgico sobre el origen de las ideas o conceptos no es otro que el de reunir grupos enteros de objetos bajo un solo nombre. La lgica moderna define el concepto en general como la significacin de una palabra, es decir, como lo que nosotros comprendemos, cuando omos las palabras de un lenguaje conocido.Si, desde luego, consideramos los conceptos en general como el contenido o la significacin de palabras conocidas, la funcin de la idea o del concepto consistir en facilitar por medio de una sola palabra el acceso del pensamiento a una parte, mayor o menor, del mundo objetivo. Su significacin consiste en esta relacin de concepto con un crculo mayor o menor de objetos por medio de una palabra nica. En ella radica tambin su calidad esencial, es decir, el carcter de la abstraccin. Todos los conceptos son por naturaleza abstractos. Nosotros pensamos los objetos del mundo exterior e interior con sus cualidades y relaciones, no en las percepciones de los sentidos ni en las representaciones del recuerdo, de la imaginacin o de la abstraccin que llenan nuestra conciencia, ni siquiera en las palabras con que designamos los objetos, sino en y con los conceptos que nos son dados mediante las palabras y nos ofrecen un crculo ms o menos numeroso de objetos en un objeto nico del pensamiento. Todo aquel que comprenda el sentido de las palabras de un idioma conocido, puede observar en s mismo lo que los conceptos son. Todo el que conozca el idioma espaol y oiga la palabra amabilidad comprender este concepto, aunque no se represente ningn objeto de aspecto agradable o amable, ni se forme ninguna representacin general abstracta derivada de de este concepto. Si se me pidiera, podra definir la significacin de la palabra y, si la definicin no fuese completamente exacta, podra, por lo menos, describir su sentido y explicarlo por medio de ejemplos o de comparaciones. En suma: este conocimiento de la significacin de la palabra constituye un

concepto. Segn esto, el concepto es lgicamente igual a su definicin, con la diferencia de que contiene implcitamente lo que la definicin (o determinacin del concepto) contiene explcitamente. 9. Que es epistemologa? R. La epistemologa es la ciencia que estudia el conocimiento humano y el modo en que el
individuo acta para desarrollar sus estructuras de pensamiento. El trabajo de la epistemologa es amplio y se relaciona tambin con las justificaciones que el ser humano puede encontrar a sus creencias y tipos de conocimiento, estudiando no slo sus metodologas si no tambin sus causas, sus objetivos y sus elementos intrnsecos. La epistemologa es considerada una de las ramas de la filosofa.

El trmino epistemologaproviene del griego, significando episteme conocimiento y logos ciencia o estudio. De este modo, su nombre etimolgico establece que la ciencia epistemolgica versar sobre el anlisis del conocimiento, especialmente en lo que se refiere al conocimiento cientfico, aquel que cuenta con un objeto de estudio definido, con mtodos y recursos medibles, con estructuras de anlisis y de generacin de hiptesis.

10. Cules son las caractersticas para que algo sea verdad? R. Se llama criterio de verdad a aquella caracterstica o procedimiento por el cual podemos distinguir la verdad de la falsedad y estar seguros del valor de un enunciado. Entre los criterios que podemos establecer mencionaremos los siguientes: La autoridad. Una afirmacin se acepta como verdadera por proceder de alguien a quien se concede crdito por su conocimiento de la materia. La tradicin. Se toma por verdadero aquello que a lo largo del tiempo se ha aceptado como verdadero y goza de un apoyo popular o institucional. La correspondencia entre el pensamiento y la realidad. Lo que pensamos ser verdadero si al comprobarlo coincide con la realidad emprica. Y como el pensamiento se expresa en el lenguaje, el criterio consiste en establecer la adecuacin o correspondencia entre lo que se dice y lo que es. La comprobacin experimental es una forma de buscar esta adecuacin

La coherencia lgica. Es un criterio lgico-matemtico, que consiste en comprobar que no existe contradiccin entre los enunciados que pertenecen a un mismo sistema y que stos se derivan necesariamente de los axiomas o principios establecidos. La utilidad. Un enunciado ser verdadero cuando sea beneficioso y til para nosotros, cuando nos permita orientarnos en la realidad y avanzar en nuestras investigaciones. La evidencia. Es el criterio fundamental. Es evidente lo que se nos presenta como indiscutible, como intuitivamente verdadero, aunque a menudo sea necesario mostrarlo mediante razonamientos. Segn las fuentes del conocimiento, si atendemos a su origen, podemos encontrar dos tipos de evidencia racional. Atendiendo a la razn se han considerado evidentes los primeros principios como el de identidad (A es A) o el de no contradiccin (no es posible al mismo tiempo A y no A), y atendiendo a la sensibilidad son evidentes los datos de los sentidos, por lo que hablaremos de evidencia racional o evidencia sensible. La intersubjetividad. Para que algo sea admitido como verdadero ha de ser aceptable para cualquier sujeto racional. Este criterio se basa en la idea de que el conocimiento es compartible por todos, no exclusivo de una persona en particular. Aunque es cierto que un solo investigador puede defender la evidencia de una hiptesis cientfica, si sta no es aceptable pblicamente por la comunidad no podr ser admitida como verdadera. La verdad no es algo privado, sino que requiere el consenso de la comunidad. La verdad exige consenso en el sentido de que no es algo misterioso que est reservado a unos pocos o que slo unos pocos puedan alcanzar. La verdad, para serlo, ha de poder ser comunicada y comprendida por todos.