Please enable JavaScript.

Coggle requires JavaScript to display documents.

Lógica proporcional y Operaciones Lógicas (Lógica (Lógica Proposicional…

- - - - ¿Que es?Una proposición es una cadena de signos expresados en un determinado lenguaje. En un lenguaje natural, esos signos usualmente son sonidos o caracteres escritos, es toda afirmación u oración declarativa que expresa algo sobre lo que se pueda
        decir si es verdadero o falso.
        
        Proposiciones complejas
        
        Proposiciones simples
      - ¿Cómo se construyen las proposiciones?
        
        Se usa el Razonamiento
        
        Cálculo de predicados
        
        Establecen propiedades de individuos y
        relaciones entre estos
        
        Cálculo proposicional
        
        Sentencias que expresan relaciones entre
        atributos y cualidades de los objetos
        
        Símbolos de proposición
        
        p,q,r,s,.....K∈Σ
        
        constantes lógicas
        
        ⊥ Falsedad
        
        T Verdadero
        
        Conectivas
        
        ¬ Negación
        
        El dinero no es la felicidad.
        
        Ejemplos
        
        p ¬ q
        
        ∨ Disyunción
        
        El ser humano es bueno o es malo
        
        p ∨ q
        
        ∧ Conjunción
        
        La persona es espíritu y cuerpo.
        
        p∧q
        
        → Implicación
        
        Si corres mucho , entonces te vas cansar
        
        p → q
        
        ↔ Doble implicación
        
        Estarás satisfecho si y solo si comes.
        
        p↔q
        
        Formulas
        
        Tautología
        
        Una fórmula P es una tautología si toda valoración es modelo de ella. (Si P es tautología, entonces es satisfactible)
        
        Satisfactible
        
        Una fórmula P es satisfactible, si existe alguna valoración π que verifique π(P)=1, se dice entonces que π satisface P (π⎥= P), o que π es un modelo de P [π ⊆ Mod(P)].
        
        contingencia
        
        Una fórmula P es una contingencia si existen algunas valoraciones que son modelos de P y otras que no lo son.
        
        contradicción
        
        Una fórmula P es una contradicción si no tiene modelos. (P es contradicción si y sólo si es insatisfactible)
    - - Tablas de verdad
        
        Representan todos los posibles valores veritativos de las
        fórmulas básicas