Lógica
El lenguaje puede emplearse de distintas formas: para pedir algo, o para avisar a alguien, para describir algo que hemos visto o simplemente para expresar una sensación, como cuando gritamos al quemarnos. La lógica es un uso especial del lenguaje que está relacionado con el sentido y la exactitud de lo que decimos.
Aristóteles, que es considerado el pionero en el estudio de la Lógica y su creador en su forma clásica, la consideraba como el arte de la argumentación correcta y verdadera. A los libros que trataban los temas de lógica los tituló "Organon", que significa "instrumento". Estos se centran en el estudio del silogismo, un conjunto de tres presupuestos o juicios que tienen entre si la siguiente relación: el tercero se deriva -se deduce o concluye- de los dos primeros. A los dos primeros les llamamos "premisas" y al último le llamamos "conclusión". Un ejemplo clásico de silogismo es: "Todos los hombres son mortales; Sócrates es un hombre; por lo tanto, Sócrates es mortal".
Siguiendo la definición clásica de lógica, podemos decir que se trata de la ciencia -o el estudio- que trata sobre los razonamientos correctos. Durante muchos siglos se desarrolló también un importante desarrollo sobre los razonamientos incorrectos o falacias, emitidos muchas veces con el ánimo de confundir el razonamiento o el debate con otros interlocutores.
Hoy en día, y gracias a los trabajos de un gran número de matemáticos y filósofos, entre los que podemos destacar a George Boole (1815-1864), G. Peano (1858-1932), Georg Cantor (1845-1918), Gottlob Frege (1848-1925) y Bertrand Russell (1872-1970), se ha desarrollado la lógica simbólica o lógica formal, que se caracteriza por el uso de un lenguaje formal, símbólico, como el que se usa en las matemáticas, así como unas reglas estrictas de transformación entre distintas proposiciones.
Proposicion : Es una expresion u oracion declarativa que puede ser verdadera o falsa.
TIPOS DE ENUNCIADOS
*Simples o atomicos: Aquellas que solo tienen una proposicion
*Compuesto o molecular: Aquellas que se componen de mas de una proposicion
SIMBOLIZACION DE LA LOGICA PROPOSICIONAL
Variables:p,q,r,,,,,,z Constanttes: Auxiliares:() ...,
TABLA DE VERDAD Es un procedimiento grafico para analizar cual es el valor de verdad o falsedad de una proposicion.
DEFINICION DE CONSTANTES
El Conjuntor: Es un funtor o constante que une dos proposiciones simples , se lee "y" Este funtor es verdadero solo cuando son verdaderas las dos proposiciones simples que lo integran
La negacion: Es un funtor que se coloca delante de proposicion y que cambia su valor; se puede leer "no"
El disyuntor: Es otro funtor al igual que el negador y la conjuncion pero este se puede leer "o" .Este funtor siempre es verdadero menos cuando son falsas las dos proposiciones simples que lo forman.
El condicional: Es otro funtor que se lee "si"..."entonces". Unicamente es falso cuando el antecedente es verdadero y el consecuente es falso.
La bicondicional: Es un funtor que une dos proposiciones simples formandouna compuesta .lSe lee "si y solo si"......."entonces".Solamamente esd verdadera cuando las dos premiisas son iguales ya sean verdaderas o falsas.
TAUTOLOGIA, CONTRADICCION Y P.INDETERMINADA
*Segun el resultado de la tabla de verdad, pueden ser:
-Tautologia: Proposición que es siempre verdadera en todos los casos . -Contradiccion: Proposición que en todos los casos es falsa. -P.Indeterminada: Proposición que en algunos casos es falsa y en otros verdaderos.
De Wikipedia, la enciclopedia libre.
[ Volver Atrás ]Enciclopedia Informática |
