Filosofía / Reglas De Inferencia

Reglas De Inferencia

Ensayos: Reglas De Inferencia

Enviado por:  Quizumaro  21 febrero 2013
Tags: 
Palabras: 441   |   Páginas: 2
Views: 1456

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

...



Suscríbase a EnsayosGratis

Suscríbase a EnsayosGratis - 30.000 Ensayos y Trabajos


Ensayos relacionados

 
closeAcceso
Introduzca su nombre de usuario y contraseña
Nombre de usuario:
Contraseña:
¿Ha olvidado su contraseña?