Lgica proposicional

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.