Lgica simblica

Tambin se llama lgica matemtica, logstica, lgica moderna o lgica terica. La lgica simblica pretende ser una lgica formal en sentido escrito. No hace, referencia a ningn objeto. Posee diferentes caractersticas como: 1) se sirve del clculo como las matemticas 2) se basa en la demostracin exacta, (no como las matemticas) pues le corresponde investigar los fundamentos y demostraciones de las matemticas el ideal de la demostracin rigurosa Por lgica simblica se entiende un desarrollo actual de la lgica formal con base en un simbolismo convencional y una metodologa rigurosa, deductiva pero que intenta alcanzar a la induccin, tambin se le da otros nombres como logstica, lgica matemtica y lgica que se le da por su trato con smbolos especiales. El smbolo es un signo cuyo carcter representativo consiste precisamente en que l es una regla, que determina a su interpretacin. Por tanto la lgica simblica es un cierto lenguaje. La lgica proposicional es una rama de la lgica clsica que estudia las proposiciones o sentencias lgicas, sus posibles evaluaciones de verdad y en el caso ideal, su nivel absoluto de verdad. La lgica proposicional trabaja con sentencias u oraciones a las cuales se le puede asociar un valor de verdad (cierto o falso). Se integra por sentencias declarativas o simplemente proposiciones. Las formas ms normales son importantes por el hecho que permite definir esquemas generales para el tratamiento de estas formula 1. Qu es una proposicin? Es la expresin de un juicio entre dos trminos, que solo puede ser verdadera o falsa, no ambas a la vez. 2. Qu es forma proporcional? Expresin que se transforma en verdadera proposicin, al sustituir la variable o el elemento impreciso, por un elemento fijo. 3. Qu es una proposicin simple? Es cuando concierne a un hecho nico Ejemplo: El ao tiene doce meses El da tiene 24 horas

4. Qu es una proposicin compuesta? Es la combinacin de enunciados simples, en caso contrario se llama atmica. Ejemplo: Tengo fro y estoy temblando. Tengo una guitarra elctrica y una electroacstica. 5. Qu Es Un Enunciado? Segn Pedro chaves, el enunciado es la expresin oral o escrita de una proposicin. En otras palabras, el enunciado es una oracin declarativa (afirmativa o negativa).

Conectivos Lgicas Y Tablas De Verdad

La asociacin de proposiciones produce otras conocidas como compuestas. La construccin de frmulas compuestas requieren del uso de elementos que permiten establecer una relacin entre las proposiciones que la conforman; estos elementos se les conoce como: Conectivas Lgicas

Si tienes dos preposiciones, unidas por la partcula Y la cual es una conectiva lgica. Las conectivas lgicas usadas en la lgica proposicional son cinco y son representadas simblicamente de varias formas. Variable

Para una variable lgica A, B, C,... que pueden ser verdaderas V, o falsas F, los operadores fundamentales se definen as:

1. La Conjuncin ^ La conjuncin de dos proposiciones es verdadera solo cuando ambas son verdaderas, y falsas, si una de las partes o ambas son falsas, se representa as Y = & = ^ Conjuncin Ejemplo: 9 es mltiplo de 3 y 21 es mltiplo de 7 V 9 es mltiplo de 3 y 21 no es mltiplo de 7 F 9 no es mltiplo de 3 y 21 es mltiplo de 7 F 9 no es mltiplo de 3 y 21 no es mltiplo de 7 F

2. La Disyuncin inclusiva V Es verdadera siempre que al menos una de las proposiciones sea verdadera, o cuando ambas partes sean verdaderas, y es falsa cuando ambas partes sean falsas, se representa as O = V Disyuncin inclusiva. Ejemplo: Compro radio o televisor V Compro radio o no compro televisor V No compro radio o compro televisor V No compro radio o no compro televisor F

3. La disyuncin exclusiva V Es verdadera cuando solo una de las componentes es verdadera, y falsa, cuando ambas son verdaderas o ambas son falsas, se representa as O = V Disyuncin exclusiva Ejemplo: Maana a las 5.30 estar en la USAC o en mi casa F Maana a las 5.30 estar en la USAC y no estar en mi casa V Maana a las 5.30 no estar en la USAC y estar en mi casa. V Maana a las 5.30 no estar en la USAC y ni estar en mi casa. F

4. La implicacin o condicional (=>) Esta es verdadera en todos los casos, salvo cuando el antecedente es verdadero y la consecuente falsa, se representa as Si entonces = => Implicacin Ejemplo: Si hace calor, entonces se secara la ropa rpido V Si hace calor, entonces no se seca la ropa rpido F Si no hace calor entonces se secara la ropa rpido V Si no hace calor, entonces no se secara la ropa rpido V

5. La equivalencia, la doble implicacin o incondicional () Esta es verdadera cundo ambas proposiciones son verdaderas o son falsas. Cuando una es verdadera y la otra falsa, entonces la equivalencia es falsa, se representa as Si = si y solo s = Equivalencia. Ejemplo: Comprare casa si el banco me presta el dinero. V Comprare casa si el banco no me presta el dinero F No comprare casa si el banco me presta el dinero F No comprare casa si el banco no me presta el dinero V

6. La negacin y cul es su smbolo ( = ) La negacin de una preposicin es verdadera y si la proposicin es falsa, la negacin es verdadera, se representa as No = = Negacin. El pizarrn del aula de matemticas 1 es rojo V El pizarrn del aula de matemticas 1 no es rojo F El pizarrn del aula de matemticas 1 es morado F El pizarrn del aula de matemticas 1, no es morado V Proposicin y tipos de proposicin Es la expresin de un juicio entre dos trminos puede ser verdadera o falsa. Estn divididas en proposiciones simples y compuestas. Ejemplo: P. Simple: El fuego es indispensable para la cocinar. P. Compuesta: Si tengo saldo hoy, entonces te llamare. Verdadero

El valor verdadero se representa con la letra V; si se emplea notacin numrica se expresa con un uno: 1; en un circuito elctrico, el circuito est cerrado. Falso

El valor falso se representa con la letra F; si se emplea notacin numrica se expresa con un cero: 0; en un circuito elctrico, el circuito est abierto. Construccin de tablas de verdad A travs de estas tablas se puede conocer el valor de verdad de una proposicin que contiene conectivas, determinando el valor de verdad de cada una de las componentes. Estas tablas pueden construirse haciendo una interpretacin de los signos lgicos ya actualizados y la interpretacin corresponder al sentido que estas operaciones tienen dentro del razonamiento. Puede establecerse una correspondencia entre los resultados de estas tablas y la deduccin lgico matemtica.

Tipos de tablas de verdad

Tautologa: Una proposicin compuesta es una tautologa si es verdadera para todas las asignaciones de valores de verdad para sus proposiciones componentes. Dicho de otra forma, su valor V no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea el caso:

Contradiccin: Se entiende por proposicin contradictoria, o contradiccin, aquella proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea el caso:

Contingencia: Se entiende por verdad contingente, o verdad de hecho, aquella proposicin que puede ser verdadera o falsa,(combinacin entre tautologa y contradiccin) segn los valores de las proposiciones que la integran. Sea el caso:

Bibliografa

BARREIRO DE NUDLER, Telma,Elementos de lgica simblica, Buenos Aires: Kapelusz, 1973, 133 p. LANGER, Susanne Katherine, Introduccin a la lgica simblica, quinta edicin, Mxico : Siglo XXI, 1977, p. 315 GIANELLA DE SALAMA, Alicia, Lgica simblica y elementos de metodologa de la ciencia, 2da edicin, Buenos Aires, Argentina: El ateneo, 1982, p. 223.
http://angelarendon.wordpress.com/2011/10/20/3-1-4-tautologias-contradiccion-y-contingencia2/ consultado el 27 de julio de 2013