Conceptos Fundamentales de Lógica, Conjuntos y Álgebra
Enviado por Chuletator online y clasificado en Matemáticas
Escrito el en español con un tamaño de 10,65 KB
Conceptos Fundamentales de Lógica, Conjuntos y Álgebra
Lógica Proposicional
- Una argumentación es inválida si y solo si existen asignaciones de valores de verdad a las variables de enunciado de forma que las premisas sean "V" y la conclusión sea "F".
- Una forma enunciativa es contradicción si siempre alcanza el valor falso para cualquier asignación de valores de verdad que damos a las variables de enunciado que intervienen.
- Una forma enunciativa es una expresión formada por una variable de enunciado, una variable de enunciado negada o varias variables de enunciado.
- Conjunción básica: es una forma enunciativa que tiene un único caso verdadero en su tabla de verdad, cuya expresión es de la forma: p1 ∧ p2 ∧ … ∧ pn.
- Forma Normal Conjuntiva: