Vous êtes sur la page 1sur 58

¡La universidad para todos!

¡La Universidad para todos!

Tema: CALCULO DEDUCTIVO EN LOGICA


PROPOSICIONAL
Docente: ANDRES ACERO CARDENAS

Escuela Profesional Periodo académico: 2018-2


DERECHO Semestre:VIII
Unidad:II
¡La universidad para todos!

Cálculo deductivo en
lógica proposicional


Deducción y reglas de inferencia
¡La universidad para todos!

La lógica proposicional es una parte


DEFINICIÓN de la lógica que estudia la formación
de proposiciones complejas, a partir
de proposiciones simples.

ENUNCIADO Es toda expresión literal, oración


o frase que expresa algo

Lima es la capital del Perú Ejemplos :


Perú es anfitrión de III Cumbre ASPA

Quito es la capital de Venezuela


¿Qué hora es?
¡ auxiliooooo !
X + 12 = 28
¡La universidad para todos!

PROPOSICIÓN Es toda expresión declarativa que tiene


un valor de verdad : o bien es
LOGICA Verdadero (V ) o bien es falso ( F )

De los siguientes ejemplos ¿ Cuales de


los enunciados son proposiciones
lógicas?
Él es un muñeco de madera …….. ( )
Perú será anfitrión del Papa …()
Quito es la capital de Venezuela ………... ( )

Las proposiciones lógicas se representan mediante letras minúsculas


del abecedario: p , q , r , s, … , a las cuales se les denomina variables
proposicionales

Ejemplo : p : el río amazonas es el río más largo del mundo V ( p) = V


¡La universidad para todos!

Es aquel enunciado que tiene la


ENUNCIADO posibilidad de convertirse en
proposición lógica, al asignar un valor o
ABIERTO valores a la variable o variables que
posee.
Ejemplos :
Él es un escritor peruano : es un enunciado abierto

Se observa : “ ÉL ” es la variable y si le damos nombres:

p : Nicolás Copérnico es un escritor peruano V (p) =

q : Julio Ramón Ribeyro es un escritor peruano V(q) =

2x + 4 y = 12 : es otro ejemplo de un enunciado abierto


Pero, ¿ si x = 8 y el valor de y = -1 es un enunciado abierto ? ( … )
¡La universidad para todos!

CLASES DE PROPOSICIONES

Es aquel elemento o sujeto que


Proposición Simple o tiene un solo elemento o
atómica predicado. Nunca es negativo
P : Dos es un número par
q : Perú es un país de América del
Sur
r : 5 es un número primo
Son aquellos que tienen dos o
más proposiciones simples
Proposición Compuesta o
unidos por coligadores o que
Molecular
contienen el adverbio de
negación “no”
p Λ q : Dos es un número par y tres es impar
˜ p : No es cierto que tres sea un número par
¡La universidad para todos!

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.

• A éstas últimas se les conoce como


proposiciones compuestas
¡La universidad para todos!

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

Como sinónimos de no, se utilizan las


siguientes expresiones:

• No es cierto que ……..


• No es el caso que………
• Es falso que…………
• No sucede que…………….
¡La universidad para todos!

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:
pq 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

Se toman como “sinónimos” de la 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

• Luís estudia ,además de trabajar


• Luís estudió pero no aprobó
• Luís canta, sin embargo no baila
• Luís jugó futbol aunque estaba lesionado
• Luís juega futbol , también José
• Luís salió, aún no llega
• Luís cocina a la vez que canta
• Luís viajará no obstante esté sin visa
• Luís canta , no baila.
¡La universidad para todos!

Conjunción: p ^ q

No siempre “y” denota una conjunción ………


Ejemplo:

• Silvia y Nelly son hermanas

Esta es una proposición (simple), en donde el


“y” permite establecer la relación entre los
sujetos.
¡La universidad para todos!

Luís estudia ,además de trabajar


¡La universidad para todos!

Luís estudió pero no aprobó


¡La universidad para todos!

Luís canta, sin embargo no baila


¡La universidad para todos!

Luís jugó futbol aunque estaba lesionado


¡La universidad para todos!

Luís jugó futbol aunque estaba lesionado

Luís canta , no baila.


¡La universidad para todos!

Luís juega futbol , también José

Luís salió, aún no llega


¡La universidad para todos!

Luís viajará no obstante esté sin visa

Luís cocina a la vez que canta


¡La universidad para todos!

Disyunción

• Seré cantante o futbolista


• p: Seré cantante
• q: Seré futbolista

Simbolización:
pq
¡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:
pq

• Ejemplos:
• Si no llueve (entonces) iremos a la playa
¡La universidad para todos!

Si me gano la lotería (entonces) me voy de viaje

Si no estudio (entonces) no aprobaré Lógica


¡La universidad para todos!

Condicional

Algunas expresiones del lenguaje que indican la


presencia de un condicional (p → q), son las
siguientes:
• p es condición suficiente para q
• Si p, q
• q si p
• Que p supone que q
• Cuando p, q
• q es condición necesaria para p
• En caso de que p entonces q
• q sólo si p
¡La universidad para todos!

Formas de expresar un condicional…….


• Si es Chiclayano, es Peruano (p q)
• Es Peruano, siempre que sea Chiclayano
• Es Peruano si es Chiclayano
• Es suficiente que sea Chiclayano para que
sea Peruano
• Siempre y cuando sea Chiclayano, será
Peruano.
• Es necesario que sea Peruano para ser
Chiclayano.

TODAS ESTAS EXPRESIONES SE


SIMBOLIZAN COMO: p  q
¡La universidad para todos!

SIMBOLIZAR LAS SIGUIENTES PROPOSICIONES

1. Las computadoras trabajan más rápido que los hombres.

2. No tengo un auto azul.


¡La universidad para todos!

3. Marcela estudia en Quito y Pablo en Loja.

4. Bailamos o tomamos café.


¡La universidad para todos!

5. Si cantamos entonces necesitamos viajar.

6. Leeré este libro si solo si tiene pocas hojas.


¡La universidad para todos!

7. No es cierto que si no tomamos café implica que no es de


día.

8. La tierra gira alrededor del sol ó no se da que la luna es un planeta.


¡La universidad para todos!

9. Si trabajara los fines de semana y durmiera menos entonces no perdería el


vuelo.

10. Es falso que vivo en Loja, pero visitaré a mi familia en Cuenca.


¡La universidad para todos!

11. No iremos al partido a menos que salga el sol.

12. Ana es profesora o es estudiante pero no puede ser ambas cosas a la vez
¡La universidad para todos!
¡La universidad para todos!

“Al igual que cualquier otro arte, la Ciencia de la Deducción


y el Análisis sólo puede dominarse a través del estudio prolongado y
paciente, y no es la vida tan larga como para que ningún mortal alcance
en ello el mayor grado posible de perfección”
Sherlock Holmes
en Estudio en Escarlata (A. Conan Doyle)
¡La universidad para todos!
Qué es una deducción
En una deducción progresamos a
• partir de la información conocida,
hasta alcanzar cierta
información desconocida que nos interesa
obtener

• La información conocida actúa como las


premisas de un argumento, y la desconocida
como la conclusión

• Lo que caracteriza que una deducción esté


bien hecha es que cada paso que demos sea
seguro: cada nueva información debe
seguirse de las anteriores
¡La universidad para todos!

Qué es una deducción: Reglas

• Es posible captar por medio de reglas los


pasos más típicos que efectuamos cuando
llevamos a cabo una deducción

• Si una regla está bien elegida, nos conducirá


desde cierto enunciado E a otro E’ que es
consecuencia lógica de E

• El proceso por el que pasamos de E a E’ es


una inferencia lógica y la regla que da cuenta
de dicho paso es una regla de inferencia
¡La universidad para todos!

Qué es una deducción: Reglas


• Hay reglas que intentan captar el “modo
natural” de proceder cuando razonamos. Al
sistema que se basa en tales reglas lo
llamamos cálculo de deducción natural

• La idea es recoger y sistematizar las reglas


informales que aplicamos, v.g., en
razonamientos como el del juego

• Una vez formuladas de manera abstracta,


podremos también aplicar las reglas a
nuestras fórmulas de L0, de manera que
podamos saber cómo obtener unas fórmulas
a partir de otras
¡La universidad para todos!

Reglas de inferencia primitivas


• Vamos a ver un conjunto de reglas de inferencia
básicas o primitivas para la deducción natural
• Dado que tenemos 5 conectivas, vamos a definir dos
reglas relacionadas con cada una de ellas, una de
introducción de la conectiva, y otra para su
eliminación
• Las presentaremos primero de manera informal, para
caracterizarlas después de modo más formal
¡La universidad para todos!

Introducción del Conyuntor: IC


• Premisas:
1. El asesino es zurdo
2. El asesino calza un 45

• Conclusión:

3. El asesino es zurdo Y calza un


45.
¡La universidad para todos!

Introducción del Conyuntor: IC


 p qp

¬(r  q) ¬r  q

p  ¬(r  q) (q  p)  (¬r  q)
¡La universidad para todos!

Eliminación del Conyuntor: EC


• Premisa:
1. El asesino es bizco y usa bombín

• Conclusión:

2. El asesino es bizco

o bien:
2’. El asesino
usa bombín
¡La universidad para todos!

Eliminación del Conyuntor: EC

 

 

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) rq

rq 
rq ¬¬ (r  q)
¡La universidad para todos!

Eliminación del Disyuntor: ED


(también Prueba por Casos o
Dilema)
1. El asesino huyó en coche o en patinete
2. Si huyó en coche, se esconde en Cádiz
3. Si huyó en patinete, se esconde en Cádiz

Conclusión:

4. El asesino se esconde en Cádiz


¡La universidad para todos!

Eliminación del Condicional o Modus Ponens: MP

• 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!

Introducción del Bicondicional: IB

• 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!

Eliminación del Bicondicional: EB

2. Si Gutiérrez es culpable, entonces ama a Fefa


o bien:

2’. Si Gutiérrez ama a Fefa, entonces es culpable

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:

1. El asesino huyó a Cádiz


¡La universidad para todos!

Reducción al Absurdo: RA

• En la RA comenzamos por introducir un supuesto,


(que corresponde a la negación de aquello que
intentamos concluir)
• Para señalar que se trata de un supuesto y no de
una premisa, usamos el símbolo  (abrir hipótesis)
• A continuación seguimos la deducción aplicando las
reglas de inferencia que sea conveniente
• SI alcanzamos una contradicción, significa que
nuestro supuesto inicial era erróneo. Al llegar a la
contradicción, cerramos la cadena de inferencias
con el símbolo  (cancelar hipótesis).
• La conclusión será la negación del supuesto
¡La universidad para todos!

Introducción del Condicional: Icd


(también Teorema de
• Supuesto: Deducción)
 (supongamos que) La víctima fue
envenenada

... bla bla bla ... (cadena de inferencias válidas)

 El asesino es la condesa Lecquia


• Conclusión:
1. Si la víctima fue envenenada, el asesino es la
condesa Lecquia
¡La universidad para todos!

Reglas de simetría
Disyuntor: SD Conyuntor: SC Bicondicional:SB
   

  

Se explican por sí solas y su demostración desde las reglas


primitivas es muy sencilla
¡La universidad para todos!

Modus Tollens: MT

 Si el crimen fue en la sala, fue con el puñal


¬ El crimen no fue con el puñal

¬ El crimen no fue en la sala


¡La universidad para todos!

Eliminación del Disyuntor por Negación: EDN


(tb Silogismo Disyuntivo o Tollendo Ponens)

 El asesino es Rómulo o Remo


¬ El asesino no es Rómulo

 El asesino es Remo
¡La universidad para todos!

Conclusiones y/o actividades de investigación


sugeridas

Escriba aquí las


conclusiones y/o
actividades de investigación
sugeridas.
¡La universidad para todos!

¡Gracias!