Logica Porposicional

INTRODUCCION

Cuando deseamos establecer una verdad, cuando queremos convencer a alguien de que nuestra posición o nuestras ideas son las correctas, recurrimos a un razonamiento o presentamos evidencia que respalda nuestras opiniones. Este razonamiento o evidencia presentada con el propósito de demostrar algo es un argumento. Por supuesto hay buenos y malos argumentos, en términos muy vagos, la lógica es la ciencia que trata de distinguir los buenos argumentos de los malos argumentos.

Con este trabajo se presenta demostrar que la lógica matemática esta en las labores de la vida cotidiana como en el trabajo, en el hogar, en cualquiera de nuestras actividades que desempeñamos en el día a día y así tener una visión clara de cómo cada uno de los temas presentados es aplicable a nuestros quehaceres.

OBJETIVOS

• Identificar las nociones básicas de la lógica matemática y entender la utilidad de la lógica en las ciencias de la computación.

• Formalizar enunciados del lenguaje natural o común, aplicar los operadores lógicos para la simbolización de nuevas proposiciones, aplicar las tablas de verdad en la clasificación de esquemas moleculares y demostración de identidades lógicas, utilizar las principales leyes proposicionales para la reducción de proposiciones a expresiones equivalentes, representar gráficamente una proposición mediante circuitos lógicos, aplicar las reglas de inferencia en la demostración de la validez de argumentos.

• Conocer los fundamentos básicos sobre la teoría de conjuntos y comprender la relación entre la lógica y los conjuntos

PROPOSICIONES

Una proposición lógica es un enunciado lingüístico que debe cumplir con la condición de ser susceptible de poder ser verdadero o falso.

Ejemplo:

El desarrollo de software a la medida es ideal para las empresas “Puede ser verdadero o falso”

Representación de las proposiciones:

p: Java es un lenguaje de programación y es multiplataforma

q: Las bases de datos organizan nuestra información

r : La lógica es fundamental para programar

Lenguaje natural Lenguaje artificial

y ʌ

o v

no ¬

si…..entonces →

...