Viernes, 25 de Marzo 2011

Hoy hemos corregido una actividad de cálculo deductivo, que es la siguiente:

-p ^ q

1. r->p

2.r->q

3.r^t

4. r RE ^3

5.p RE->1,4

6.q RE->2,4

7.p^q RI 5,6

El antecedente no se elimina, las que se eliminan son las conectivas.

Hemos explicado las reglas de introducción del condicionador y de introducción del negador.

• Regla de introducción del condicionador:

X

Y

------

X->Y

Un ejemplo es el siguiente:

-p->t

1.q^r premisa

2.r->t premisa

3.p

4.r RE^1

5.t RE->2,4

6.p->t RI->3-5

Siempre que queramos derivar un enunciado condicionador debemos abrir una hipótesis con el antecedente e intentar llegar al consecuente.

Las hipótesis hay que abrirlas cuando sean necesarias y cuando sepamos como vamos a cerrarlas.

• Regla de introducción del negador:

X

Y^¬X

--------

¬X

Un ejemplo es el siguiente:

¬p

1.p->¬r

2.t^s

3.t->r

4.p

5.t RE^2

6.r RE->3,5

7.¬r RE->1,4

8.¬^¬r RE^6,7

9.¬p RE ¬ 4-8

Siempre que tengamos algo afirmado y negado, cerramos la hipótesis.

• Regla de eliminación del disyuntor:

X

Z

Y

Z

-----

Z

Cristina Medina Carranco.