Scribd
Cargar
382 vistas13 páginas

Taller de Deducción Natural: Resoluciones Lógicas

Este documento presenta 18 problemas resueltos usando deducción natural. Cada problema contiene premisas y conclusión y los pasos intermedios para derivar la conclusión a partir de las premisas usando reglas lógicas como modus ponens, modus tollens, leyes de Morgan, entre otras. El documento muestra cómo aplicar diferentes reglas lógicas para resolver problemas de lógica proposicional.

Cargado por

juanse roman
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
382 vistas13 páginas

Taller de Deducción Natural: Resoluciones Lógicas

Este documento presenta 18 problemas resueltos usando deducción natural. Cada problema contiene premisas y conclusión y los pasos intermedios para derivar la conclusión a partir de las premisas usando reglas lógicas como modus ponens, modus tollens, leyes de Morgan, entre otras. El documento muestra cómo aplicar diferentes reglas lógicas para resolver problemas de lógica proposicional.

Cargado por

juanse roman
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

TALLER SOBRE DEDUCCIN NATURAL

LGICA Y FILOSOFA DEL LENGUAJE

Octubre 3 de 2017

A continuacin se presenta la resolucin del Taller sobre Deduccin Natural, se usaron las
respectivas abreviaciones para las diferentes leyes y reglas de inferencia

1) 1. ( )
2. ( )
3. ( )
4. MP (1) y (3)
5. ( ) MP (2) y (4)
6. Leyes de Morgan
C:

2) 1. [ ( )]
2. ( )
3. ( )
4.
5. S.H (2) y (3)
6. [ ( )] S.H (5) y (1)
7. ( ) ( ) Deduccin de (6)
8. ( ) MP (7) y (4)
9. ( ) Leyes de Morgan
C: ( )

3) 1. ( )
2.
3. ( )
4.
5. ( )
6. ( ) S.H (1) y (3)
7. S.H (5) y (6)
8. MT (7) y (4)
9. ( ) MT (8) y (3)
C: ( )

4) 1. ( )
2. ( )
3. ( ) ( )
4. ( )
5. ( ) MT (3) y (2)
6. MT (5) y (4)
7. ( ) MT (6) y (2)
8. Leyes de Morgan
C:

5) 1. ( )
2. ( ) [ ( )]
3. [ ( )] ( )
4. [ ( )] MT (3) y (1)
5. ( ) MT (2) y (4)
6. ( ) Definicin de Condicional
7. Leyes de Morgan
8. Doble Negacin
C:

6) 1. ( ) ( )
2. ( ) [ ( )]
3.
4. ( ) Simplificacin (1)
5. Simplificacin (1)
6. Simplificacin (2)
7. [ ( ) ] Simplificacin (2)
8. MT (7) y (4)
9. S.H (6) y (5)
10. MT (9) y (8)
11. MT (3) y (10)
12. Doble Negacin
C:

7) 1.( ) ( )
2. ( ) ( )
3.
4. ( ) Simplificacin de (1)
5. ( ) Simplificacin de (1)
6. ( ) Simplificacin de (2)
7. ( ) Simplificacin de (2)
8. MT (7) y (3)
9. MT (6) y (8)
10. MT (5) y (9)
11. MT (4) y (10)
12. Adjuncin de w (Suponiendo que w es una
proposicin)
C: ( )

8) 1. ( )
2. ( )
3. ( ) ( )
4. ( ) ( )
5. ( ) S.D (3) y (1)
6. ( ) S.D (4) y (5)
7. S.D (2) y (6)
C:

9) 1.
2.
3.
4.
5.
6. Doble Negacin (5)
7. S.D (2) y (6)
8. S.D (4) y (7)
9. S.D (1) y (8)
10. S.D (3) y (9)
C:

10)1.
2.
3.
4.
5.
6.
7.
8. S.D (5) y (4)
9. S.D (2) y (8)
10. MT (3) y (9)
11. MP (1) y (10)
12. MT (6) y (11)
13. Doble Negacin (12) y MP (12) y (7)
C:

11)Resuelto por mtodo Indirecto

( ) ( ) ( ) ( ) ( )
(7 8 ) 2 (7 6 ) 2 (4 5 ) 2 (8 ) 2 (6 5 ) 2 (4 3 ) 2 3 2 1 2
8 7 5 9 6 4 3

Hemos supuesto que el condicional con el que se modela el argumento puede


no ser una tautologa, es decir, que existe al menos una interpretacin de la
frmula para la cual no es vlida, es decir, el condicional es falso.

Se empez asignndole un valor de falso al consecuente, conforme se avanza


en el proceso se asigna el subndice al paso correspondiente, al final obtenemos
que existe una contradiccin en la asignacin del paso 9. Lo cual indica que el
argumento es valido

12)1.
2.
3.
4.
5.
6.
7.
8. S.D (4) y [Doble Negacin(1)]
9. S.D (6) y (8)
10. S.D (7) y (9)
11. S.D (3) y (10)
12. S.D (5) y (11)
13. MP (2) y (12)
14. Conjuncin (11) y (13)[proposiciones que fueron
obtenidas como verdicas]
C:

13)1. ( )
2.
3.
4.
5.
6. S.D (4) y (5)
7. MP de (3) y (6)
8. MP de (2) y (7)
9. ( ) MP de (1) y (8)
10. Simplificacin de (9)
11. Adjuncin a (10) suponiendo a w como proposicin
C:

14)1. ( )
2.
3.
4. ( )
5.
6. Simp (2)
7. Simp (2)
8. MP (5) y (6)
9. MP (3) y (7)
10. Adjuncin (8) y (9)
11. MP (4) y (10)
12. ( ) MP de (1) y (11)
C: ( ) (conmutatividad)

15)1.
2.
3.
4.
5.
6. ( )
7. Simp (3)
8. S.D (2) y (7)
9. S.D (1) y (8)
10. MP (4) y (9)
11. MT (5) y (10)
12. Simp (3)
13. Conjuncin (11) y (12)
14. MP (6) y (13)
C:

16)1. ( )
2.
3.
4. ( )
5.
6. Simp (5)
7. Simp (5)
8. ( ) MT (4) y (6)
9. Simp (8) + Doble negacin (8)
10. Simp(8) + Doble negacin (8)
11. S.D (3) y (9)
12. S.D (2) y (10)
13. Conj (11) y (12)
14. MT (1) y (13)
C:

17)1.( )
2.
3.
4. Ley Identidad en (3)
5. S.D (2) y (4)
6. Adjuncin de proposicin en (5)
7. M.P (1) y (6)
C:
18)1.
2.
3.
4.
5. ( )
6.
7. Ley Identidad (1)
8. Ley Identidad (2)
9. ( ) MT (5) y (7)
10. MT (6) y (8)
11. w S.D (4) y [D.N(10)]
12. Simp(D.N(9))
13. S.D (3) y (12)
14. Conj (11) y (13)
C: [Conmutatividad del operador]

19)1. ( )
2.
3.
4.( ) ( )
5.
6. Ley Identidad (5)
7. Adjuncin de proposicin a (6)
8. ( ) MP (4) y (8)
9. Ley de Morgan (8)
10. Simp (9)
11. Simp (9)
12. S.D (2) y (10)
13. S.D (3) y (11)
14. Conj (12) y (13)
15. MP (1) y (14)
C:
20)1.( )
2. ( ) ( )
3. ( )
4. ( ) Sim(3) + P. Conmutativa del operador
5. MP (4) y (2)
6. Simp (1) + Ley Identidad
7. S.D (5) y (6)
C:

21)1.
2.
3.
4.
5. S.H (3) y (1)
6. S.H (4) y (2)
7. ( ) ( ) Conj (5) y (6)
C: ( ) ( )

22)1.
2.
3.
4.
5.
6. S.H (4) y (2)
7. S.H (6) y (5)
8. S.H (7) y (1)
9. S.H (8) y (3)
C:

23)1.
2.
3.
4. Simp (1)
5. Simp (1)
6. S.D (2) y (4)
7. S.D (3) y (5)
8. Conj (6) y (7)
9. ( ) Ley de Morgan (8)
10. ( ) Definicin de Condicional
C:( )

24)1. ( )
2.
3.
4.
5. Simp (4)
6. Simp (4)
7. MP (2) y (5)
8. MP (3) y (6)
9. Conj (7) y (8)
10. ( ) Ley de Morgan (9)
11. MT (1) y (10)
C: [D.N(11)]

25)1. ( )
2. ( )
3.
4.
5. Simp (4)
6. S.D (3) y (5)
7. S.D (2) y (6)
8. Simp (7)
9. ( ) S.D (1) y (8)
10. Ley de Morgan (9)
C:

26)1.
2.
3. ( )
4. ( )
5.
6. ( ) Def. Cond(3)
7. ( ) Ley Morgan (6)
8. Simp (7)
9. Simp (7)
10. MP (2) y (8)
11. MP (1) y (7)
12. ( ) MP (4) y (11)
13. MP (5) y (10)
14. ( ) Conj (12) y (13)
C: ( )
27)1.( )
2. ( )
3. ( )
4.
5.
6. Ley de Morgan (1)
7. ( ) ( ) Dilema Constructivo (D.C) (2),(3) y (6)
8. ( ) Ley Identidad (7)
9. ( ) Def.Cond (8)
10. Ley de Morgan (9)
11. Simp (10)
12. Simp (10)
13. MP (4) y (11)
14. MP (5) y (12)
15. Conj (13) y (14)
C:

28)1.( ) ( )
2.
3.
4. ( )
5. ( ) Ley Distributiva (1)
6. Ley de Identidad [aplicada a = ]
7. MP (2) y (6)
8. S.D (3) y (7)
9. ( ) MT (4) y (8)
10. Ley de Morgan (9)
C:

29)1.
2.
3. ( )
C: ( )
Demostrar la validez de este argumento se hace ms prctico por medio de la
aplicacin de la Regla de la Deduccin (R.D) [{ } { }]. Asi
nuestro nuevo sistema por probar sera:
1.
2.
3. ( )
4. ( ) R.D [C: t]
5. Simp (4)
6. Simp (4)
7. MP (1) y (5)
8. MP (2) y (6)
9. Conj (7) y (8)
10. MP (3) y (9)
C: t

30)1.
2.
3. ( )
4. Por Equivalencia [ ]
5. S.H (4) y (2)
6. ( ) Def.Cond (3)
7. ( ) Equiv (6)
8. ( ) S.H (5) y (7)
C: ( )

31)1.
2.
3. ( )
4. C:
5. R.D [C:]
6. ( ) MT (3) y (5)
7. Ley de Morgan (6)
8. S:D (7) y (4)
9. MT (2) y (8)
10. S.D (1) y (9)
C:
32)1. ( )
2. ( )
3. C: ( )
4. R.d [C:( )]
5. ( ) MT (1) y (4)
6. MP (2) y (5)
7. S.D (3) y (6)
8. Adjuncin proposicin + conmutatividad
9. Def. Condicional (8)
C:

33)1.
2. ( )
3.
4.
5. ( ) MP (2) y (1)
6. D.C (2),(3) y (1)
C:

34)1.
2. ( )
3. ( )
4. ( ) ( ) D.C (2), (3) y (1)
5. ( ) Ley Identidad (4)
6.( ) Ley De Morgan (5)
C: ( )

35)1.
2. ( )
3. ( )
4. Simp (1)
5. Simp (1)
6. ( ) MT (2) y (4)
7. ( ) MT (3) y (5)
8. Ley Morgan (6)
9. Ley Morgan (7)
10. ( ) ( ) Conj (8) y (9)
11. ( ) Prop. Distributiva
12. Ley. Identidad [ = ]
C:

36)1. ( ) ( )
2. ( )
3. ( )
4. ( ) ( ) Def. Cond (1)
5. ( ) Equiv (2)
6. Ley Morgan (5)
7. ( ) S.H (5) y (4)
8. . S.H (7) y (3) [Ley Morgan (3)]
9. Def. Cond (8)
C:

También podría gustarte