Lógica proposicional.
Una proposición simple es aquella que no puede descomponerse en partes que, a
su vez, sean proposiciones. Las proposiciones complejas se
componen, pues, a partir de proposiciones simples por medio de partículas como y, o, si, entonces, si y solo si, no nunca, jamas., que sirven para conectar o unir proposiciones entre sí. La Lógica proposicional es aquella parte de la lógica que se ocupa
de los razonamientos tomando las proposiciones que los componen como un todo, sin
analizarlas, sin entrar en sus relaciones internas.
Un razonamiento es una serie de enunciados en la cual, a partir de unos
enunciados iniciales (premisas) y siguiendo unas reglas determinadas, se infiere una
conclusión.
Por ejemplo:
En el mes de enero cada día anochece un poco más tarde.
Estamos en el mes de enero.
Por lo tanto, mañana anochecerá un poco más tarde que hoy.
Así pues, razonamiento es un proceso mental que se caracteriza porque en él se
produce el paso de uno o más enunciados (las denominadas premisas) a otro posterior (lo
que denominamos conclusión) que se deriva necesariamente de aquellos.
Denominamos premisas de nuestro razonamiento a cada uno de los enunciados
que utilizamos para defender la idea o enunciado que queremos demostrar.
Denominamos la conclusión de nuestro razonamiento al enunciado que intentamos
demostrar o defender y para el que hemos construido nuestro razonamiento.
Se dice que el razonamiento es válido si la conclusión se deduce necesariamente
de las premisas. En ese caso, si las premisas son verdaderas, entonces la conclusión
también será necesariamente verdadera. Un razonamiento, por tanto, es o no válido en
virtud de su forma o estructura, no en virtud de la verdad o falsedad de las premisas. Los
enunciados pueden ser verdaderos o falsos, pero los razonamientos sólo pueden ser
válidos o no válidos, correctos o incorrectos.
Existen diferentes conectivos:
NEGADOR= ¬ cambiar el valor de la expresión.
CONJUNCIÓN= Λ las 2 proposiciones se cumplen, se pueden unir.
DISYUNCIÓN= V separar las oraciones.
IMPLICACIÓN= → aplicara el entonces.
DOBLE IMPLICACIÓN= ↔ se cumplen cuando las 2 son ciertas.
No hay comentarios.:
Publicar un comentario