Lógica proposicional

Lógica proposicional

1. Procedimiento lógico y un razonamiento

   • Filosofia
     • Determina validez
   • Matemáticas
     • Utiliza el lenguaje de la lógica y sus reglas o leyes
   • Computación
     • Lenguaje lógico y sistema binario
   • Categorias
     • Verdaderas o falsas (V-F)
       • Simples
         • Expresiones sin término de enlace
       • Compuestas
         • Proposiciones simples, ligadas con un conectivo lógico
           • Conjunción ( ^ )
             • Y
               • Un valor verdadero
           • Disyunción ( v )
             • O
               • Un valor falso
           • Condicional ( → )
             • Entonces
               • Un valor falso
                 • Cuando p: v q:f
           • Disyunción ( ↔ )
             • Si y solo si
               • Dos valores verdaderos
                 • p q: V
                 • p q: F
   • Tablas de verdad
     • Determina el valor de la verdad, proposiciones compuestas
       • Simples
         • Dos posibilidades
           • p: v ~p:f p:f ~p:v
       • Compuesta
         • Probando el valor de verdad proposiciones simples
       • Verifica que sus tablas de verdad son iguales
         • p v q ≡ q v p
         • Taulogia
           • Proposición cuya tabla siempre es verdadera
         • Contradición
           • Proposición cuya tabla de verdad siempre es falsa
   • Función proposicional p (x)
     • x como "variable"
       • Al sustituirlas por contantes se convierten en proposición
     • Elementos del conjunto U hacen la función proposicional
       • Conjunto de verdad de p ( x )
     • Cuantificadores
       • Transformar funciones proposicionales en propociones
       • Cuantificador Universal
         • ∀x: Para todo
       • Cuantificador Existencial
         • Existe por lo menos uno ∃x