La Lgica proposicional es la ms antigua y simple de las formas de lgica. Utilizando
una representacin primitiva del lenguaje, permite representar y manipular aserciones sobre el mundo que nos rodea. Tambin recibe el nombre de Clculo Proposicional. La lgica proposicional permite el razonamiento, a travs de un mecanismo que primero evala sentencias simples y 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 veracidad asignados a las sentencias simples que la conforman. La proposicin es un elemento fundamental de la Lgica matemtica que trabaja solamente con proposiciones o Lgica Proposicional o de Proposiciones. Por eso, lo primero es reconocer que oraciones o frases constituyen proposiciones y cules no. La lgica
La ciencia que se basa en las leyes, modalidades y formas del conocimiento cientfico se conoce bajo el nombre de lgica. Se trata de una ciencia de carcter formal que carece de contenido ya que hace foco en el estudio de las alternativas vlidas de inferencia. Es decir, propone estudiar los mtodos y los principios adecuados para identificar al razonamiento correcto frente al que no lo es. La proposicin Los hombres enuncian. Lo que enuncian son oraciones. Estas oraciones, a su vez, expresarn proposiciones siempre y cuando se traten de oraciones informativas. Entonces, podemos definir a las proposiciones en funcin de las oraciones que las expresan. Podemos decir que una proposicin es el significado de una oracin que cumple una funcin informativa o referencial y que, adems, tiene valor veritativo, es decir, puede ser verdadera o falsa. Inversamente, toda oracin de la que tenga sentido afirmar que es verdadera o falsa, expresar una proposicin. Por ejemplo, si digo No est lloviendo o It isnt raining, estas oraciones expresarn la misma proposicin por tener el mismo significado. El que esa proposicin sea verdadera o falsa depender de las circunstancias o estado de cosas de la realidad en las que ha sido dicha la oracin aseverativa que la expresa. Si hoy llueve, pero maana no, entonces decir hoy No est lloviendo expresar una proposicin falsa, y decir maana lo mismo expresar una proposicin verdadera. La verdad El trmino verdad se usa frecuentemente para significar el acuerdo entre una afirmacin y los hechos o la realidad a la que dicha afirmacin se refiere, 1 o la fidelidad a una idea. La inferencia Una inferencia es una evaluacin que realiza la mente entre proposiciones. En lgica formal, son expresiones bien formadas de un lenguaje formal (EBF) que, al ser relacionadas, permiten trazar una lnea lgica de condicin o implicacin lgica entre las diferentes EBF. De esta forma, parte de lo verdadero a lo falso: posible (como hiptesis) o conocida (como argumento) de alguna o algunas de ellas, puede deducirse la verdad o falsedad de alguna o algunas de las otras EBF. Surge as lo que conocemos como postulado 1 o transformada de una expresin original conforme a reglas previamente establecidas, 2 que puede enmarcarse en uno o varios contextos referenciales diversos, 3 obtenindose en cada uno de ellos un significado como valor de verdad de equivalente. 4
5
6
Es la operacin lgica utilizada en los motores de inferencia de los sistemas expertos. Ideas fundamentales de la logica
Parte de un enunciado general, aplicado a un caso particular, para llegar a una conclusin particular. Hay en el necesidad lgica formal. Ejemplo: Todos los argentinos usan bigote Mi ta es argentina Por lo tanto, mi ta usa bigote. Argumento cuya conclusin es de carcter universal y sus premisas son particulares E3jemplo: El pino es un rbol y es verde.
Validez lgica
Los razonamientos no son ni verdaderos ni falsos, son correcto o incorrectos (validos o invlidos). En Lgica, un razonamiento ser vlido, cuando la conclusin se derive de sus premisas. Ser la conclusin verdadera si las premisas lo son, pero si stas son falsas, y la conclusin tambin, esto no significa que el razonamiento no pueda ser formalmente vlido si lo que dice la conclusin est contenido en las premisas. En la Lgica formal, los sujetos y predicados de las proposiciones se reemplazan por letras, sin tomar en cuenta la verdad o falsedad de las premisas, sino tomndolas solamente como variables. As se toma un camino de inferencias, que garantiza a travs de un examen lgico del lenguaje, que los discursos posean ausencia de contradicciones. Silogismo El silogismo es una forma de razonamiento lgico que consta de dos proposiciones como premisas y otra como conclusin, siendo la ltima una inferencia necesariamente deductiva de las otras dos. El silogismo fue formulado por primera vez por Aristteles, en su obra lgica recopilada como El Organon, de sus libros conocidos como Primeros Analticos. todo silogismo se estructura sobre la base de dos premisas que son aceptadas como ciertas y una tercera que se deduce lgicamente de la relacin entre los conjuntos que se describen en las primeras, y que resulta ser conclusiva. Para entender cmo opera este mecanismo apelemos a un ejemplo clsico: Premisa mayor: Una proposicin general Ej. Todos los hombres son mortales. Premisa menor: Una proposicin especfica Ej. Scrates es un hombre. Conclusin: Basada en las dos premisas anteriores Ej. Scrates es mortal.