Logica proposicional

LOGICA: ESCRITURA Y TRASCENDENCIA EN LA VIDA COTIDIANA

INTRODUCCION

La lógica es la disciplina que trata de métodos de razonamiento. Es la encargada de decirnos si un argumento es válido o no mediante técnicas. En esta oportunidad nos enfocaremos en la sintaxis, la importancia, y como esta ha ayudado a la humanidad.

Lógica de las proposiciones:

Las proposiciones son oraciones que suelen ser verdaderas o falsas pero nunca las dos, y que con lógica se puede llegar a saber si es verdad o falsa. Se puede notar en este ejemplo:

-Mañana es miércoles o es jueves

-Mañana no es jueves

-Por lo tanto, mañana es miércoles

Como se puede observar las premisas no pueden ser verdaderas y la conclusión falsa, a menos que las premisas sean falsas entonces la conclusión podría ser falsa. En cambio si las premisas son verdaderas, su conclusión también lo es.

Proposiciones Atómicas:

·         Predictivas: son oraciones que tienen sujeto y un predicado.

·         Relacionales: estas relacionan dos o mas sujetos y pero aun así tienen un predicado

 Proposiciones Moleculares:

En la lógica de proposiciones una oración se transcribe de manera especial, cada proposición se representa con una letra según el alfabeto latino y se representa por letras: p,q,r,s,t y para reconocer si es verdad: (V) o falso: (F). Pero lo más importante de esta lógica son sus conectivas lógicas (Proposiciones Moleculares), que se usan para unir proposiciones y por lo tanto depende de ellas si son o no verdaderas o falsas las cuales son:

• ·         Conjunción: ∧
• ·         Disyunción: ∨
• ·         Implicación: à
• ·         Doble condicional: ßà
• ·         Negación: ¬

Aplicación de la lógica proposicional

Una de las aplicaciones de la lógica proposicional se da en los sistemas de inteligencia artificial (IA).

¿Qué es?

En palabras sencillas, la inteligencia artificial trata de explicar el funcionamiento de la mente utilizando y desarrollo algoritmos para controlar distintas funciones. La inteligencia artificial combina varias áreas, por ejemplo la robótica, sistemas expertos, etc, los cuales comparten el mismo objetivo, el tratar de crear máquinas que puedan pensar o tomar decisiones por sí solas.

La idea principal de la inteligencia artificial es construir máquinas que sean capaces de realizar actividades que nosotros, los seres humanos, somos capaces de realizar.

La lógica proposicional es una parte muy importante en el desarrollo de la inteligencia artificial. Esto lo podemos observar en las siguientes afirmaciones:

·                     Un Agente Basado en Conocimiento (ABC) o que posee inteligencia para tomar decisiones posee conocimiento de su mundo y es capaz de razonar sobre las posibles acciones que puede tomar para cambiar el estado de su mundo tomando alguna decisión.

·                     El agente lo podemos observar como un conjunto de sentencias, que se representa mediante un lenguaje de representación de conocimiento.

Bibliografía:

• http://programacionits.blogspot.com.co/2012/08/logica-proposicional.html
• Conceptos elementales de la lógica matemática - Nelson Becerra Correa