Logica lógica proposicional y operaciones lógicas
Enlaces https://es.wikipedia.org/wiki/L%C3%B3gica_proposicional - https://definicion.de/proposicion-matematica/#:~:text=Una%20proposici%C3%B3n%20matem%C3%A1tica%20es%20una,la%20falsedad%20de%20su%20enunciado -http://digital.arrobamedellin.edu.co/campus/recursos_iupb/Tec_Desarrollo_Software/S1/Mat_Dis/U2/pdf/LOGICA.pdf - https://www.monografias.com/trabajos58/operaciones-logicas/operaciones-logicas2.shtml
Que es logica:
Es un sistema formal cuyos elementos más simples representan proposiciones
¿Que Son Proposiciones?
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
v disyunción
ᴧ conjunción
→ condicionante
↔ bicondicionante
Clases de Preposiciones
Proposiciones simples o atómicas
Proposiciones compuestas o fórmulas
-Enunciados bien formados a partir de símbolos -primitivos unidos mediante conectivas. LΣ = {P,Q,R,S,K}
- No pueden reducirse a otras más sencillas - Símbolos primitivos Σ = { T,⊥, p,q,r,s,...}
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
Contradiccion
Contingencia
Es aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es V
Es aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es F
Es aquella proposición que puede ser verdadera o falsa, según los valores de las proposiciones que la integran
Ejemplo
no tiene transporte Q = tiene transporte ~Q
Ejemplo
Ejemplo
Ejemplo
Ejemplo
Pedro trabaja o pedro estudia P = pedro trabaja Q = pedro estudia P V Q
Juan habla Y trabaja
P = Juan habla
Q = trabaja
P ᴧ Q
si raul trabaja, salgo temprano
P = raul trabaja
Q = salgo temprano
P → Q
El dia es lindo si y solo si no llueve
P = El dia es lindo
Q = si no llueve
P↔Q
