Republica Bolivariana de Venezuela Ministerio del Poder Popular para la Educacin Universidad Alejando de Humboldt

Integrantes: Williams Miranda Luis Pea Rodolfo Vivas 21481220 24723013

CARACAS, DICIEMBRE DE 2009

INDICE PAG. 3 5 5 5 12 21 23 25

INTRODUCCION .. ORIGEN DE LA TABLA DE LA VERDAD .. QUE ES LA TABLA DE LA VERDAD ANTECEDENTES CONCECTIVOS LOGICOS QUE QUIERE DECIR TAUTOLOGIA Y CONTRADICCION EJEMPLO DE LA TABLA DE LA VERDAD .. CONCLUSIONES BIBLIOGRAFIA ..

INTRODUCCION En forma natural, el ser humano representa el conocimiento simblicamente: imgenes, lenguaje hablado y lenguaje escrito. Adicionalmente, ha desarrollado otros sistemas de representacin del conocimiento: literal, numrico, estadstico, estocstico y lgico. En los organismos biolgicos se estima que el conocimiento es almacenado como estructuras complejas de neuronas interconectadas. En las computadoras, el conocimiento se almacena como estructuras simblicas, pero en forma de estados elctricos y magnticos. La lgica proposicional es la ms antigua y simple de las formas de lgica. Utilizando una representacin primitiva del lenguaje, permite representar y manipular aseveraciones sobre el mundo que nos rodea. y La lgica proposicional permite el razonamiento, a travs de un mecanismo que primero evala sentencias simples luego sentencias complejas, formadas mediante el uso de conectivos proposicionales, por ejemplo Y (AND), O (OR). Este mecanismo determina la veracidad de una sentencia compleja, analizando los valores de verdad asignados a las sentencias simples que la conforman. La historia de la lgica empieza a marcarse a travs de los aos, haciendo aportaciones a ella, pensadores muy renombrados por sus hechos. Cabe sealar que en este documento solo se har referencia a algunos de ellos. Principalmente uno de los ms conocidos es Aristteles, siendo la lgica Aristotlica la base para guiarse y de esta manera

continuar haciendo diferentes estudios y pruebas con el fin de confirmar lo estipulado, siendo as como empezaran a descubrir algunas fallas en esta disciplina. Aristteles se basa bsicamente en el Silogismo. Otro pensador y filosofo y que una de las reas de la lgica lleva su nombre es George Boole con la denomina lgebra de Booleana. Hizo importantes aportaciones a la lgica matemticas como al lgebra. Por ende el lgebra Booleana es considerada como la base para la construccin del switch telefnico y en lo que es la fabricacin de computadoras.

ORGENES DE LA TABLA DE LA VERDAD

La tabla de verdad fue inventada por Charles Peirce en los aos 1880, pero el formato ms usado es el de Ludwig Wittgenstein, quin lo desarroll en el "Tractatus lgico-philosophicus", que fue dado a conocer al pblico en 1918 por Bertrand Russell.

QUE ES LA TABLA DE LA VERDAD

La tabla de los "valores de verdad", es usada en el mbito de la lgica, para obtener la verdad (V) o falsedad (F), valores de verdad, de una expresin o de una proposicin. Adems sirven para determinar si es que un determinado esquema de inferencia es formalmente vlido como un argumento, llegando a la conclusin de que este es una tautologa (se habla de una tautologa cuando todos los valores de la tabla mencionada son "V" o sea verdadero).

ANTECEDENTES CONECTIVOS LOGICOS

Conectivos Lgicos Conectivo Lgico: Es aquel que une dos proposiciones atmicas para formar una molecular continuacin CONJUNCIN Se llama (& "y " de conjuncin dos Existen 5 tipos de conectivos, que ha se "^ ") proposiciones a la proposicin muestran:

molecular unida por el conectivo lgico y Diagrama de Gant Simblicamente se representa: & o ^

Juan est aqu y Erika a salido

Para llegar a una solucin: Se divide la proposicin molecular y se simboliza cada Proposicin A= Juan est aqu B= Erika ha salido Se identifica el conector lgico y se sustituye por su smbolo Solucin: A&B O A ^ B. C= Hace fro D= Est lloviendo Hace fro y est lloviendo. Solucin: C & D

DISYUNCIN

( o" v)

Se llama disyuncin de dos proposiciones a la proposicin molecular unida por el conectivo lgico.....o.......

Diagrama de Gant Simblicamente se representa: v Jessica est con Lemus o est con Argelia

Se divide la proposicin molecular y se simboliza cada Proposicin A= Jessica est con Lemus B= Jessica est con Argelia Se identifica el conector lgico y se une sustituye por su smbolo Solucin: C= Es lunes D= Es martes Solucin: C v D AvB Es lunes o es martes

IMPLICACIN (entonces) Se dice que una proposicin est implicada cuando una proposicin molecular unida por el conectivo lgico.....entonces.......

Diagrama de Gant, Implicacin Simblicamente se representa: Cinthya est enfadada entonces Argelia llego tarde

Se divide la proposicin molecular y se simboliza cada Proposicin A= Cinthya est enfadada B= Argelia lleg tarde Se identifica el conector lgico y se sustituye por cualquiera de sus smbolos Simbolizacin:

A , B

Estoy jugando volley ball entonces estoy feliz C= Estoy jugando volley ball 8

D= Estoy feliz Solucin: C

D
(si solo si)

BICONDICIONAL O DOBLE IMPLICACIN

Se dice que una proposicin tiene una doble implicacin cuando la proposicin molecular est unida por el conectivo lgico si solo si... Abigail es feliz si solo si Alejandro est con ella

Se divide la proposicin molecular y se simboliza cada Proposicin A= Abigail es feliz B= Alejandro est con ella Se identifica el conector lgico y se sustituye por cualquiera de sus smbolos Solucin:

A B

El nmero 10 es un nmero entero si solo si es un nmero real C= El nmero 10 es un nmero entero D= El nmero 10 es un nmero real Solucin: C

A D

NEGACIN ( Sintaxis:

"no")

Se define como lo opuesto al valor de la proposicin

Diagrama de Gant Leonardo no gan la competencia

Debido a que una proposicin debe ser siempre afirmativa, "no" dentro de la Oracin es incorrecto. Para hacer que una proposicin sea negativa se realiza lo siguiente: 1. Se escribe la proposicin de manera afirmativa 2. Se antepone el smbolo Paris no esta en Francia a). Se escribe la proposicin de manera afirmativa: Paris est en Francia b). Se simboliza la proposicin: G= Pars est en Francia 10

c). Se niega la proposicin Por lo que se concluye

G= Pars no est en Francia

El nmero 10 no es un nmero par a). Se escribe la proposicin de manera afirmativa: El nmero 10 es un nmero par b). Se simboliza la proposicin: nmero par c). Se niega la proposicin nmero par Por lo que se concluye Reuniendo todos los conectivos en una tabla segn su importancia, quedara como se muestra: Nombre Simbologa Significado F= El nmero 10 es un F= El nmero 10 es un

Negacin Conjuncin Disyuncin Condicional Bicondicional

, , , , ,

No Y O S...Entonces S y solo s

11

QUE QUIERE DECIR TAUTOLOGA Y CONTRADICCION TAUTOLOGA Es una proposicin compuesta que es verdadera en todos los casos, cualquiera que sea el valor de verdad de sus proposiciones simples. La proposicin tautolgica o tautologa es siempre verdadera por su forma lgica, es decir, por la forma en que se relacionan sus proposiciones simples.

P V V F F

q V F V F

p
F F V V

p p
V V V V

CONTRADICCIN Es una proposicin compuesta que es falsa en todos los casos, cualquiera que sea el valor de verdad de las proposiciones simples. Puesto que la negacin invierte los valores de verdad de una proposicin, al negar una tautologa obtenemos una contradiccin, y viceversa; al negar una contradiccin obtenemos una tautologa. . P V V F Q V F V p F F V p p F F F

12

El trmino tautologa puede referirse a: Tautologa (lgica), un trmino tcnico de la lgica proposicional. Tautologa (retrica), una expresin redundante. Significado de contradiccin Del lat. contradicto, -nis. f. Accin y efecto de contradecir. f. Afirmacin y negacin que se oponen una a otra y recprocamente se destruyen. En lgica, se dice que un argumento es vlido cuando la conclusin se sigue deductivamente de las premisas.[1]
[2]

Mientras de las

premisas y la conclusin se dice que son verdaderas o falsas, de los argumentos se dice que son vlidos o invlidos (entre otras cosas). La validez o invalidez de un argumento no depende de que su conclusin sea verdadera. Un argumento puede tener premisas verdaderas y conclusin verdadera, y an as ser invlido. Por ejemplo: Venus es un planeta. Jpiter es un planeta. Por lo tanto, Mercurio es un planeta. En este argumento, tanto las premisas como la conclusin son verdaderas, pero sin embargo el argumento no es vlido, porque la conclusin no se sigue de las premisas. Podra ser que las premisas sean todas verdaderas, y la conclusin falsa. No es difcil imaginar una situacin en donde Venus y Jpiter sean ambos planetas, y Mercurio no lo sea. Por ejemplo, podra suceder que un da se deje de considerar a Mercurio como un planeta, como sucedi con

13

Plutn, o que por alguna razn Mercurio sea destruido. En cualquiera de estos casos, las premisas seran verdaderas, pero la conclusin falsa. Contrstese esto con el siguiente argumento vlido: Venus es un planeta. Jpiter es un planeta. Por lo tanto, Jpiter es un planeta y Venus es un planeta. Este argumento, aunque poco informativo, es vlido, porque es imposible que las premisas sean verdaderas y la conclusin falsa. Por ejemplo, si alguna catstrofe destruyera Venus, e hiciera falsa una de las premisas, entonces la conclusin tambin dejara de ser verdadera. Cuando un argumento es vlido, se dice que la conclusin es una consecuencia lgica de las premisas. Sentido epistemolgico En sentido epistemolgico, vlido es el conocimiento expresado en una proposicin que es aceptada y reconocida como verdadera. Supone distinguir el hecho en s del conocimiento y su aceptacin como verdadero. As, por ejemplo, Kant distingue entre la validez y el origen del conocimiento. Que el origen de todo conocimiento sea la experiencia no implica que todo conocimiento por el hecho de tener su origen en la experiencia sea verdadero.[3] Lo mismo que un conocimiento puede ser reconocido como verdadero en el contexto de la vida ordinaria, no sindolo en un sentido cientfico. Como por ejemplo afirmar que la manzana "es" roja.[4] A veces la validez adquiere un valor casi metafsico cuando su contenido de verdad apunta no slo al hecho de ser aceptado como

14

verdad sino al fundamento que lo justifica como vlido en funcin de todo el Ser en su conjunto como realidad total. As, por ejemplo, la aceptacin como verdad de la existencia del alma humana apunta al sentido de una vida fundamentada en una vida ms all de la muerte. En otros casos, la validez adquiere su valor mediante sus relaciones con otros seres o conceptos en un mbito determinado del conocimiento, como puede ser una teora cientfica, o una creencia social. El concepto original de "grave" (gravedad) y "leve", hacan referencia a la teora aristotlica segn la cual los "graves" caen a la tierra, las piedras, mientras los "leves" ascienden hacia el cielo, el humo. Hoy tal teora ha desaparecido pero el significado mantiene de alguna forma su sentido original. Lo grave es algo de mucho peso, material o moral, lo leve tiene poco peso material o poca importancia moral. El conocimiento vlido en el campo de la ciencia supone la aceptacin del mismo por la comunidad cientfica dentro del mbito de que se trate, como coherente con una teora, o dentro de un uso tcnico. En cambio el reconocimiento como vlido dentro de un mbito cultural viene a significar la coherencia con los postulados o las normas de la tradicin cultural, tanto como su sentido de verdad en s. Sentido lgico En sentido lgico, vlido se refiere a una verdad formal. Se aplica a los argumentos cuando cumplen con una forma lgica. Cuando el producto de las premisas y su implicacin con la conclusin muestran en su tabla de verdad que es una tautologa.

15

La lgica es una ciencia formal, sin contenido material alguno. La verdad formal no depende del conocimiento verdadero en su sentido epistemolgico, sino que manifiesta su validez por la forma, no por su materia. Un argumento vlido, lgicamente verdadero, puede ser falso en su sentido epistemolgico. De la misma forma que un argumento verdadero invlido. La Lgica trata de fundamentar las inferencias vlidas sin conocimiento material alguno. Suele definirse por eso como la ciencia que estudia las formas vlidas de inferencia, o bien, subrayando un sentido de utilidad, la ciencia que estudia las las formas vlidas de razonamiento. Las formas vlidas de inferencia, leyes lgicas o tautologas, aplicadas como razonamientos lgicamente vlidos, garantizan la verdad de la conclusin cuando el contenido de conocimiento material de las premisas sea epistemolgicamente vlido.

en

sentido epistemolgico puede ser formalmente

Ejemplo

de

razonamiento

lgicamente

verdadero,

vlido, pero falso en su contenido material. Si todos los mamferos tienen alas, y los seres alados vuelan, entonces si los perros son mamferos, los perros vuelan.

Ejemplo de razonamiento lgicamente invlido, que puede ser verdadero en su contenido material.

Si slo los que miden ms de 1.80 juegan al baloncesto, y Antonio mide ms de 1.80, entonces Antonio juega al baloncesto. (Antonio puede o no jugar al baloncesto, porque su verdad o falsedad depende de la experiencia, no de la forma argumentativa, puesto que es un argumento invlido).

16

Ejemplo de razonamiento lgicamente vlido, cuya validez epistemolgica depende de un contexto cultural determinado.

Entre todas las religiones del mundo, una ser la verdadera y todas las dems sern falsas. Es as que la nica religin verdadera es......"La Nuestra". Luego todas las dems son falsas. Validez lgica Se dice que un razonamiento es lgicamente vlido cuando tiene la forma de una ley lgica, lo que equivale a decir que la relacin entre las premisas y la conclusin es tautolgica. Expresado en lenguaje formalizado: Dadas las proposiciones A, B, y C.. N, un argumento vlido es aquel que tiene la forma: (A /\ B /\ C.. /\ N) Z que recibe el nombre de esquema de inferencia, donde se da el caso que el valor de verdad lgica del antecedente V, como producto (conjuncin) de todas las premisas, implica que la conclusin tambin tiene valor de verdad lgica V. De este modo si las premisas son verdaderas en sentido epistemolgico, entonces la conclusin tambin lo es, en sentido epistemolgico. Lo que permite considerar Z como verdad propia, independiente y desligada, es decir una conclusin obtenida a partir de las verdades afirmadas en las premisas como verdaderas.[7] Por lo que definimos la validez como: No puede ser el caso que siendo las premisas verdaderas la conclusin sea falsa. Lnea 1 de la tabla; es el caso de la tautologa. La lnea 2 de la tabla demostrara que el argumento no es vlido. Las dems lneas no hacen al caso por ir en contra del supuesto de la verdad del producto de las premisas, lo que constituira un argumento

17

inconsistente, pues no se dara el caso de que todas las premisas fueran verdaderas a la vez. Este es el argumento que, a sensu contrario, se usa para la prueba de validez que veremos ms adelante; es decir que no es posible que si la conclusin es falsa, puedan ser todas las premisas a la vez verdaderas, que es lo que ocurre en la lnea 2. Ver tabla de valores de verdad Nota: La proposicin met A B C (A /\ B) C 1 V V V 2 V V F 3 V F V 4 V F F 5 F V V 6 F V F 7 F F V 8 F F F V F V V V V V V

alingstica (A /\ B) representa el conjunto, producto lgico, de todas las premisas del argumento; C, representa el posible valor de verdad de la conclusin. Consideracin importante: Hay que tener en cuenta que la validez reside en el esquema, no en la verdad de las proposiciones. Las proposiciones no son vlidas ms que en el sentido epistemolgico, como verdaderas, pero formalmente en sentido lgico pueden ser tanto verdaderas como falsas. Por lo que la validez de un razonamiento slo se garantiza cuando el conjunto de la proposicin como esquema de inferencia es una tautologa, una verdad formal, cuya tabla de valores de

18

verdad es siempre V y nunca F, evitando de esta manera la lnea 2 de la tabla. Si, se diera el caso de que alguna premisa fuera falsa, el valor de verdad del producto sera tambin falso. Sin embargo el argumento sera vlido, con independencia de la verdad o falsedad de la conclusin. (Lneas 3-8). Esto resulta a primera vista chocante, pero, segn la definicin del functor como condicional cuando el valor del antecedente es falso, la funcin hace verdadera a la proposicin con independencia del valor de verdad del consecuente, segn su tabla de verdad que lo define. La paradoja no es tal, puesto que, cuando argumentamos, partimos de la base de la consideracin de que todas las premisas son vlidas, epistemolgicamente verdaderas; en otro caso, la argumentacin no tiene sentido. Eso explica cmo, frecuentemente, usamos la segunda lnea de la tabla de definicin del functor implicador en expresiones como: Si eso que dices es verdad, yo soy el Papa de Roma, donde damos a entender que, al no dar validez a la premisa, la conclusin puede ser cualquiera como argumento vlido, pero epistemolgicamente falso. En la lgica clsica, se deca, ex contradictione quodlibet, lo que viene a decir, que partiendo de una falsedad, cualquier conclusin es posible. Algunos clculos utilizan esta inferencia como regla para demostrar algo conocido de antemano como falso. Por eso en lgica se hace una distincin entre la afirmacin condicional o hipottica y la implicacin.

19

Prueba de validez de un argumento Supongamos el siguiente argumento: p--> (q/\r); p; p-->(s/\t) |- q/\s Su esquema de inferencia sera: [p (q /\ r) /\ p /\ p (s /\ t)] (q /\ s) Podramos comprobar si es o no vlido de las tres formas siguientes:

EJEMPLO DE LA TABLA DE LA VERDAD

a) Al hacer la tabla veramos las condiciones de verdad de cada una de las premisas y su posible o imposible conjuncin, es decir, su consistencia. b) Al mismo tiempo podemos comprobar si se da el caso en que siendo el antecedente verdadero, todas y cada una de las premisas verdaderas, el consecuente fuera falso. De no ser as el esquema dara como resultado una tautologa y mostrara que el argumento es vlido. El inconveniente es que con 5 variables tendramos que hacer una tabla bastante larga y farragosa. La tabla tendra 25 = 32 lneas. Por demostracin o derivacin segn las reglas de un] clculo lgico

Aplicando las reglas derivaramos la conclusin a partir de las premisas. Si es posible, entonces comprobaramos la validez del argumento.
Pero no siempre es fcil la derivacin o, si el argumento es complicado, podra llevarnos mucho tiempo el intentarlo, para tal

20

vez no llegar a una conclusin. No interesa en ese caso embarcarse en el clculo sin garanta de que se vaya a llegar a buen fin. Por la prueba de validez Sea el argumento: p-->(q/\r); p; p-->(s/\t) |- (q/\s) Comprobamos que no puede darse el caso de que las premisas sean verdaderas y la conclusin falsa. Para ello suponemos los valores de verdad de las premisas que hagan que la conclusin sea falsa; y sustituimos dichos valores en los valores de las premisas. Deber aparecer una imposibilidad de que dichos valores hagan verdaderas a todas las premisas. Deber aparecer una contradiccin. Si dicha contradiccin aparece, quiere decir que el argumento es vlido. p v q /\ r /\ p /\ p S /\ t q /\ S v v V v v vf? V v f v F F vf v f v F F vf v F f f F F F V f V v v V V

Vf? ? f f ! vf v

vf ? f f ! vf v vf? V

21

CONCLUSIONES Los sistemas expertos son en este caso la aplicacin que ha estado teniendo mucho de que hablar y de que discutir, con el uso de la lgica se pretende llegar a simular el comportamiento humano mediante premisas o reglas, implcitas en la base de conocimientos. Otra rea muy prctica del uso de reglas e inferencias lgicas es la robtica, supngase que un robot tiene censores como ojos, pies y brazos (al igual un humano). Lo que ocurrir internamente es inferir con respecto a los objetos que se encuentren a su paso del robot, lo que determinar hacia donde moverse. Al igual que los seres humanos tomamos esas decisiones muy a menudo y solo dese cuenta al cruzar una calle en la cual circulan vehculos por ambos sentidos. Tal es el hecho de que la lgica clsica es una de las disciplinas profundizadas por muchos pensadores, (cada uno, en sus tiempos). Mismos que incluso han tenido diferencias significativas respecto a la explicacin descriptiva en lo que respecta a algunas proposiciones ms complejas, como es sabido la lgica tiene ramas que se desprenden de ella, resolviendo de esta manera la mayora de los problemas que tienen un alcance profundo o prolongado en el cual tendran que hacer demasiados clculos. Tal es el caso del calculo de predicados, el cual es complementario de la lgica.

22

Por ende, desde el punto de vista particular se entiende que todas o casi todas las disciplinas y reas que existen utilizan de alguna u otra manera principios lgicos, es decir que con esta se simplifican un poco a diferencia de hacer los procesos de otra manera (si es que existe la forma). Cabe destacar que al correr de los aos esta disciplina ha tenido pequeos cambios para beneficio de la ciencia, as mismo las ramas que de ella se derivan. Sin embargo, aunque se pretenda simplificar al proceso, otro tendr algn modo de dificultad. Solo que eso es lo interesante de poder adentrarse al problema y poder darle la solucin ms factible. Los sistemas expertos son en este caso la aplicacin que ha estado teniendo mucho de que hablar y de que discutir, con el uso de la lgica se pretende llegar a simular el comportamiento humano mediante premisas o reglas, implcitas en la base de conocimientos. Tal es el hecho de que la lgica clsica es una de las disciplinas profundizadas por muchos pensadores, (cada uno, en sus tiempos). Mismos que incluso han tenido diferencias significativas respecto a la explicacin descriptiva en lo que respecta a algunas proposiciones ms complejas, como es sabido la lgica tiene ramas que se desprenden de ella, resolviendo de esta manera la mayora de los problemas que tienen un alcance profundo o prolongado en el cual tendran que hacer demasiados clculos. Tal es el caso del clculo de predicados, el cual es complementario de la lgica. Por ende, desde el punto de vista particular se entiende que todas o casi todas las disciplinas y reas que existen utilizan de alguna u otra manera principios lgicos, es decir que con esta se simplifican 23

un poco a diferencia de hacer los procesos de otra manera (si es que existe la forma). Cabe destacar que al correr de los aos esta disciplina ha tenido pequeos cambios para beneficio de la ciencia, as mismo las ramas que de ella se derivan. Sin embargo, aunque se pretenda simplificar al proceso, otro tendr algn modo de dificultad. Solo que eso es lo interesante de poder adentrarse al problema y poder darle la solucin ms factible.

24

BIBLIOGRAFA

Ferrater Mora, J. (1984). Diccionario de filosofa. Alianza Editorial.

Kuhn, T. (1981). La estructura de las revoluciones cientficas. Fondo de Cultura Econmica.

Mitchell, D (1968). Introduccin a la lgica. Labor. Deao, A. (1974). Introduccin a la lgica formal. Alianza Editorial. ISBN 84-206-2064-5.

Copi, Irving M. (1982). Lgica simblica. Continental. ISBN 968-26-0134-7.

Garrido, M. (1974). Lgica simblica. Tecnos. ISBN 84-3090537-5.

25

26