Entradas

El lenguaje de la lógica proposicional back

Imagen
Una expresión proposicional  se construye a partir de algún conjunto de proposiciones  y los conectivos lógicos : Conjunción : para afirmar que dos proposiciones se dan de manera conjunta. Disyunción : para afirmar que dos proposiciones se dan de manera separada. Negación : para negar una proposición. Por ejemplo, asuma las siguientes proposiciones: Hoy es martes. El cielo es azul. 2 + 5 = 6. Entonces podemos formular expresiones como las siguientes: Hoy es martes y el cielo es azul , es la conjunción de hoy es martes  con el cielo es azul . Esta proposición compuesta es verdadera si ambas, hoy es martes  y el cielo es azul  son verdaderas. Hoy es martes o 2 + 5 = 6 , es la disyunción de hoy es martes  con 2 + 5 = 6 . Esta proposición es verdadera si alguna de hoy es martes  y 2 + 5 = 6  es verdadera, aunque no necesariamente ambas. No es verdad que 2 + 5 = 6 , es la negación de 2 + 5 = 6 . Esta proposición es verdadera si es falso que 2 + 5 = 6 ....

Qué es la lógica

Imagen
Aristóteles.  384 a. C. –  322 a. C. La lógica  (del griego logos , razón) es la ciencia que expone las leyes, los modos y las formas del conocimiento formal. La lógica es la ciencia que dirige las operaciones del entendimiento hacia la verdad. Es por tanto la ciencia de la razón . Su objeto  son los propios actos de la razón: la lógica dirige los actos de la razón a fin de que el hombre pueda proceder en la consecución de la verdad de una manera ordenada y sin error. Por tanto la lógica es una ciencia formal . Objeto de todas las ciencias es la investigación de la verdad, pero es exclusivo de la lógica mostrar la manera de proceder en ello con orden y método. Es decir que la lógica es un instrumento  de las otras ciencias. Por tanto, la lógica es una ciencia normativa . ── ⋆⋅☆⋅⋆ ──

Proposiciones

Imagen
Una proposición  es una oración enunciativa : es una manifestación del juicio humano mediante la cual se afirma o se niega algo de alguna cosa. Una proposición consiste de tres elementos: El sujeto , que designa aquella cosa a la cual se atribuye algo. El  predicado , que denota un atributo o cualidad que se relaciona con el sujeto. El  elemento copulativo , que vincula o diverge al sujeto con el predicado. Por ejemplo , la oración  hoy es martes  tiene como sujeto al día de hoy, y está vinculado al predicado  es martes . En ella, el día de hoy está vinculado con la cualidad de ser martes, por lo que tiene un elemento copulativo vinculante. Por otro lado, en la oración  hoy no es martes  el elemento copulativo es divergente, ya que separa al sujeto de la cualidad de ser martes. En ambos casos se dispone de los tres elementos de una proposición y son, por tanto, proposiciones. Dependiendo de la naturaleza de esta relación entre el sujeto y el predi...