Please enable JavaScript.

Coggle requires JavaScript to display documents.

Logica lógica proposicional y operaciones lógicas - Coggle Diagram

- - - - Es una expresión algebraica que puede acarrear dos valores: ser verdadera o ser falsa, aunque nunca ambas a la vez.
      - Como se contruyen
        
        ~ negación
        
        Ejemplo
        
        no tiene transporte Q = tiene transporte ~Q
        
        v disyunción
        
        Ejemplo
        
        Pedro trabaja o pedro estudia P = pedro trabaja Q = pedro estudia P V Q
        
        ᴧ conjunción
        
        Ejemplo
        
        Juan habla Y trabaja
        P = Juan habla
        Q = trabaja
        P ᴧ Q
        
        → condicionante
        
        Ejemplo
        
        si raul trabaja, salgo temprano
        P = raul trabaja
        Q = salgo temprano
        P → Q
        
        ↔ bicondicionante
        
        Ejemplo
        
        El dia es lindo si y solo si no llueve
        P = El dia es lindo
        Q = si no llueve
        P↔Q
        
        Tablas de Verdad
        
        es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar
        
        Tautologia
        
        Es aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es V
        
        Contradiccion
        
        Es aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es F
        
        Contingencia
        
        Es aquella proposición que puede ser verdadera o falsa, según los valores de las proposiciones que la integran
      - Clases de Preposiciones
        
        Proposiciones simples o atómicas
        
        No pueden reducirse a otras más sencillas - Símbolos primitivos Σ = { T,⊥, p,q,r,s,...}
        
        Proposiciones compuestas o fórmulas
        
        -Enunciados bien formados a partir de símbolos -primitivos unidos mediante conectivas. LΣ = {P,Q,R,S,K}