La Pena

Que es la lógica computacional
La lógica computacional es una herramienta fundamental para el progreso de las ciencias computacionales, y sus desarrollos son la base para elaborar soluciones informáticas, tanto en software como en hardware. Esta sirve como conocimiento para los profesionales que aplican adecuadamente el razonamiento lógico tiene mayores posibilidades de éxito, tanto en loprofesional como en lo personal, ya que analizar, saber buscar posibilidades, demostrar o refutar afirmaciones diversas, le permite a quien tiene ese conocimiento y manejo ser un mejor ser humano y por consiguiente un profesional con mayores y mejores aptitudes y actitudes para vivir en una sociedad como la actual, necesitada de ecuanimidad, raciocinio y capacidad de análisis para solucionar sus cadavez más complejos problemas.
Que es la inteligencia artificial
La inteligencia artificial es considerada una rama de la computación y relaciona un fenómeno natural con una analogía artificial a través de programas de computador. La inteligencia artificial puede ser tomada como ciencia si se enfoca hacia la elaboración de programas basados en comparaciones con la eficiencia del hombre,contribuyendo a un mayor entendimiento del conocimiento humano.
Si por otro lado es tomada como ingeniería, basada en una relación deseable de entrada-salida para sintetizar un programa de computador. "El resultado es un programa de alta eficiencia que funciona como una poderosa herramienta para quien la utiliza."
A través de la inteligencia artificial se han desarrollado los sistemas expertos que puedenlimitar la capacidad mental del hombre y relacionan reglas de sintaxis del lenguaje hablado y escrito sobre la base de la experiencia, para luego hacer juicios acerca de un problema, cuya solución se logra con mejores juicios y más rápidamente que el ser humano. En la medicina tiene gran utilidad al acertar el 85 % de los casos de diagnóstico.
Que es la lógica proposicional
La lógicaproposicional 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.
Ley de conjunto
Igualdad de Conjuntos: El conjunto A es igual al conjunto B si ambos tienen los mismos elementos, es decir, si cada elemento de A es también elemento de B y recíprocamente. Luego, podemos escribir:
(A = B) Û (" x)(x Î A Û x Î B).

 
Subconjuntos: Si todo elemento deun conjunto A es también elemento de un conjunto B, entonces se dice que A es un subconjunto de B. Esta relación se denomina relación de inclusión y se denota como: A Ì B.
Simbólicamente esto se puede expresar así:

A Ì B Û (" x)(x Î A Þ x Î B)
Esta relación también se puede leer: "A está contenido en B", "A es una parte de B". Para expresar que A no está contenido en B, escribimos: A Ë B.Con esta definición de subconjunto se puede dar de otra manera la definición de igualdad de dos conjuntos, así:

(A = B) Û (A Ì B) Ù (B Ì A)
Puesto que todo conjunto A es subconjuto de si mismo, se dirá que A es un subconjunto propio de B; si A es subconjuto de B y A no es igual a B. Más brevemente, A es subconjuto propio de B si A Ì B y A ¹ B. Esta situación puede representarse mediante undiagrama así:

Universal: Es el conjunto de todos los elementos en discusión. También se le llama dominio de discusión o referencial. 
El conjunto universal se designa con el símbolo 1. 

Ejemplos

1. En geometría plana el conjunto universal es el de todos los puntos del plano. 
2. En los estudios de población humana el conjunto universal estará formado por todos los seres humanos del...