¿Qué es la Lógica Proposicional?

Lógica es el estudio del razonamiento; se refiere específicamente a si el razonamiento es

correcto. La lógica se centra en la relación entre las afirmaciones y no en el contenido de

una afirmación en particular.

Los métodos lógicos se usan en matemáticas para demostrar teoremas y en las ciencias

de la computación, para probar que los programas hacen lo que deben hacer. (Johnsonbaugh, Richard.2005)

Clasificación de las proporciones.

Posiciones:  oración declarativa que es verdadera o falsa pero no ambas. (Ralph, Grimaldi 1997)
No son proposiciones aquellas declaraciones de tipo interrogativo e
Imperativo.

Simples o Atómicas:

• Negación o Falso:  adj. Incierto y contrario a la verdad. 

• Afirmación o Verdad: Propiedad que tiene una cosa de mantenerse siempre la misma sin mutación alguna. Indubitable, clara y sin tergiversación.

(Real Academia Española 2014).

Compuestas:

Proposición compuesta: combinación de proposiciones por medio de conectivos lógicos.

• Disyunción.

• Conjunción.

• Condicionales o implicación.

• Bicondicional.

• Equivalencia o doble implicación. 

Conectivos lógicos.

La lógica pretende ser una ciencia rigurosa y universal que permita realizar cálculos exactos. Para ello, la lógica requiere el diseño de un lenguaje artificial que sea formal, donde lo que importe sea la forma o aspecto externo, y no el significado de las frases y donde sólo los mensajes que cumplan rigurosamente las normas sintácticas sean aceptados como correctos.

Conectivos: son los elementos del lenguaje que permiten construir frases nuevas a partir de las existentes obteniendo nuevos significados. 

Comparte y danos  tu opinión:

Atrévete  a crear, inventar y comunicar ciencia. 

Autor: 

 José Alexander Cojón Pérez

Profesor Física y Matemática 

 cienciaeducacion100@gmail.com

Fuentes consultadas

Johnsonbaugh, Richard.2005. Matemática Discreta, Sexta edición, PEARSON EDUCACIÓN, México, Página 1. 

Ralph, Grimaldi. 1997. MATEMÁTICAS DISCRETAS Y COMBINATORIA. 

3ra edición. ADDISON-WELEY IBEROAMERICANA. Pagina 51. 

Real Academia Española (2014). Diccionario de la lengua española (23.ª edición).  Recuperado de http://dle.rae.es/?id=HZC1ih6. [Consulta: 31venero. 2018].

Real Academia Española (2014). Diccionario de la lengua española (23.ª edición).  Recuperado de http://dle.rae.es/?id=bbdGpd4. [Consulta: 31venero. 2018].