ALUMNO:

JOS MANUEL URBINA PREZ

CUATRIMESTRE: 5

TURNO: SABATINO

21 DE ABRIL DE 2012

NDICE Pg.
1. Simbolizacin De Preposiciones...4 1.1 Proposiciones.........8 1.2 Trmino De Enlaces Y Smbolos......8 1.3 Agrupamientos Y Parntesis.....8 1.4 Eliminacin De Algunos Parntesis......8 2. Interaccin Lgica........................................................10 2.1 Reglas de Inferencia Y Demostracin10 2.2 Deduccin Proposicional.....10 2.3 Otras Reglas de Inferencia (Ley De Adicin, conmutativas)...12 2.4 Preposicin Bicondicionales..13 3. Verdad Y Validez... 14 3.1Valores De Verdad Y Trminos De Enlace (Negacin Y Conjuncin, Disminucin).14 3.2 Diagramas De Valores De Verdad.14 3.3 Conclusiones No Validas ......15 3.4 Demostracin Condicional......15 3.5 Consistencia....15 3.6 Tablas De Verdad Y Tautologa....16 4. Representacin Simblica Del Lenguaje Cotidiano19 4.1 Funciones Bsico Del Lenguaje....19 4.2 Predicados...21 4.3 Falacias...22 4.4 Definicin...23 Bibliografa.26

INTRODUCCIN A LA LGICA Es la que determina si un razonamiento es vlido o no. Algunos precursores de la lgica pudieron verificar que esta ciencia casi expresada en su totalidad en palabras no haca posible una fcil aplicacin sobre temas matemticos cuyo procedimiento y desarrollo se quera comprobar, por lo que se introdujo smbolos que representan las definiciones y reglas dadas por la lgica, crendose por consiguiente la lgica simblica, llamada lgica matemtica DEFINICIN La lgica proporciona reglas y tcnicas para determinar si es o no vlido un argumento dado, es la ciencia que estudia el razonamiento inductivo y deductivo. El razonamiento inductivo es aquel que permite llegar a conclusiones generales a partir de observaciones particulares, por el contrario, el razonamiento deductivo nos permite llegar a conclusiones particulares a partir de observaciones generales. La lgica matemtica es una parte de la lgica y las matemticas, que consiste en el estudio matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas. La lgica matemtica tiene estrechas conexiones con las ciencias de la computacin y la lgica filosfica. La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican nociones intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones y computacin. La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas. Actualmente se usan indiferentemente como sinnimos las expresiones: lgica simblica( o logstica), lgica matemtica, lgica teortica y lgica formal.1 La lgica matemtica no es la lgica de las matemticas sino la matemtica de la lgica. Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas matemticamente. La lgica matemtica usa lenguajes formales definidos artificialmente para formular enunciados acerca del mundo al que se refieran en un momento dado nuestros razonamientos, es por ello que en la actualidad tambin se la conoce como la lgica formal o matemtica.

1. SIMBOLIZACIN DE PREPOSICIONES 1.1 Proposiciones Aquellas expresiones lingsticas que tienen una funcin informativa. De ellas tiene sentido decir si son verdaderas o falsas, pero no ambas a la vez. Toda proposicin consta de tres partes: un sujeto, un verbo y un complemento referido al verbo. La proposicin es un elemento fundamental de la Lgica Matemtica. A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica el porqu algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minscula, dos puntos y la proposicin propiamente dicha. Ejemplos: p: Mxico se encuentra en Europa. q: 15-6 = 9 r: 2x -3 > 7 s: Los precios de los telfonos celulares bajarn a fin de ao. t: Hola cmo ests? w: Cmete esa fruta! Los enunciados p y q pueden tomar un valor de falso o verdadero, por lo tanto, son proposiciones validas. El inciso r tambin es una proposicin valida, aunque el valor de falso o verdadero depende del valor asignado a la variable x en determinado momento. La proposicin del inciso s tambin esta perfectamente expresada aunque para decir si es falsa o verdadera se tendra que esperar a que terminara el ao. Sin embargo, los enunciados t y w no son vlidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden. Cada proposicin tiene una forma lgica a la cual se le da un nombre. Se distinguen dos tipos de proposiciones: simples y compuestas. Una proposicin se denomina simple cuando en ella no interviene ninguna conectiva lgica o trmino de enlace (y, o, no, si... entonces..., si y slo si). Si se juntan una o varias proposiciones simples con un trmino de enlace, se forma una proposicin compuesta. 1.2 Trmino De Enlaces Los trminos de enlace, "y", "o", "si...entonces", "si y slo si"; se usan para ligar dos proposiciones, en cambio el trmino de enlace "no" se agrega a una sola proposicin. Ejemplo: Hoy es jueves. Hay clases de matemticas Ambas proposiciones son simples. Con estas proposiciones se pueden construir proposiciones compuestas tales como: Hoy es jueves y hay clases de matemticas. Hoy es jueves o hay clases de matemticas. Si hoy es jueves, entonces hay clases de matemticas. Hoy no es jueves.

La forma de las proposiciones compuestas depende del trmino de enlace utilizado, y no del contenido de la proposicin o proposiciones simples. Es decir, si en una proposicin compuesta se sustituyen las proposiciones simples por otras proposiciones simples cualesquiera, la forma de la proposicin compuesta se conserva. Ejemplo: Hoy es jueves y hay clase de matemticas.

Esta sera la forma de la proposicin. En los cuadros pueden escribirse las proposiciones dadas u otras proposiciones. Para representar las proposiciones se utilizan letras latinas maysculas tales como P, Q, R, etc. Por ejemplo, sea: P: Hoy es jueves. Q: Hay clase de Matemticas. Luego la proposicin: Hoy es jueves y hay clase de matemticas Se simboliza as: P y Q. En el lenguaje corriente se utiliza tambin la palabra "pero" o una "," en vez del trmino de enlace "y". En el siguiente ejemplo se usa el trmino de enlace "o". Es tarde o est muy oscuro. Otro giro de "o" es: O es tarde o est muy oscuro. En este ltimo caso las dos "o" son parte del mismo trmino de enlace y la forma de la proposicin es: Cuando se usa el trmino de enlace: si,... entonces... se obtiene la siguiente forma:

Smbolos Para la "y" se utiliza el smbolo . Para la "o" se utiliza el smbolo . Para el "no" se utiliza el smbolo . Para el "si,... entonces..." se utiliza el smbolo Para el "si y slo si" se utiliza el smbolo Cuando una proposicin compuesta utiliza el trmino de enlace "y" es una conjuncin. Si el enlace se hace mediante la conectiva "o" es una disyuncin. Si se usa el trmino "no" es una negacin. Cuando la conectiva es "si,.... entonces... es una proposicin condicional, y si utiliza "si y slo si" se tiene unbicondicional. En proposiciones que tienen ms de un trmino de enlace es preciso indicar la manera de agruparse, pues distintas agrupaciones pueden tener distintos significados. En el lenguaje corriente, las agrupaciones se presentan de acuerdo a la posicin de ciertas palabras o mediante la puntuacin. En lgica la agrupacin se indica por medio de parntesis. Ejemplo: O los soldados encontraron cerrado el paso, o si temieron un ataque enemigo, se refugiaron en las montaas. Este texto se simboliza de la siguiente forma:

P: Los soldados encontraron cerrado el paso. Q: Los soldados temieron un ataque enemigo. R: Los soldados se refugiaron en las montaas. La proposicin compuesta es: La cual tiene un sentido distinto de la proposicin Cuando no hay lugar a ambigedades, pueden omitirse los parntesis y se adopta una convencin con respecto a la dominancia relativa de los diversos conectivos. La convencin es: Y dominan a y . As: significa Significa . Con esta convencin no est claro lo que significa por ejemplo: . Aqu es necesario usar parntesis para aclarar, en el primer caso, si se trata de . Y en el segundo caso, diferenciar entre Y . 1.3 Agrupamientos Y Parntesis Un lenguaje de primer orden es una coleccin de distintos smbolos clasificados como sigue: 1. El smbolo de igualdad, las conectivas, el cuantificador universal y el parntesis. 2. Un conjunto contable de smbolos de variable. 3. Un conjunto de smbolos de constante. 4. Un conjunto de smbolos de funcin. 5. Un conjunto de smbolos de relacin. As, para especificar un orden, generalmente slo hace falta especificar la coleccin de smbolos constantes, smbolos de funcin y smbolos relacionales, dado que el primer conjunto de smbolos es estndar. Los parntesis tienen como nico propsito de agrupar smbolos y no forman parte de la estructura de las funciones y relaciones. Los smbolos carecen de significado por s solos. Sin embargo, a este lenguaje podemos dotarlo de una semntica apropiada. Los parntesis a utilizarse son circulares, rectngulos y los corchetes. Cada uno seala la extensin de la funcin y elimina la ambigedad. Su uso lo indica el mensaje del enunciado y el sentido comn. Regla De Formulacin De La Formula O Sentencia Los smbolos del lenguaje no se pueden escribir de cualquier manera. Una formula es una secuencia ordenada de smbolos CONVENCIONALES. Una formula bien formulada es la

negacin precede a una formula, cualquier constante, sigue una variable; haciendo buen uso de los parntesis El uso correcto de los parntesis nos permite realizar el clculo Proposicional correcto. Ejemplo: No es cierto que, Alex no estaba enfermo y Mely no la reemplazo en el trabajo. SENTENCIA: ~ (~ p ~ q) La negacin afecta a la conjuncin de las dos proposiciones. Es incorrecto sentenciar ~ p ~ q Es frecuente encontrar proposiciones que tienen ms de un trmino de enlace pero, siempre, uno de los trminos de enlace es el mayor, por esto se le denominar dominante porque es el que acta sobre toda la proposicin. Ejemplo: (p q) r es una conjuncin Los parntesis son smbolos de puntuacin de la lgica. Muestran como est agrupada una proposicin y, por lo tanto, sealan cul es el trmino de enlace dominante. Adoptaremos algunas reglas acerca de la potencia de los trminos de enlace (segn SUPPES- HILL) REGLA 1 El signo es ms potente que los otros trminos de enlace (p q) (r s) puede escribirse p q r s REGLA 2 El signo es ms potente que y . (p q) (rs) puede escribirse pq rs. REGLA 3 El signo de negacin (~) es ms dbil que cualquiera de los otros trminos de enlace. ~ pq (conjuncin) no es lo mismo que ~ (pq) (negacin) REGLA 4 Los signos y son igualmente fuertes. Cuando se presentan ambos en una proposicin, se tienen que poner siempre los parntesis para indicar cul es el trmino de enlace dominante. Ejemplo: p q r no es claro -- (p q) r conjuncin p -- (q r) disyuncin 1.4 Eliminacin De Parntesis Pueden eliminarse los parntesis externos. F ^ G es una abreviatura de (F ^ G) Precedencia de asociacin de conectivas: , ^, _!$. F ^ G! F _ G es una abreviatura de ((F ^ G)! (F _ G)). Cuando una conectiva se usa repetidamente, se asocia por la derecha. F _ G _ H abrevia (F _ (G _ H)) F ^ G ^ H! F _ G abrevia ((F ^ (G ^ H))! (F _ G))

2. INTERACCIN LGICA 2.1 Reglas De Inferencia La inferencia es un procediendo para obtener conclusiones, hay tres tipos de inferencia: Por induccin, por deduccin y por abduccin. Reglas de inferencia o reglas de transformacin son aquellos esquemas formales que nos permiten derivar unas frmulas bien formadas (conclusiones) a partir de otras (premisas). Por ejemplo, la Regla de Eliminacin del Condicional: AB A B Nos permite derivar la frmula p v q de las frmulas p (p v q) y p. Las reglas de inferencia no deben confundirse con las leyes lgicas o tautologas, puesto que stas no pertenecen al metalenguaje del clculo. Primero presentamos los tipos de inferencia, la inferencia vlida en computacin y matemticas y al final una serie de reglas que se utilizan para la inferencia deductiva. La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas. Un argumento, por ejemplo es una inferencia, donde las premisas son los datos o expresiones conocidas y de ellas se desprende una conclusin. Los argumentos basados en tautologas representan mtodos de razonamiento universalmente correctos. Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores de verdad de las variables que contienen. A esos argumentos se les llama reglas de inferencia. Las reglas de inferencia permiten relacionar dos o ms tautologas o hiptesis en una demostracin. Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva. De los cuatro tipos de inferencia sealados anteriormente, en matemticas y computacin solamente se acepta el deductivo para demostraciones formales. Por esta razn se denominan Reglas de Inferencia Deductiva. Reglas de Inferencia Deductiva MPP (Modus ponendo ponens) AB A B MTT (Modus tollendo tollens) AB B A SD (Silogismo Disyuntivo) AB A B SH (Silogismo hipottico) AB

BC AC LS (Ley de simplificacin) AB A LA (Ley de adicin) A AB CONTRAPOSITIVA AB B A 1. Induccin es de lo particular a lo general, esto es de muchas observaciones concluir una regla general. 2. Deduccin es de lo general a lo particular, esto es de una regla general se concluye un caso particular. 3. Abduccin de particular a particular o de general a general. Demostracin Para comprobar que una inferencia es vlida se debe demostrar. Una demostracin es un conjunto de pasos donde el ltimo paso es la conclusin, cualquiera de los siguientes pasos es vlido: o Premisa: en cualquier paso se puede usar una premisa, esto es, lo que suponemos vlidos. o Equivalencias: cualquier paso puede ser un equivalente de un paso anterior. o Regla de Inferencia; en cualquier paso se puede escribir la conclusin de una regla de inferencia si sus premisas son pasos anteriores. o Propiedades previas; cualquier teorema o propiedad conocida puede ser usado en un paso, en particular cualquier inferencia vlida puede ser utilizada. Ejemplo 1. Comprobar que r se infiere de las premisas: p, p q, r &rarr: q Una forma de representar esto es: p, p q, r &rarr: |= r Demostracin Utilizando nicamente MPP 1. p Premisa 2. p q Premisa 3. r q Premisa 4. p q Equivalencia (2) 5. q MPP(1,4) 6. q r Equivalencia (3) 7. r MPP(5,6)

Los primeros tres pasos de la demostracin son las premisas, los pasos 4 y 6 son equivalencias y los pasos 5 y 7 son la aplicacin de la regla MPP con las premisas que se encuentran en el parntesis. Una demostracin como la anterior se llama prueba directa. Para poder hacer una comprobacin como la anterior es conveniente tener algunas identidades y reglas de inferencia vlidas. La demostracin anterior la podemos hacer sin utilizar equivalencias utilizando otras leyes de inferencia adems de MPP. Ejemplo 2: Comprobar p, p q, r &rarr: |= r Demostracin 2 1. p 2. p q 3. r q 4. q 5. r Premisa Premisa Premisa SD(1,2) MTT(3,4)

Generalmente si se utilizan ms reglas de inferencia la demostracin es ms corta. Ejemplo 3: t s, q s, t |= q Demostracin 1 1. t s Premisa 2. q s 3. t 4. s 5. q Demostracin 2 1. t s 3. t 4. s 5. s q 6. q Premisa Premisa MPP(1,3) MTT(2,4)

Premisa Premisa MPP(1,3) Equivalencia (2) MTT(4,5) Como se puede ver la regla de inferencia Modus Tollendo Tollens (MTT), no es necesaria si usamos la equivalencia en el paso 5, sin embargo, muchas personas prefieren usarla porque es un paso menos

2. q s Premisa

10

2.3 Deduccin Proposicional Argumentos deductivos y argumentos inductivos, aunque este tpico de esta separacin de argumentos no es del todo acertado, en los argumentos deductivos se va de lo general a lo particular, y en los enunciados inductivos es al contrario, de lo particular a lo general. Hay dos tipos de deduccin, directa e indirecta. Las directas son las cuales en las que las premisas llevan la conclusin de un modo directo y positivo. La indirecta se da cuando los intentos de obtener una conclusin directa no dan resultado, entonces se dan como un rodeo, as: 1) Suponer de antemano que la conclusin que se desea probar es falsa. 2) Obtener una contradiccin a partir de lo que hemos supuesto anteriormente. 3) No aceptar o rechazar lo que hemos supuesto, al ver el resultado y como consecuencia de esto ltimo, afirmar ya la conclusin deseada. Formulacin de argumentos. Deductor. Reglas de Inferencia El modo tradicional para exponer los argumentos consiste en ver primero las premisas y luego la conclusin a la que se desea llegar, ligada a ellas por partculas como: luego, por tanto, por consiguiente, etc. Por ejemplo: Si suben los salarios, entonces suben los precios; Si suben los precios, entonces baja el poder adquisitivo de la moneda. Es as que suben los salarios. Luego baja el poder adquisitivo de la moneda.

Esto, de una primera forma, se podra representar as: pq qr p Luego r Pero los smbolos lgicos representan una palabra o frase, algunos de ellos son: P, q, r, s, t, = son letras que representan las frases o palabras de las que estn compuestas las premisas y la conclusin. = ste smbolo significa si..entonces = ste smbolo significa y V = ste smbolo significa o = ste smbolo significa si slo si = ste smbolo significa luego.. Estos son los smbolos nos encontraremos en complicadas deducciones en las que, a partir de unas premisas dadas, y de una conclusin tambin dada, habr que determinar paso a paso la conclusin. La lgica deductiva estudia y formula de una manera explcita y rigurosa las reglas de las operaciones deductivas. Estas reglas se llaman, reglas de inferencia. Las premisas que nos dan son cosas que nos suponemos que son verdad, pero justificar su veracidad es algo que no entra dentro de la lgica formal. Pero hay otro tipo de supuestos, que son provisionales, que sirven provisionalmente de apoyo durante la deduccin, pero que estn hasta el final de la deduccin.

11

Una deduccin que parte de supuestos iniciales (no subsidiarios), es una deduccin hipottica, y una deduccin axiomtica es la que tiene premisas, que se apoya en supuestos privilegiados, los axiomas. Una deduccin axiomtica es una demostracin. 2.4 Otras Reglas de Inferencia

12

2.5 Preposicin Bicondicionales Las proposiciones Bicondicionales se caracterizan porque establecen dos condicionales, pero de sentido inverso. La bicondicional de dos proposiciones p, q da lugar a la proposicin; p si y slo si q, se representa por p q su tabla de verdad est dada por: p V V F F q V F V F pq V F F V

El bicondicional puede definirse como la conjuncin de un condicional y su recproco. De este modo la tabla de valores de verdad de pq, puede obtenerse mediante la tabla de (pq) (qp).

Ejemplo: Sicilia es una isla si y slo si est rodeada de agua q p Simbologa: p q 3. VERDAD Y VALIDEZ 3.1Valores De Verdad Y Trminos De Enlace (Negacin Y Conjuncin, Disminucin) Estas tablas pueden construirse haciendo una interpretacin de los signos lgicos como: no, o, y, sientonces, s y slo si, respectivamente. La interpretacin corresponde al sentido que estas operaciones tienen dentro del razonamiento. Puede establecerse una correspondencia entre los resultados de estas tablas y la deduccin lgico matemtica. En consecuencia, las tablas de verdad constituyen un mtodo de decisin para chequear si una proposicin es o no un teorema. Para la construccin de la tabla se asignar el valor 1(uno) a una proposicin cierta y 0 (cero) a una proposicin falsa. El Negacin valor de verdad de la negacin es el contrario de la proposicin negada. p: Sicilia es una isla q: Sicilia est rodeada de agua

13

Es un tipo de proposicin compuesta en la que se afirma que algo no existe, que no es verdad, o que no es como alguien cree o afirma. Para negar una proposicin se le antecede el conectivo no, o equivalentes a l, cuyo smbolo es y se llama negador. Ejemplo: Todo nmero elevado al cuadrado es positivo---- p Negacin: No todo nmero elevado al cuadrado es positivo-- ~p P ~P V F F V Nota: Cuando se niega una proposicin compuesta, se niega al operador de mayor jerarqua en dicha proposicin.

Disyuncin: La disyuncin solamente es falsa si lo son sus dos componentes. La disyuncin de dos proposiciones p, q es la operacin binaria que da por resultado p q, notacin p v q, y tiene la siguiente tabla:

Conjuncin: Solamente si las componentes de la conjuncin son ciertas, la conjuncin es cierta. La conjuncin de las proposiciones p, q es la operacin binaria que tiene por resultado p y q, se representa por p^q. La conjuncin nos sirve para indicar que se cumplen dos condiciones simultneamente. Ejemplo: La funcin es creciente y est definida para los nmeros positivos. Simbolizamos como p ^ q, donde: p: la funcin es creciente q: la funcin esta definida para los nmeros positivos

14

3.2 Diagramas De Valores De Verdad Conector D ~ Valor de verdad V V F F V V Condicin Si ambos tienen igual valor de verdad. Si tienen valores diferentes de verdad. Si el antecedente es verdadero y el consecuente es falso Si ambos son falsos Si ambos son verdaderos Si la proposicin es falsa.

Valores de verdad (B): 1: verdadero y 0: falso. Funciones de verdad: H: {0, 1}! {0, 1} t.q. H (i) = (1, si i = 0; 0, si i = 1. H^: {0, 1}2! {0, 1} t.q. H^ (i, j) = (1, si i = j = 1; 0, en otro caso. H_: {0, 1}2! {0, 1} t.q. H_ (i, j) = (0, si i = j = 0; 1, en otro caso. H! : {0, 1}2! {0, 1} t.q. H! (i, j) = (0, si i = 1, j = 0; 1, en otro caso. H$: {0, 1}2! {0, 1} t.q. H$(i, j) = (1, si i = j; 0, en otro caso. 3.3 Conclusiones No Validas En lgica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la conclusin. Si la conclusin es una consecuencia lgica de las premisas, se dice que el argumento es deductivamente vlido. Algunos consideran estas dos nociones idnticas y usan ambos trminos indistintamente. Otros, sin embargo, consideran que puede haber argumentos vlidos que no sean deductivamente vlidos, como las inducciones. En cualquier caso, de las inducciones a veces se dice que son buenas o malas, en vez de vlidas o invlidas. Ejemplos: 1. Si est soleado, entonces es de da. 1. Si es lunes, entonces es martes. 2. Est soleado. 2. Es lunes. 3. Por lo tanto, es de da. 3. Por lo tanto, es martes. 1. Todos los planetas giran alrededor del Sol. 2. Marte es un planeta. 3. Por lo tanto, Marte gira alrededor del Sol. Ntese que para que un argumento sea deductivamente vlido, no es necesario que las premisas o la conclusin sean verdaderas. Slo se requiere que la conclusin sea una consecuencia lgica de las premisas. La lgica formal establece nicamente una relacin condicional entre las premisas y la conclusin. Esto es: que si las premisas son verdaderas, entonces la conclusin tambin lo es (esta es la caracterizacin semntica de la nocin de

15

consecuencia lgica); o alternativamente: que la conclusin sea deducible de las premisas conforme a las reglas de un sistema lgico (esta es la caracterizacin sintctica de la nocin de consecuencia lgica). Si un argumento, adems de ser vlido, tiene premisas verdaderas, entonces se dice que es slido. No debe confundirse la validez una propiedad de los argumentos, con la validez lgica una propiedad de las frmulas. Se dice que una frmula tiene validez lgica, o que es lgicamente vlida, cuando es verdadera bajo todas las interpretaciones posibles del lenguaje al que pertenece. Por lo dems, el trmino validez lgica est cayendo en desuso frente al trmino verdad lgica para designar a estas frmulas. En los sistemas en los que vale el teorema de la deduccin, todos los argumentos vlidos pueden transformarse en frmulas lgicamente vlidas de la forma, donde las P son las premisas del argumento y C su conclusin. En los sistemas donde vale el converso del teorema, todas las frmulas lgicamente vlidas con la forma pueden transformarse en argumentos vlidos con las P como premisas y C como conclusin. Esto muestra que existe una estrecha relacin entre la validez de los argumentos y la validez lgica de las frmulas. Demostracin de la validez de un argumento Un argumento concreto es vlido cuando tiene la forma de un esquema de argumento vlido. Por ejemplo, considrese los siguientes dos argumentos: 1. O es de da o es de noche. 1. O es varn o es mujer. 2. No es de da. 2. No es varn. 3. Por lo tanto, es de noche. 3. Por lo tanto, es mujer. Estos argumentos son vlidos porque ambos tienen la forma de un silogismo disyuntivo, el cual es un esquema de argumento vlido: 1. O p o q. 2. No p. 3. Por lo tanto, q. Para determinar la validez de un argumento concreto, entonces, alcanza con determinar la validez su esquema de argumento, y esto se puede lograr por medios semnticos o por medios sintcticos. 3.4 Demostracin Condicional Su valor de verdad es falso solamente si de una verdad se llega a una falsedad, en los dems casos ser verdadero. p V V F F q V F V F pq V F V V

16

Si una frmula tiene la forma A B y es una tautologa, en donde A y B pueden ser proposiciones compuestas, entonces decimos que B se desprende lgicamente de A y se representa por A |= B. Tambin podemos considerar tautologas de la forma (p1 p2 ^ ^ pn) q Entonces est implicacin es verdadera sin importar los valores de verdad de cualquiera de sus componentes. En este caso, se dice que q se desprende lgicamente de p1, p2,, pn. Se escribe. p1, p2,, pn |= q O tambin p1 p2 . . . pn q Significa que si se sabe que p1 es verdadera, p2 es verdadera,, y pn tambin es verdadera, entonces estamos seguros que q es verdadera. Prcticamente todos los teoremas matemticos estn compuestos por implicaciones de este tipo. Donde p1, p2, son llamadas hiptesis o premisas, y q es llamada conclusin. Demostrar el teorema, es demostrar que la implicacin es una tautologa. Note que no estamos tratando de demostrar que q (la conclusin) es verdadera, sino solamente que q es verdadera si todas las p1, p2, son verdaderas. Una demostracin directa comienza con las hiptesis, seguidas de las tautologas y reglas de inferencia necesarias, hasta llegar a la conclusin. Una demostracin de este tipo muestra que la verdad de la conclusin Q, se sigue lgicamente de la verdad de la hiptesis P. La demostracin empieza asumiendo que P es verdad para despus, utilizando cualquier informacin disponible, as como teoremas probados con anterioridad, probar que Q es verdad. Ejemplo: Demostrar que el cuadrado de un nmero entero par tambin es par. Demostracin El teorema a demostrar escrito en forma de condicional, sera Para cualquier entero n, si n es par, entonces n2 es par que se corresponde con el esquema

Donde: p(n): n es par. Y el universo del discurso son todos los nmeros enteros. Pues bien, sea n un nmero entero cualquiera.

17

3.5 Consistencia En lgica matemtica, un sistema formal es consistente si no contiene una contradiccin, o, en forma ms precisa, no existe una proposicin tal que se puede demostrar o deducir simultneamente la proposicin y su contraria o no-. La consistencia es la necesidad de que todas las premisas tengan que ser necesariamente y a la vez, como producto, todas verdaderas, para que el argumento, si es consistente, pueda ser vlido o no vlido. Referido al discurso la consistencia tiene que ver con que las implicaciones lgicas del mismo no sean auto contradictorias. Una demostracin de consistencia (o prueba de consistencia) es una demostracin formal de que un sistema formal es consistente. El desarrollo inicial de la teora de la demostracin matemtica fue motivado por el deseo de proveer demostraciones de consistencia finita para todas las matemticas. A pesar de que es posible demostrar la consistencia mediante teora de modelos, por lo general se realiza de una manera puramente sintctica, sin la necesidad de proveer una referencia a algn modelo de la lgica. La eliminacin de corte (o en forma equivalente la normalizacin del clculo subyacente si es que existe uno) implica la consistencia del clculo: dado que obviamente no existe prueba de falsedad que sea libre de corte, no existe por lo tanto contradiccin en general. Los principales resultados relacionados con la consistencia y completitud fueron demostrados por Kurt Gdel:

El teorema de completitud de Gdel indica que toda teora de primer orden consistente es completa con respecto al conjunto consistente mximo de las frmulas que se generan por medio del algoritmo de bsqueda de demostracin. Los teoremas de la incompletitud de Gdel indican que las teoras capaces de expresar su propia relacin de demostrabilidad y de desarrollar un argumento diagonal son

18

capaces de demostrar su propia consistencia solo si son inconsistentes. Estas teoras, si son consistentes, son denominadas teoras esencialmente incompletas. Mediante la aplicacin de estas ideas, se pueden encontrar cuatro tipos distintos de teoras de primer orden: 1. Teoras inconsistentes, que no poseen modelos; 2. Teoras que no pueden analizar su propia relacin de demostracin, tales como la axiomatizacin de Tarski de la geometra del punto y la lnea, y la aritmtica de Presburg. Dado que estas teoras son descriptas en forma satisfactoria por el modelo que se obtiene mediante el teorema de completitud, entonces estos sistemas son completos; 3. Teoras capaces de analizar su propia consistencia, y que incluyen la negacin de la proposicin que asevera su propia consistencia. Este tipo de teoras son completas con respecto al modelo que se obtiene a partir del teorema de completitud, pero contienen como teorema la implicancia de una contradiccin, en contradiccin al hecho de que son consistentes; 4. Teoras esencialmente incompletas. En forma adicional, se ha descubierto recientemente que existe un quinto tipo de teora, las teoras auto verificable, que son lo suficientemente robustas como para analizar su propia relacin de demostracin, pero son demasiado dbiles como para realizar una diagonalizacin de Gdel, y que por lo tanto pueden demostrar en forma consistente su propia consistencia. Sin embargo, una teora que demuestra su propia consistencia no permite obtener ninguna informacin interesante, dado que las teoras inconsistentes tambin demuestran su propia consistencia. 3.6 Tablas De Verdad Tabla de verdad permite concluir sobre el razonamiento lgico queda origen a la misma que dicho razonamiento es vlido. Si P y Q son proposiciones atmicas unidas con conectivas lgicas de la siguiente manera: p v q. Cuntas filas tiene la tabla? 1 proposicin 2 proposiciones 3 proposiciones n proposiciones 2 valores (V o F) 4 valores de verdad 8 valores de verdad 2n valores de verdad.

19

Tautologa

Tautologa es una expresin lgica que es verdadera para todos los posibles valores de verdad de sus componentes atmicos. En lgica se entiende por tautologa aquella proposicin cuya tabla de verdad da siempre el valor de verdad V en todos los casos posibles de los valores de verdad (V, F) de cada una de las proposiciones que la integran, o de un modo ms sencillo: la supuesta explicacin de algo mediante una perogrullada, la explicacin o definicin de algo mediante una ligera variacin de palabras que tienen en conjunto el mismo significado ya conocido de lo supuestamente explicado (Ej.: Existe el calor porque lo provoca el calrico). Tautologa: en todos los casos la forma del argumento ofrece un resultado verdadero, por lo que el argumento es vlido. Seleccin de tautologas 1. F! F (ley de identidad). 2. F _ F (ley del tercio excluido). 3. (F ^ F) (principio de no contradiccin). 4. (F! F)! F (ley de Clavius). 5. F! (F! G) (ley de Duns Scoto). 6. ((F! G)! F)! F (ley de Peirce). 7. (F! G) ^ F ! G (modus ponens). 8. (F! G) ^ G! F (modus tollens). 4. REPRESENTACIN SIMBLICA DEL LENGUAJE COTIDIANO 4.1 Funciones Bsico Del Lenguaje 1. Funcin representativa o referencial 2. Funcin expresiva o emotiva 3. Funcin apelativa o conativa 4. Funcin potica 5. Funcin ftica o de contacto 6. Funcin metalingstica La finalidad bsica del lenguaje es COMUNICAR. Existen diferentes funciones en la comunicacin y se relacionan con los elementos de la comunicacin que son: emisor, receptor, referente o contexto, canal, mensaje y cdigo. 1. Funcin representativa o referencial Comunica hechos, datos, noticias. La atencin en el contexto o entorno fsico, psicolgico y cultural en donde se desarrolla la comunicacin. Ejemplos: Obras didcticas y cientficas, crnicas o reportes periodsticos y mucha de nuestra conversacin diaria. El objetivo de estos mensajes es transmitir informacin. Su rasgo es la objetividad.

20

2. Funcin expresiva o emotiva Expresa emociones, pensamientos u opiniones personales del EMISOR. Se usa en la conversacin cotidiana, abundan las exclamaciones. !!!! Y las expresiones de dolor, alegra e ira. Aparece en los mensajes en los que el emisor deja traslucir su estado de nimo (enfado, alegra, sorpresa...) El mensaje pone el nfasis en los sentimientos y la actitud del emisor. 3. Funcin apelativa o conativa Busca influir en el comportamiento del receptor o interlocutor, el inters se centra en el receptor. Ejemplos las rdenes, un discurso, mensajes publicitarios. Se produce cuando el emisor exige al receptor una respuesta activa o intenta influir en su conducta. Es la funcin que est presente cuando realizamos acciones como llamar a alguien, formular preguntas, pedir, ordenar, prohibir, aconsejar. 4. Funcin potica Destaca la forma de expresin. El inters del emisor se centra en el MENSAJE. Ejemplos, textos literarios, poesas, en las expresiones habituales 4.2 Predicados Es una funcin sobre el conjunto de los trminos y en particular las variables usadas en lgica de primer orden. La lgica de predicados es un lenguaje formal en el que las sentencias bien formadas son producidas por las reglas enunciadas a continuacin. Un vocabulario es una tupla: que consta de: smbolos relacionales , cada uno de ellos con un nmero entero asociado, el cual se conoce como la aridad de smbolos funcionales , cada uno de aridad smbolos constantes Una frmula de primer orden en el vocabulario , es una frmula de primer orden donde los nicos predicados, funciones y constantes empleados son los especificados por . Una -estructura sobre el lenguaje , es una tupla consistente en un conjunto no vaco , el universo del discurso, junto a: 1. Para cada smbolo constante de un elemento .

21

2. Para

cada

smbolo

de

function -aria

-aria

de ,

una

function

-aria , esto es,

. 3. Para cada smbolo de relacin

de , una relacin

-aria sobre

un subconjunto . A menudo, usaremos la palabra modelo para denotar esta estructura. 4.3 Falacias Llamaremos de esta forma a un razonamiento que no es valido. Falacia es un razonamiento no vlido o incorrecto pero con apariencia de razonamiento correcto. Es un razonamiento engaoso o errneo (falaz), pero que pretende ser convincente o persuasivo. Todas las falacias son razonamiento que vulnera alguna regla lgica. As, por ejemplo, se argumenta de una manera falaz cuando en vez de presentar razones adecuadas en contra de la posicin que defiende una persona, se la ataca y desacredita: se va contra la persona sin rebatir lo que dice o afirma. Las falacias lgicas se suelen clasificar en formales y no formales. Falacias No Formales Las falacias no formales son razonamientos en los cuales lo que aportan las premisas no es adecuado para justificar la conclusin a la que se quiere llegar. Se quiere convencer no aportando buenas razones sino apelando a elementos no pertinentes o, incluso, irracionales. Cuando las premisas son informaciones acertadas, lo son, en todo caso, por una conclusin diferente a la que se pretende. Es una falacia ya que es imposible que cuando las premisas sean toda verdaderas la conclusin sea falsa se conoce como implicacin tautolgica de la conclusin. La siguiente tabla de verdad permite concluir sobre el razonamiento lgico queda origen a la misma que dicho razonamiento es vlido:

22

Justificacin de la respuesta: Es falso ya que no existe un razonamiento lgico que cuando sus premisas unidas con el conector lgico y sean verdadero as su conclusin sea falsa y a su vez sea verdadera.

4.4 Definicin Una definicin puede ser una declaracin de las propiedades de cierta cosa o bien una declaracin de equivalencia entre un trmino y el significado de ese trmino. El trmino y su significado no son mutuamente exclusivos ni equivalentes, al contrario, son complementarios. Pueden distinguirse diferentes tipos y tcnicas de definicin, incluyendo: Definicin lexicolgica o de diccionario: el significado del trmino en lenguaje comn, lo ms sencillo posible para llegar a la mxima audiencia. Una definicin lexical es bsicamente descriptiva, (informando del uso del trmino entre los hablantes de un idioma) y no prescriptiva, (que trata de sealar qu es lo correcto sin considerar el uso real que se hace del trmino). Las definiciones lexicolgicas tienden a ser inclusivas, tratando de captar todo a lo que se aplica el trmino, por lo que a menudo resultas demasiado vagas para muchos propsitos. Definicin intencional: es una definicin que nicamente proporciona todas las propiedades que requiere un objeto para caer dentro del campo de la palabra definida. Definicin extensiva o extensional: da el significado de un trmino listando todos los objetos que pertenecen a la clase indicada por el trmino. Ejemplo: Una definicin extensiva de la palabra ocano sera una lista de todos los ocanos de la Tierra. Definicin ostensiva: Define un trmino sealando ejemplos de lo que es definido. Se emplea cuando resulta difcil encontrar palabras descriptivas o cuando se hace para nios. Los nios aprenden gran parte de su lenguaje de una forma ostensiva. Las

23

definiciones ostensivas tienden a ser imprecisas, y no muy tiles cuando uno no conoce la naturaleza general del trmino definido. Ejemplo: Una definicin ostensiva de rojo sera mencionar o sealar manzanas, seales de trfico rojas, rosas rojas. Definicin estipulativa: es un tipo de definicin en la que un trmino a nuevo o bien ya prexistente se le da un nuevo significado para los propsitos de un argumento o una discusin en un contexto dado. Es cuando decimos: para este caso concreto estipulemos que.... Muchos defensores de opiniones controvertidas o beligerantes utilizan definiciones estipulativa para vincular connotaciones emocionales o de otro tipo al significado que desearan que la definicin tuviese. Ejemplo: Supongamos que entendemos por amor el deseo de morir por alguien, o para los propsitos de este argumento definiremos como estudiante a toda persona por debajo de 18 aos matriculada en un colegio local. Definicin operacional: las definiciones operacionales son particularmente tiles en mecnica cuntica, fsica estadstica o relatividad. Se hace una definicin operacional de una cantidad refiriendo el proceso especfico por el que se obtiene su medicin. En psicologa, se puede necesitar una definicin operacional para definir el concepto inteligente, el de debilidad mental o el de idiocia, siendo necesario recurrir a las cifras del cociente intelectual. Ejemplo: En fsica se emplea en las definiciones relacionadas con temperatura, masa o tiempo y otras magnitudes. Definicin teortica: una definicin teortica da el significado de una palabra en los trminos de las teoras de una determinada disciplina. Este tipo de definicin asume el conocimiento y la aceptacin de la teora de la que depende. Las definiciones teorticas son comunes en contextos cientficos, donde las teoras tienden a estar ms precisamente definidas y los resultados son ms ampliamente aceptados como correctos. Definir los colores por medio de las longitudes de onda que reflejan los objetos, presume la teora ondulatoria de la luz. En estos casos la definicin es improbable que sea contradicha por otra definicin basada en otra teora. Sin embargo, en reas como la filosofa o las ciencias sociales las definiciones teorticas de un concepto se contradicen frecuentemente. Ejemplo: El concepto de dialecto es diferente, dependiendo si se define desde una base antropolgica o filolgica. La definicin de Idioma Valenciano es diferente si se asume la teora de la unidad de la lengua catalana o si se asume la teora de la independencia de la lengua valenciana. Definicin persuasiva: es una definicin que trata de ser un argumento a favor de una posicin determinada (en oposicin de una definicin lexicolgica, que trata de ser

24

neutral para ser utilizada por todas las personas posibles). Como tal, cuando una definicin se reconoce como persuasiva deja de aceptarse como legtima, y frecuentemente es considerada como falaz. Ejemplo: Ambrose Bierce incluy enormes cantidades de definiciones persuasivas en su Diccionario del diablo, como Espalda: Parte del cuerpo de un amigo que uno tiene el privilegio de contemplar en la adversidad. Definicin por gnero y diferencia (ya mencionada anteriormente): es un tipo de definicin intencional en la que se define primero el gnero a que pertenece el objeto o idea a definir y despus se mencionan las diferencias de la especie, (no necesariamente zoolgica) definida con respecto a otras especies del mismo gnero. Aunque parece limitarse a la taxonoma en realidad se hace en muchas definiciones de la vida diaria. Ejemplo: coup o cup: automvil de dos volmenes, uno delantero para el motor y uno trasero para el pasaje y el equipaje. Primero se especifica que pertenece al gnero automvil y despus se mencionan las caractersticas particulares de los cups. Definicin circular: la que asume una comprensin anterior del trmino que es definido. Ejemplo: Podemos definir el roble como un rbol que crece a partir de una bellota, y despus definimos la bellota como la nuez producida por un rbol del roble. Definicin precisadora: Las definiciones precisadoras se utilizan en contextos donde la vaguedad de una definicin lexicolgica sera un problema. Muchas definiciones legales son definiciones precisadoras, as como las polticas de las compaas. Se diferencia de la definicin estipulativa en que la definicin precisadora no puede contradecir la definicin lexical, y la definicin estipulativa s puede hacerlo. Ejemplo: Una definicin lexical de estudiante podra ser persona que estudia. Pero un museo que aplica descuentos a los estudiantes necesitara unos criterios mucho ms precisos y restrictivos en esta definicin siendo algo parecido a Persona de edad inferior a 18 aos matriculada en un colegio pblico o privado. Definicin negativa (en contraposicin a la definicin positiva): la que establece lo que no es una determinada cosa.

25

BIBLIOGRAFIA UCA Leccin de lgica3.pdf CENTRO EDUCATIVO DE NIVEL TERCIARIO N 2 INTRODUCCIN A LA LOGICA SIMBOLICA www.wikipedia.com/logica%matematica J.A. Dez Iniciacin a la Lgica, (Ariel, 2002) Cap. 2 (El lenguaje de la lgica proposicional) y 3 (Semntica formal. Consecuencia lgica). C. Badesa, I. Jan y R. Jansana Elementos de lgica formal.(Ariel, 2000)

26