Академический Документы
Профессиональный Документы
Культура Документы
Cálculo deductivo en
lógica proposicional
•
Deducción y reglas de inferencia
¡La universidad para todos!
CLASES DE PROPOSICIONES
C
O
N
~ : “no”, “no es cierto que ”
E : “y”
C v : “O”
T
I : “O … O … ”; “o bien … o bien …”
V : “si ….. entonces … ”
O
S : “...... si y solo si ....... ”
L Ejemplos :
O No es cierto que , saturno sea el satélite de la tierra
G
I
C Si dos es un número primo entonces tiene sólo dos divisores
O
S 2 es primo si y sólo si 2 tiene dos divisores
¡La universidad para todos!
Proposición de proposiciones
• La luna es cuadrada ¿Son proposiciones?
• 7 es un número primo • ¿Qué hora es?
• Las arañas son • Por favor, cierre la
mamíferos puerta
• El 6 de abril de 1876
fue sábado
• Dice el Presidente:
“Todos en este país son
unos mentirosos y
esto es verdad”
¡La universidad para todos!
Proposiciones compuestas
Conectivos
• Conocido el valor de verdad de ciertas
proposiciones, la lógica establece el valor
de verdad de otras relacionadas con éstas.
Negación
• Si p es una • ¿Qué sucede con la
proposición, entonces negación de p, siendo
“no p” es la negación p verdadero?
de p y se denota por: • ¿Qué sucede con la
~p negación de p, siendo
Ejemplo: p falso?
p: Hoy es martes
~ p: Hoy no es martes
¡La universidad para todos!
Negación
Conjunción
• Si p y q son • Ejemplos:
proposiciones, se p: Hoy es martes
llama conjunción de p q: La luna es cuadrada
y q a la proposición
r: mañana es miércoles
compuesta “p y q “ y
se denota por:
pq p q :Hoy es martes y
la luna es cuadrada
p r :Hoy es martes y
mañana es miércoles
¡La universidad para todos!
Conjunción
• Además • También
• Pero • Aún
• Sin embargo • A la vez
• Aunque • No obstante
¡La universidad para todos!
Conjunción: p ^ q
Conjunción: p ^ q
Disyunción
Simbolización:
pq
¡La universidad para todos!
Condicional
Si p y q son proposiciones, se llama condicional
de p y q a la proposición compuesta
“si p, entonces q” y se denota por:
pq
• Ejemplos:
• Si no llueve (entonces) iremos a la playa
¡La universidad para todos!
Condicional
12. Ana es profesora o es estudiante pero no puede ser ambas cosas a la vez
¡La universidad para todos!
¡La universidad para todos!
• Conclusión:
• Conclusión:
2. El asesino es bizco
o bien:
2’. El asesino
usa bombín
¡La universidad para todos!
r (p ¬q) r (p ¬q)
r p ¬q
¡La universidad para todos!
Doble Negación: DN
• Premisa:
1. No es el caso que el asesino no fume en pipa
• Conclusión:
2. El asesino fuma en pipa
• Premisa:
1. El asesino tiene bigote
• Conclusión:
2. No es el caso que el no tenga bigote
asesino
¡La universidad para todos!
Doble Negación: DN
¬¬
¬¬
¡CUIDADO!
¬(¬r q)
¬¬ (r q) rq
rq
rq ¬¬ (r q)
¡La universidad para todos!
Conclusión:
• Premisas:
1. Si Gutiérrez es culpable, Fefa le encubre
2. Gutiérrez es culpable
• Conclusión:
3. Fefa encubre a Gutiérrez
¡La universidad para todos!
• Premisas:
1. Si el asesino es calvo, entonces bebe vodka
2. Si el asesino bebe vodka, entonces es calvo
• Conclusión:
3. El asesino calvo si, y sólo si, bebe vodka
es
¡La universidad para todos!
Conclusión:
Gutiérrez es culpable si, y sólo si, ama
a Fefa
¡La universidad para todos!
Premisas y supuestos
Las premisas corresponden a la
• información que
nos viene dada de antemano (los datos
del
• problema o las fórmulas iniciales)
A veces tenemos que introducir a
información
• hipotética para echar a andar un razonamiento:
esto que introducimos lo llamamos supuesto
• Equivale a las ocasiones en que razonamos
comenzando “Supongamos que...”
Hay 2 reglas de inferencia que se basan en el empleo de
supuestos:
¡La universidad para todos!
Reducción al Absurdo: RA
• Supuesto:
(Supongamos que) el asesino no huyó a Cádiz
...bla bla bla... (cadena de inferencias válidas)
Gutiérrez es dentista y no es dentista
• Conclusión:
Reducción al Absurdo: RA
Reglas de simetría
Disyuntor: SD Conyuntor: SC Bicondicional:SB
Modus Tollens: MT
El asesino es Remo
¡La universidad para todos!
¡Gracias!