SEMANA 3 LOGICA Y ARGUMENTACION JURIDICA-1.pdf CALCULO DEUDCTIVO EN LÓGICA PROPOSICIONAL PDF

¡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
Cálculo deductivo en
lógica proposicional
•
Deducción y reglas de inferencia
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
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

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 ? ( … )
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
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
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”
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
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
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…………….
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
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
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.
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.
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 jugó futbol aunque estaba lesionado
Luís canta , no baila.

Luís juega futbol , también José
Luís salió, aún no llega

Luís viajará no obstante esté sin visa
Luís cocina a la vez que canta

Disyunción
• Seré cantante o futbolista

• p: Seré cantante
• q: Seré futbolista
Simbolización:
pq
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
Si me gano la lotería (entonces) me voy de viaje
Si no estudio (entonces) no aprobaré Lógica

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
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
SIMBOLIZAR LAS SIGUIENTES PROPOSICIONES
1. Las computadoras trabajan más rápido que los hombres.
2. No tengo un auto azul.

3. Marcela estudia en Quito y Pablo en Loja.
4. Bailamos o tomamos café.

5. Si cantamos entonces necesitamos viajar.
6. Leeré este libro si solo si tiene pocas hojas.

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.

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.

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
“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)
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
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
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
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
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.
Introducción del Conyuntor: IC

 p qp

¬(r  q) ¬r  q

p  ¬(r  q) (q  p)  (¬r  q)
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
Eliminación del Conyuntor: EC
 
 
r  (p  ¬q) r  (p  ¬q)
r p  ¬q
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
Doble Negación: DN
¬¬  
 ¬¬ 
¡CUIDADO!
¬(¬r  q)
¬¬ (r  q) rq
rq 
rq ¬¬ (r  q)
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

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 

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  


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

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:
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

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

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
Conclusiones y/o actividades de investigación

sugeridas
Escriba aquí las

conclusiones y/o
actividades de investigación
sugeridas.
¡Gracias!

SEMANA 3 LOGICA Y ARGUMENTACION JURIDICA-1.pdf CALCULO DEUDCTIVO EN LÓGICA PROPOSICIONAL PDF

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

SEMANA 3 LOGICA Y ARGUMENTACION JURIDICA-1.pdf CALCULO DEUDCTIVO EN LÓGICA PROPOSICIONAL PDF

Diunggah oleh

Hak Cipta:

Format Tersedia

¡La universidad para todos!

¡La Universidad para todos!

Tema: CALCULO DEDUCTIVO EN LOGICA

Escuela Profesional Periodo académico: 2018-2

La lógica proposicional es una parte

ENUNCIADO Es toda expresión literal, oración

Lima es la capital del Perú Ejemplos :

Quito es la capital de Venezuela

PROPOSICIÓN Es toda expresión declarativa que tiene

De los siguientes ejemplos ¿ Cuales de

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

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

Es aquel enunciado que tiene la

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

Es aquel elemento o sujeto que

• A éstas últimas se les conoce como

Como sinónimos de no, se utilizan las

• No es cierto que ……..

Se toman como “sinónimos” de la conjunción:

• Luís estudia ,además de trabajar

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

• Silvia y Nelly son hermanas

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

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 jugó futbol aunque estaba lesionado

Luís canta , no baila.

Luís juega futbol , también José

Luís salió, aún no llega

Luís viajará no obstante esté sin visa

Luís cocina a la vez que canta

• Seré cantante o futbolista

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

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

Algunas expresiones del lenguaje que indican la

Formas de expresar un condicional…….

TODAS ESTAS EXPRESIONES SE

SIMBOLIZAR LAS SIGUIENTES PROPOSICIONES

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

2. No tengo un auto azul.

3. Marcela estudia en Quito y Pablo en Loja.

4. Bailamos o tomamos café.

5. Si cantamos entonces necesitamos viajar.

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

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

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

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

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

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

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

• La información conocida actúa como las

• Lo que caracteriza que una deducción esté

Qué es una deducción: Reglas

• Es posible captar por medio de reglas los

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

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

Qué es una deducción: Reglas

• La idea es recoger y sistematizar las reglas