Metodo de Deduccion Logica Proposicional Diapositivas

Lgica - CM0260
Lgica proposicional: Mtodo de deduccin
Andrs Sicard Ramrez
Universidad EAFIT
Semestre 2015-2
Mtodo de deduccin
Argumento Prueba formal de validez
1 1 1

n /
n+1 1

n+m
donde:
cada proposicin se sigue de las proposiciones anteriores por un
argumento vlido elemental y
la ltima proposicin es la conclusin .
Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 2/109

Mtodo de deduccin
Argumento Prueba formal de validez
1 1 1

n /
n+1 1

n+m
donde:
cada proposicin se sigue de las proposiciones anteriores por un
argumento vlido elemental y
la ltima proposicin es la conclusin .
Notacin: Hurley [2012] usa el smbolo / y LogicCoach 11 usa el

smbolo // en lugar del smbolo / .

Reglas de inferencia
1 Modus ponens (MP)


1 Modus ponens (MP)

2 Modus tollens (MT)

3 Hypothetical syllogism (HS)


1 Modus ponens (MP) 4 Disjunctive syllogism (DS)

2 Modus tollens (MT)




2 Modus tollens (MT) 5 Constructive dilemma (CD)
( ) ( )




2 Modus tollens (MT) 5 Constructive dilemma (CD)
( ) ( )

3 Hypothetical syllogism (HS) 6 Simplification (Simp)


7 Conjunction (Conj)


7 Conjunction (Conj) 8 Addition (Add)


7 Conjunction (Conj) 8 Addition (Add)

Observacin: Uso de instancias de las reglas de inferencia.

Sugerencias
Antes de comenzar a realizar ejercicios de construccin de pruebas
formales, realizar (algunos de) los ejercicios I y II de la pg. 52
de Copi [1998].

Sugerencias
formales, realizar (algunos de) los ejercicios I y II de la pg. 52
de Copi [1998].
Hurley [2012] en las pgs. 385 y 395 ilustra algunos de los errores
comunes en el uso de las reglas de inferencia.

Ejercicio (Copi [1998], ejercicio III.2, pg. 54)
Construir una prueba formal de validez para el argumento:
1 ( )
2 ( )
3 /

1 ( )
2 ( )
3 /
4 MP 1, 3
5 Simp 4
6 Add 5
7 MP 2, 6

1
2 ( )
3 /

1
2 ( )
3 /
4 MT 1, 4
5 DS 2, 4
6 DS 5, 3
7 Conj 6, 3

1 ( )
2 [( ) ( )]
3 ( ) [( ) ( )]
4 ( ) ( ) /

1 ( )
2 [( ) ( )]
3 ( ) [( ) ( )]
4 ( ) ( ) /
5 ( ) Simp 4
6 MT 1, 5
7 ( ) ( ) MP 2, 6
8 Simp 7
9 ( ) ( ) DS 3, 5
10 Simp 9
11 MP 10, 6
12 MP 8, 11
13 Add 12

1 ( ) ( )
2 ( ) ( )
3 ( ) ( )
4 ( ) /

1 ( ) ( )
2 ( ) ( )
3 ( ) ( )
4 ( ) /
5 Simp 4
6 MP 2, 5
7 Simp 5
8 Simp 3
9 MT 8, 7
10 Add 9
11 MP 1, 10
12 HS 11, 6
1 ( ) ( )
2 (( ) ) ( )
3 ( )
4
5 /

1 ( ) ( )
2 (( ) ) ( )
3 ( )
4
5 /
6 Add 5
7 MP 1, 6
8 ( ) Add 7
9 MP 2, 8
10 MP 3, 9
11 DS 7, 10
12 MP 4, 11
13 DS 9, 12
Regla de reemplazo
Motivacin
Construir una prueba formal de validez para el argumento
/

Regla de reemplazo
Motivacin
/
No es posible con nuestras actuales reglas de inferencia.

Regla de reemplazo
Motivacin
/
No es posible con nuestras actuales reglas de inferencia.
Notacin: significa que es lgicamente equivalente a .

Regla de reemplazo
Regla de reemplazo
Cualquiera de las siguientes expresiones lgicamente equivalentes pueden
reemplazar a la otra en donde ocurran.

Regla de reemplazo
Regla de reemplazo
9 De Morgans rule (DM) ( ) ( )
( ) ( )

Regla de reemplazo
Regla de reemplazo
( ) ( )
10 Commutativity (Com) ( ) ( )
( ) ( )

Regla de reemplazo
Regla de reemplazo
( ) ( )
( ) ( )
11 Associativity (Assoc) [( ( )] [( ) ]
[ ( )] [( ) ]

Regla de reemplazo
Regla de reemplazo
( ) ( )
( ) ( )
11 Associativity (Assoc) [( ( )] [( ) ]
[ ( )] [( ) ]
12 Distribution (Dist) [ ( )] [( ) ( )]
[ ( )] [( ) ( )]

Regla de reemplazo
(continuacin)
13 Double negation (DN)

Regla de reemplazo
(continuacin)
14 Transposition (Trans) ( ) ( )

Regla de reemplazo
(continuacin)
15 Material implication (Impl) ( ) ( )

Regla de reemplazo
(continuacin)
16 Material equivalence (Equiv) ( ) [( ) ( )]

( ) [( ) ( )]

Regla de reemplazo
(continuacin)

( ) [( ) ( )]
17 Exportation (Exp) [( ) ] [ ( )]

Regla de reemplazo
(continuacin)

( ) [( ) ( )]
17 Exportation (Exp) [( ) ] [ ( )]
18 Tautology (Taut) ( )
( )

Regla de reemplazo
Observacin: La regla de reemplazo autoriza que expresiones lgicamente
equivalentes especificadas se reemplacen entre s donde ocurran, aun en
donde no constituyan renglones enteros de demostracin. Pero las nueve
primeras reglas de inferencia slo pueden usarse tomando como premisas
renglones enteros de una demostracin.1
1
Copi, Irving M. (1998). Lgica Simblica, pg. 59.
Regla de reemplazo
Ejemplo
1 /
2 Com 1
3 Simp 2

Pruebas formales
Verificacin vs construccin
Verificar una prueba formal es un proceso efectivo (algortmico), pero cons-
truirla no lo es.

Pruebas formales
truirla no lo es.
Convencin
En cada lnea de una prueba slo se aplica una regla de inferencia o una
equivalencia lgica, pero no ambas.

Pruebas formales
truirla no lo es.
Convencin
En cada lnea de una prueba slo se aplica una regla de inferencia o una
equivalencia lgica, pero no ambas.
Sugerencia
formales, realizar (algunos de) los ejercicios I y II de la pg. 61 y 62
de Copi [1998].

Pruebas formales
Ejercicio (Copi [1998], ejercicio II.4, pg. 62)
La siguiente es una prueba formal de validez para el argumento indicado.
Enuncie la justificacin de cada rengln que no sea una premisa:
1 ( ) ( )
2
3 /
4
5
6 ( ) ( )
7
8
9
10
Pruebas formales
Ejercicio (continuacin)
1 ( ) ( )
2
3 /
4 Impl 2
5 Com 4
6 ( ) ( ) Trans 1
7 CD 6, 4
8 Taut 7
9 MT 3, 8
10 DN 9

Pruebas formales
1 ( )
2 /

Pruebas formales
1 ( )
2 /
3 ( )
4 ( )
5 ( )
6
7
8 ( )
9 ( ) ( )
10
Pruebas formales
1 ( )
2 /

Pruebas formales
1 ( )
2 /
3 ( ) Trans 1
4 ( ) DN 3
5 ( ) Exp 4
6 Taut 5
7 Impl 6
8 ( ) DM 7
9 ( ) ( ) Equiv 2
10 DS 9, 8

Pruebas formales
1 / ( ) 0

Pruebas formales
1 / ( ) 0
2 Impl 1
3 ( ) Add 2
4 ( ) Com 3
5 ( ) Assoc. 4
6 ( ) DM 5
7 ( ) Com 6
8 ( ) 0 Impl 7

Pruebas formales
1 ( ) /

Pruebas formales
1 ( ) /
2 ( ) Impl 1
3 ( ) DM 2
4 ( ) Com 3
5 ( ) ( ) Dist 4
6 Simp 5
7 Com 6
8 Impl 7

Pruebas formales
1 ( ) /

Pruebas formales
1 ( ) /
2 ( ) Impl 1
3 ( ) Impl 2
4 ( ) DM 3
5 ( ) DN. 4
6 ( ) ( ) Dist 5
7 Simp 6
8 Impl 7

Pruebas formales
1
2 / ( )

Pruebas formales
1
2 / ( )
3 Impl 1
4 Impl 2
5 ( ) ( ) Conj 3, 4
6 ( ) Dist
7 ( ) Impl 6

Nuevas reglas de demostracin
Regla de demostracin condicional
Regla de demostracin indirecta

Nuevas reglas de demostracin
Observacin: Copi [1998] presenta la regla de demostracin condicional

gradualmente. En 3.5 presenta una primera versin de la regla y en 3.8
presenta la versin general de la regla llamndola regla de demostracin
condicional reforzada. Nuestra presentacin corresponde a la versin
general de la regla y sta ser la versin evaluada.

Idea
Adicionar supuestos con alcance limitado.

Idea
Descarga de supuestos
Es necesario descargar cada supuesto adicionado.

Idea
Descarga de supuestos
Es necesario descargar cada supuesto adicionado.
ACP

CP
CP: Conditional Proof

ACP: Assumption for Conditional Proof
1
2 / ( )

1
2 / ( )
3 ACP

1
2 / ( )
3 ACP
4 MP 1, 3
5 MP 2, 3
6 Conj 4, 5
7 CP 36

Ejercicio (Copi [1998], pg. 75)
Construir una demostracin condicional de validez para el ejercicio 22 de
la pg. 65.
1 ( ) ( ) / ( ) ( )

la pg. 65.
1 ( ) ( ) / ( ) ( )
2 ACP

la pg. 65.
1 ( ) ( ) / ( ) ( )
2 ACP
3 Simp 1
4 ( ) ( ) Com 1
5 Simp 4
6 Simp 2
7 Com 2
8 Simp 7
9 MP 3, 6
10 MP 5, 8
11 Conj 9, 10
12 ( ) ( ) CP 211
La regla de demostracin condicional puede aplicarse ms de una vez.

Ejercicio (Copi [1998], ejemplo pg. 74)
1 ( )
2 ( ) / ( )

1 ( )
2 ( ) / ( )
3 ACP

1 ( )
2 ( ) / ( )
3 ACP
4 ACP

1 ( )
2 ( ) / ( )
3 ACP
4 ACP
5 MP 1, 3
6 MP 5, 4
7 MP 2, 4
8 MP 7, 6
9 CP 48
10 ( ) CP 39

Ejercicio (Copi [1998], ejercicio 2, pg. 84)
Utilizar el mtodo de demostracin condicional para demostrar la validez
del siguiente argumento:
1 ( )
2 ( ) / ( ) ( )

1 ( )
2 ( ) / ( ) ( )
3 ACP
4 Add 3
5 MP 1, 4
6 CP 35
7 ACP
8 MP 2, 7
9 Simp 8
10 CP 79
11 ( ) ( ) Conj 6, 10
1 ( )
2 ( ( )) ( )
3 ( ) ( ) /

4 ACP
5 DS 1, 4
6 ACP
7 MP 5, 6
8 Conj 6, 7
9 ( ) CP 6-8
1 ( ) 10 MP 2, 9
2 ( ( )) ( ) 11 Simp 3
3 ( ) ( ) 12 MT 11, 4
13 DS 10, 12
14 ( ) ( ) Com 3
15 Simp 14
16 MP 15, 13
17 CP 416
18 Impl 17
Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 19 DN 18 76/109
Regla de demostracin condicional y argumentos
Porqu empleando la regla de demostracin condicional, podemos
demostramos el argumento
{ } /
donde { } representa un conjunto de premisas, por medio de la prueba
{ }
ACP

CP
?
Regla de demostracin condicional y argumentos
Justificacin

condicional asociado
( )

CP Exportacin

( )

Ms poder de demostracin
La regla de demostracin condicional aumenta el conjunto de argumentos
que podemos demostrar con nuestras reglas de inferencia.

Preliminares
A partir de una contradiccin podemos demostrar cualquier conclusin.

Preliminares
Ejemplo
1
2 /

Preliminares
Ejemplo
1
2 /
3 Add 1
4 DS 3, 2

AIP

(contradiccin)
IP
IP: Indirect Proof

AIP: Assumption for Indirect Proof

Construir una prueba formal de validez para el siguiente argumento
empleando la regla de demostracin indirecta:
1 ( ) ( )
2 ( ) ( ) /

1 ( ) ( )
2 ( ) ( ) /

1 ( ) ( )
2 ( ) ( ) /
3 AIP

1 ( ) ( )
2 ( ) ( ) /
3 AIP
4 Add 3
5 MP 2, 4
6 Com 5
7 Simp 6
8 Simp 5
9 Add 8
10 MP 1, 9
11 MT 10, 3
12 Conj 7, 11
13 IP 312
14 DN 14
Las reglas de demostracin condicional y demostracin indirecta se pueden
usar simultneamente.

Ejemplo (Hurley (2012), pg. 434)
Demostrar el siguiente argumento.
1 [ ( )] / ( )
2
3 ACP
4 ( ) MP 1,3
5 AIP
6 MP 4,5
7 Simp 6
8 Simp 2
9 Conj 7,8
10 IP 5-9
11 DN 10
12 Com 2
13 Simp 12
14 Conj 11, 13
15 ( ) CP 314
Regla de demostracin indirecta y argumentos
Porqu empleando la regla de demostracin indirecta, podemos
demostramos el argumento
{ } /
por medio de la prueba
{ }
AIP

(contradiccin)
IP
DN
?
Regla de demostracin indirecta y argumentos
Justificacin

( )
Exportacin

( )
Implicacin material
( )
IP Doble negacin
( )
Tautologa

Demostracin de tautologas
Tautologa condicional ( )
Prueba empleando la regla de demostracin condicional:
ACP

CP

Tautologa bicondicional ( )
Prueba empleando la regla de demostracin condicional:
ACP

m CP
ACP

n CP
n+1 ( ) ( ) Conj m,n
Equiv n+1

Tautologa ( )
Prueba empleando la regla de demostracin indirecta:
AIP

(contradiccin)
n IP
DN n

Verificar la siguiente tautologa empleando la regla de demostracin
indirecta: ( ) ( ).

indirecta: ( ) ( ).
1 [( ) ( )] AIP
2 ( ) ( ) DM 1
3 ( ) ( ) Impl 2
4 ( ) ( ) Impl 3
5 ( ) ( ) DM 4
6 ( ) ( ) DM 5
7 ( ) ( ) DN 6
8 ( ) ( ) DN 7

15
16 [( ) ( )] IP 1-15
17 ( ) ( ) DN 16
Ejercicio (Copi [1998], ejercicio II.5*, pg. 80)
indirecta: ( ) ( ).

Ejercicio (Copi [1998], ejercicio II.5*, pg. 80)
indirecta: ( ) ( ).
1 [( ) ( )] AIP
2 ( ) ( ) DM 1
3 ( ) ( ) Impl 2
4 ( ) ( ) DM 3
5 [ ( )] Assoc 4
6 [( ) ] Com 5
7 [ ( )] Assoc 6
8 ( ) ( ) Assoc 7
9 Simp 8
10 [( ) ( )] IP 1-9
11 ( ) ( ) DN 10
indirecta: ( ).

indirecta: ( ).
1 ( ( )) AIP
2 ( ) DM 1
3 Simp 2
4 ( ) Conm 2
5 ( ) Simp 4
6 ( ) Impl 5
7 DM 6
8 Simp 7
9 DN 8
10 Conj 3, 9
11 [ ( )] IP 1-10
12 ( ) DN 11
condicional: .

condicional: .
1 ACP
2 DN 1
3 CP 1-2
4 ACP
5 DN 4
6 CP 4-5
7 ( ) ( ) Conj. 3, 6
8 Equiv 7

indirecta: .

indirecta: .
1 ( ) AIP
2 [( ) ( )] Equiv 1
3 [( ) ( )] DN 2
4 [( ) ( )] DN 3
5 ( ) ( ) DM 4
6 ( ) Taut 5
7 ( ) Impl 6
8 DM 7
9 DN 8
10 ( ) IP 1-9
11 DN 10
indirecta: [( ) ( )].

indirecta: [( ) ( )].
1 ( ) ( ) AIP
2 Simp 1
3 ( ) ( ) Com 1
4 Simp 3
5 Impl 2
6 Taut 5
7 MP 4, 6
8 Conj 7, 6
9 [( ) ( )] IP 1-8

Reglas de demostracin condicional e indirecta
Pregunta
Porqu la regla de demostracin indirecta es un caso particular de la regla
de demostracin condicional?

Mtodo de deduccin y tautologas
Teorema (Completeness (completitud))
Toda tautologa puede demostrarse por el mtodo de deduccin.
Teorema (Soundness (validez))

Si un argumento es vlido empleando el mtodo de deduccin, entonces su
condicional asociado es tautolgico.

Referencias
Copi, Irving M. (1998). Lgica Simblica. Compaa Editorial Continental.
Hurley, Patrick J. (2012). A Concise Introduction to Logic. 11.a ed. Wadsworth,
Cengage Learning.

Metodo de Deduccion Logica Proposicional Diapositivas

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Metodo de Deduccion Logica Proposicional Diapositivas

Caricato da

Copyright:

Formati disponibili

Lgica - CM0260

Lgica proposicional: Mtodo de deduccin

Andrs Sicard Ramrez

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 2/109

Notacin: Hurley [2012] usa el smbolo / y LogicCoach 11 usa el

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 3/109

1 Modus ponens (MP)

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 4/109

1 Modus ponens (MP)

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 5/109

1 Modus ponens (MP) 4 Disjunctive syllogism (DS)

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 6/109

1 Modus ponens (MP) 4 Disjunctive syllogism (DS)

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 7/109

1 Modus ponens (MP) 4 Disjunctive syllogism (DS)

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 8/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 9/109

7 Conjunction (Conj) 8 Addition (Add)

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 10/109

7 Conjunction (Conj) 8 Addition (Add)

Observacin: Uso de instancias de las reglas de inferencia.

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 11/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 12/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 13/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 14/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 15/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 16/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 17/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 18/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 19/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 20/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 22/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 24/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 25/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 26/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 27/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 28/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 29/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 30/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 31/109

13 Double negation (DN)

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 32/109

13 Double negation (DN)

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 33/109

13 Double negation (DN)

15 Material implication (Impl) ( ) ( )

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 34/109

13 Double negation (DN)

15 Material implication (Impl) ( ) ( )

16 Material equivalence (Equiv) ( ) [( ) ( )]

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 35/109

13 Double negation (DN)

15 Material implication (Impl) ( ) ( )

16 Material equivalence (Equiv) ( ) [( ) ( )]

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 36/109

13 Double negation (DN)

15 Material implication (Impl) ( ) ( )

16 Material equivalence (Equiv) ( ) [( ) ( )]

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 37/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 39/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 40/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 41/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 42/109

Lgica - CM0260. Lgica proposicional: Mtodo de deduccin 44/109