CONCEPTOS CLAVES

¿QUE ES LÓGICA?

Es una ciencia que estudia el lenguaje científico, su planteamiento, su organización, en entidades jerárquicas y los métodos como sus fórmulas para analizar toda forma escrita. Para comunicarse el ser humano utiliza lenguajes discursivos dichos lenguajes están llenos de partículas lógicas.

Las partículas lógicas: fundamentalmente son los cuantificadores las conectivas con ellas se forman los discursos.

LÓGICA PROPOSICIONAL

Es una rama de la lógica clásica que estudia las variables proposicionales o sentencias lógicas, sus posibles implicaciones, evaluaciones de verdad y en algunos casos su nivel absoluto de verdad. Algunos autores también la identifican con la lógica matemática o la lógica simbolice, ya que utiliza una serie de símbolos especiales que lo acercan al lenguaje matemático.

ENUNCIADO

Llamamos enunciado a cada secuencia delimitada entre dos silencios, marcada por una determinada curva entonativa, y que constituye un mensaje que ofrece sentido completo en una situación dada. El enunciado es, por tanto, una unidad mínima de comunicación.

Los enunciados están constituidos de manera diversa, según las palabras que lo forman y las relaciones que se establecen entre ellas.

 PROPOSICIÓN

La proposición es un sintagma más reducido que la oración. Y por lo tanto, cualquiera que sea su estructura, estará siempre incluida en la oración.

Tanto la oración como la proposición son unidades semánticas, sintácticas y fonéticas. La diferencia estriba en que la proposición es una unidad menor y formante de la oración compuesta, ya sea por coordinación o por subordinación.

Tablas de Verdad

Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.

Para establecer un Sistema formal se establecen las definiciones de los operadores. Las definiciones se harán en función del fin que se pretenda al construir el sistema que haga posible la formalización de argumentos:

• Como razonamientos deductivos lógico-lingüísticos

• Como construcción de un sistema matemático puro

• Como una aplicación lógica en un Circuito de conmutación.

OPERADORES LÓGICOS