Leer Ensayo Completo

Reglas De Inferencia

Categoría: Filosofía

Enviado por: Quizumaro 21 febrero 2013

Palabras: 441 | Páginas: 2

Bachillerato a Distancia

Lógica para la solución de problemas

Actividad: Regla de Inferencia

Unidad: Cuatro, Tema: Método de Deducción Natural. Pag. 4 de 5

Asesor: José Humberto Morales Esparza

Instrucciones: En esta actividad tienes que llegar a la conclusión (que aparece en color rojo) a partir de las premisas que se te ofrecen (en color azul), aplicando las reglas de inferencia. Para ello tienes que elaborar una estrategia. No olvides que en cada línea sólo se puede utilizar una regla y en cuanto al número de líneas que se utilizan para inferir el resultado pueden ser una o dos.

Para elaborar esta actividad descarga el siguiente archivo y realiza el ejercicio que se te pide, posteriormente guarda el documento que elaboraste y adjunta el archivo para que le llegue al asesor y te retroalimente.

Fuentes De Consulta: http://187.141.18.107/moodle/file.php/27/logica/Unidad_4/frameset_u4.html

Reactivo 1:

Demostrar: (q ? t)

1) (q ? r)

2) (r ? s)

3) (s ? t)

4) q MTT 1

5) r MTT 2

6) t MTT 3

7) ( r ? t ) CONJ 5,6

8) ( q ? t) SH 1,7

Reactivo 2:

Demostrar: ~ q

1) (q ? r)

2) (r ? s)

3) (s ? t)

4) ~ t

5) ~s MTT 3,4

6) ~r MTT 2,5

7)~q MTT 1,6

Reactivo 3:

Demostrar: (~r ? ~s)

1) (r ? m)

2) (s ? w)

3) (~m ? ~w)

4) ~w SIMP 3

5) ~m MTT 3,4

6)~s MTT 2,4

7)~r MTT 1,5

8)(~r ? ~s ) CONJ 7,6

Reactivo 4:

Demostrar: (p? ~q)

1) (r ?p)

2) (q ? s)

3) (r ? ~s)

4) ~s SIMP 3

5) ~q MTT 2,4

6) p MPP 1

7) (p ? ~q) CONJ 5,6

Reactivo 5:

Demostrar: p ? f

1) (r ? s)

2) (s ?m) ? p

3) (r ? b)

4) r MPP 1

5) (r ? b) CONJ 4

6) p MPP 3

7) p ? f AD 6

...

Leer Ensayo Completo