Logica para Computación

Introducción a las Ciencias de la Computación 17 de septiembre del 2010

Logica Matematicas, logica prposicional

Hasta el dia de hoy, nos hemos centrado en analizar, que es la logica proposicional, por que es importante, en donde podemos aplicarla. Deciamos que la logica es quizas el mejor de los lenguajes, el mas eficiente dada la capacidad de expresividad y la claridad que maneja -es decir, no es ambigua-. Una de las cualidades de la logica es su capacidad de transcender mundos, en otras palabras, la logica plantea la existenacia de mundos paralelos en los cuales algunas prposiciones son verdaderas y otras no con respecto a otros mundos, quizas, esto sea una de las grandes fortalezas, dado que se plantea una pluraridad de mundos sobre los cuales se realizan simulaciones de distintas soluciones a un problema.

Halamos acerca de que es una proposición, y su relación con los conceptos de variable e instancia, y como se establecen estructuras o ecuaciones logicas
sobre las es posible validar distintos escenarios, los cuales son determinados por los valores de verdad de las proposiciones. Hablamos acerca de que es una proposición simple o atomica y una compuesta y como los conectivos logicos permiten la articulación entre las proposiciones. De los conevtivos hablamos de la conjunción, la disyunción, la negación, el condicional y el bicondicional, analizabamos como las estructuras relacionadas con estos operadores logicos podian redefinir una formula buscando la manera de reducirla por medio de apalicación de algunas propiedades.

En vista del uso de los operadores logicos para elaborar estructuras logicas, encontrabamos algunos conceptos interesantes que se realizan sobre las formulas, como la reciprocra, contra reciprocra de una formula.

otro concepto importante, y sobre el cual les dejo la inquietud de estudio
es la fortaleza de encontrar estructuras tautologicas y contradicciones.


Nos vemos el lunes, y exitos.