LOGICA PROPOSICIONAL

INTRODUCCION

La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la filosofía, matemáticas, computación, física. En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber el significado correcto. En las matemáticos para demostrar teoremas e inferir resultados matemáticas que puedan ser aplicados en investigaciones. En la computación para revisar programas. En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lógico, por ejemplo; Si una persona desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pintó la parte alta porque se mancharía lo que ya tiene pintado, también dependiendo si es zurdo o derecho, él puede pintar de izquierda a derecha o de derecha a izquierda según el caso, todo esto es la aplicación de la lógica.

El orden en que se presenta el documento es el siguiente: Primeramente se establece el concepto de lógica proporcional, seguido de premisas generales (axiomas) y especificas (postulados). Se establece el significado de argumentar, demostración, se define contradicción, hipótesis, mas tarde se aborda las proposiciones compuestas, condicionales y bicondicionales, así mismo se explica que es regla de inferencia.

Es importante mencionar que en las demostraciones no hay un solo camino para llegar al resultado. El camino puede ser más largo o más corto dependiendo de las reglas de inferencia, pero definitivamente deberá llegar al resultado. Puede haber tantas soluciones en la vida que cada quien resuelve sus problemas aplicando las reglas de inferencia para relacionar los conocimientos y obtener el resultado.

LOGICA PROPOSICIONAL

LOGICA PROPOSICIONAL.

Es la parte de la lógica que estudia la formación de proposiciones complejas a partir de proposiciones simples, y la inferencia de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.

Una lógica proposicional es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.

PREMISAS GENERALES (AXIOMA).

Es una proposición que se considera «evidente» y se acepta sin requerir demostración previa. En un sistema hipotético-deductivo es toda proposición no deducida (de otras), sino que constituye una regla general de pensamiento lógico, por oposición a los postulados.

En matemática, un axioma es una premisa que, por considerarse evidente, se acepta sin demostración, como punto de partida para demostrar otras fórmulas. Tradicionalmente los axiomas se eligen de las consideradas «afirmaciones evidentes», porque permiten deducir las demás fórmulas.

PREMISAS ESPECÍFICAS (POSTULADOS).

Es una afirmación con pretensión de ser tenida como verdadera, aunque se halla sujeta a verificación. Proposición que se toma como base para un razonamiento o demostración, cuya verdad se admite sin pruebas.

ARGUMENTAR.

Consistencia y coherencia con hecho de ser algo real, frente a una mera posibilidad lógica, que de fine un mundo o una situación posible en determinado marco teórico que justifica la acción.

DEMOSTRACIÓN.

Es un razonamiento realizado con una lógica válida que progresa a partir de ideas que se dan por ciertas (llamadas HIPOTESIS) hasta la afirmación que se esté planteando, o

...