Académique Documents
Professionnel Documents
Culture Documents
Cálculo Proposicional
1.Lógica Informal o Cálculo de Predicados o
Cuantificacional
Pensamiento Crítico Lógica Silogística
tradicional
2. Teoría del Significado Lógicas No-Clásicas
3. Teoría de la Verdad 2.Lógica Matemática
4. Teoría de la Implicación Teoría de conjuntos
5. Metalógica Álgebra booleana
Teoría de la prueba
DE QUÉ SE OCUPA LA LÓGICA
CONCLUSIÓN
Secuencia + Proposición
de símbolos (significado del
(oración enunciado en
escrita o virtud del cual
emitida el enunciado es
oralmente) verdadero o
falso)
ENUNCIADOS SIMPLES
Lima es la capital del Perú
2 + 2 = 4
El Sol es una estrella
Carlos Fuentes es un escritor
Hoy es martes
La Universidad es una institución
donde puedes profesionalizarte
ENUNCIADOS COMPLEJOS
El libro y el Hipertexto tienen profundas
diferencias en su vigencia
Parámetros de enunciados:
letras mayúsculas del alfabeto
Símbolos lógicos : (, ), , , ,
,
CONECTIVOS LÓGICOS
1. Álgebra de Boole.
Una variable binaria x es aquella a la que se le asigna
un valor de verdad : 1 ó 0, V ó F, sí ó no.
Conjunción. x ^ y, x · y
Disyunción. x v y, x + y
Disyunción exclusiva. x ∆ y,
Proposiciones compuestas.
Con los conectores lógicos se combinan proposiciones,
tanto atómicas como compuestas. Pero en ocasiones los
resultados pueden ser ambiguos.
Para evitarlo se hace uso de de los signos de
agrupación, dando lugar a expresiones completamente
en paréntesis (ecep).
Para simplificar la interpretación de expresiones se hace
uso de reglas de prioridad o precedencia.
1. La conexión ¬.
2. La conexión ^.
3. La conexión v. 4. La conexión
5. La conexión
6. La conexión →.
7. La conexión ↔.
PRINCIPIOS LÓGICOS O REGLAS
Negación ¬.
Sea x una variable binaria. La función ¬x es verdadera si x es
falsa y viceversa.
Conjunción ^.
Sean x y y dos variables. La función x ^ y es verdadera si y
solo si tanto x como y son verdaderas.
Equivalen a la y: pero, sin embargo, además, no obstante,
aunque, a la vez
Disyunción v.
Sean x y y dos variables. La función x v y es falsa solo si tanto x
como y son falsas. Si x o y son verdaderas, la función es
verdadera.
Disyunción exclusiva v.
Sean x y y dos variables. La función x v y es falsa solo si tanto x
como y tienen el mismo valor de verdad. Si x o y no tienen el
mismo valor, la función es verdadera.
Condicional →. Sean x y y dos variables. La función x → y
es falsa, solo si el antecedente es V y el consecuente es F,
siendo verdadero en todos los demás casos.
Cuando en un párrafo, se encuentran los términos:
“porque, puesto que, ya que, siempre que, cuando, cada
vez que, dado que” son también conectivos lógicos
condicionales. Se caracterizan porque después de cada
uno estos términos está el ANTECEDENTE.
VARIANTES CONDICIONALES
PROPOSICIÓN RECÍPROCA: p → q le corresponde q→p
PROPOSICION INVERSA: p → q le corresponde ¬p → ¬q
PROPOSICIÓN CONTRARECIPROCA: p → q le corresponde
¬q → ¬ p
Bicondicional ↔. Una proposición bicondicional es V
si ambas componentes son V o F a la vez, en otros
caso es F
Sean x y y dos variables. La función x v y es falsa solo si
tanto x como y son falsas. Si x o y son verdaderas, la
función es verdadera.
La negación alternativa o de Shaffer Sean x y y dos
variables. La función x y que se lee “no p o no q” es
Verdadera (V) cuando por lo menos uno de sus
componentes es Falso, es falso ( F) solo cuando los dos
componentes es Falso. p q = ¬ (p ^ q)
La negación conjuntiva o de Nicod . Sean x y y dos
variables. La función x y que se lee “ni p ni q” es
Verdadera (V) sólo cuando sus dos componentes son
falsos, siendo Falsa ( F) solo cuando los dos
componentes es Falso. p q = ¬ (p v q)
Dadas las siguientes declaraciones:
p: Termino de escribir mi programa de computadora antes
del almuerzo
q: Juego tenis por la tarde
r: El sol está brillando
s: Hay poca humedad
Escribe lo siguiente en forma simbólica:
a. Si el sol está brillando yo jugaré tenis esta tarde
b. Terminar de escribir mi programa de
computadora antes del almuerzo es
necesario para jugar tenis esta tarde.
c. La baja humedad y el brillo del sol son
suficientes para jugar tenis esta tarde.
NOMBRE CONECTOR SÍMBOLO
Conjunción Y ^
Equivalencia Si y solo si ↔
Incompatibilidad Shaffer ↑
NOTA:
LA NEGACIÓN (~,¬ ) NO ES UN CONECTIVO, ES UN OPERADOR QUE
DETERMINA EL GRADO CONTRARIO DE UNA PROPOSICIÓN O DE
UN SISTEMA PROPOSICIONAL
CONSISTENCIA DE LOS CONECTORES BÁSICOS
conectivo sistema lectura Consistencia
Es (v) si p y q ambas
^ p^q Pyq
(v)
Es (f) si p y q ambas
V pvq Poq
(f)
Es (f) si p es (v) y q es
→ p→q Si p entonces q
(f)
↔ p↔ q Es (v) si p y q ambas
P si y solo si q
son del mismo valor
V V F
V F V
V F F
F V V
F V F
F F V
F F F
TABLA DE VERDAD PARA
OPERADORES LÓGICOS
VV V V V V F F F F F
VF F V F F V V F F V
FV F V V F V V F V F
FF F F V V F V V V V
LA EQUIVALENCIA.- fórmulas b y c son
equivalentes cuando unidos por el
bicondicional “↔” el resultado es una
tautología
CONTRADICCIONES :
Siempre en su tabla tiene valores falsos (f).
CONTINGENCIAS :
Siempre tienen en su tabla valores verdaderos Y falsos (v) (f).
PRINCIPALES LEYES
LOGICAS
DENOMINACIÓN REPRESENTACIÓN LÓGICA
P Λ P ↔P
INDENPOTENCIA
PV P↔ P
DOBLE NEGACION ~ ~ P↔ P
PΛ Q ↔ Q Λ P
CONMUTATIVAS
P v Q↔ Q v P
P Λ (QΛ R) ↔ (P Λ Q) Λ R
LEYES ASOCIATIVAS
P v (Q v R) ↔ (P v Q) v R
P Λ (Q v R) ↔ (P ΛQ) v ( P Λ R)
P v (Q Λ R) ↔ (P v Q) Λ ( P v R)
LEYES DISTRIBUTIVAS
[P (QΛ R) ↔ (PQ) Λ (P R)]
[P (Q v R) ↔ (PQ) v(P R)]
~( P Λ Q) ↔ (~ P v ~Q)
LEYES DE MORGAN
~( P v Q) ↔ (~ P Λ ~Q)
LEY DE LA IMPLICACIÓN (PQ) ↔ ~P v Q
LEY DE LA DOBLE IMPLICACION (P ↔Q) ↔ (PQ) Λ (Q P)
LEY DE LA BICONDICIONAL (P ↔ Q) ↔ (P Λ Q) v (~ P Λ ~Q)
DENOMINACIÓN REPRESENTACIÓN LÓGICA
PvF ↔ P
LEY DE LA IDENTIDAD PΛ T ↔ P
P v ~P↔ T
LEYES INVERSAS
P Λ ~ P↔ F
P ΛF↔F
LEY DE DOMINACIÓN
P v T↔ T
P Λ (P v Q) ↔ P
P v (~ P Λ Q) ↔ P
LEY DE ABSORCIÓN
P Λ (P v Q) ↔ P Λ Q
P v (~ P Λ Q) ↔ P v Q
PRINCIPIOS LOGICOS CLASICOS
LEY DE LA NO CONTRADICCIÓN ~ (P Λ ~ P)