Resultado de búsqueda
Un documento en formato Word que explica los conceptos básicos de la lógica proposicional, como proposiciones, conectores, operadores, fórmulas, álgebra, tautologías, contradicciones, equivalencias e implicaciones. Incluye definiciones, ejemplos, tablas de verdad y axiomas.
1) Conceptualizar la lógica como ciencia y reconocer su importancia en el avance científico. 2) Definir e identificar proposiciones. 3) Formalizar proposiciones usando variables proposicionales y los conectivos lógicos, y determinar su valor de verdad. 4) Determinar cuando una proposición compuesta es una tautología,
Salustiano Fernández en su tratado: Lógica Proposicional o de Enunciados, cita que: “la tarea de la Lógica Proposicional consiste en ocuparse de estudiar la validez formal de los razonamientos tomando en bloque las proposiciones que los forman, es decir, sin hacer un análisis de tales proposiciones”.
La lógica es la ciencia que tiene por objeto las reglas de validez formal (corrección o no co-rrección) de los argumentos. Un razonamiento es un conjunto de proposi-ciones relacionadas de tal manera que de ellas se deriva necesariamente una proposi-ción distinta (la conclusión). Los juicios de las que partimos se llaman premisas.
sas. Por esta razón emplea sólo variables proposicionales. La lógica de proposiciones estudia las relaciones formales extraproposicionales, es decir, aquellas relaciones existentes entre proposiciones y no las que se dan dentro de ellas. Se la denomina, también, lógica de las proposiciones sin analizar. Dispone de me-
Ejemplo 28: La lógica proposicional LPROP, tiene estructura de álgebra de Boole. Basta con demostrar que la tupla ({F,V}, , , , F, V) cumple la definición de álgebra de Boole. Los elementos de LPROP, las fórmulas de la lógica proposicional, sólo pueden tomar los valores. F o V, o lo que es lo mismo, 0 o 1.
La lógica proposicional es un sistema formal cuyos elementos más simples representan proposicio-nes, ycuyos operadores, llamados conectivos, son capaces de modificarestas proposiciones oconformar otras de mayor complejidad. Este modelo matemático nos ayuda a comprender mejor las formas básicas Lógica Proposicional: El lenguaje 3
