TABLA DE REGLAS BSICAS

TABLA DE REGLAS SEMANTICAS

a) Reglas bsicas de implicacin I! M"d s #"nens $M#)% permite eliminar el implicador ( ) A B A B II! Te"'ema de Ded ccin $TD)% permite introducir el implicador ( ) A . . B A B b) Reglas bsicas de c"n) ncin III! Simpli+icacin $Simp)% permite eliminar el conjuntor (^) (Simp1) (Simp2) A B , A B A B I(! #'"d ct" $#'"d)% permite introducir el conjuntor (^) A B A B c) Reglas bsicas de dis. ncin (! Adicin $Ad)% permite introducir el disyuntor (v) (Ad1) (Ad2) A B A B , A B (I! #' eba p"' Cas"s $Cas)% permite eliminar el disyuntor (v) A B A . . C B . . C C d) Reglas bsicas de negacin (II! D"ble Negacin $DN)% permite eliminar el negador () A A (III! Red ccin al Abs 'd" $Abs)% permite introducir el negador () A . . B B A * para formular una Abs normalmente la precede un Prod

a)

Regla semntica de ded ccin &! D"ble Negacin $DN) A

b)

A (e'dad de la c"n) ncin *! (e'dad de la C"n) ncin $(C) A B

,!

A B -alsedad de la C"n) ncin $-C) (A B)

c)

A B Reglas semnticas de dis. ncin /! (e'dad de la Dis. ncin $(D) A B A B -alsedad de la Dis. ncin $-D) (A B)

0!

d)

A B Reglas semnticas de implicacin 1! (e'dad de la Implicacin $(I) A B A B -alsedad de la Implicacin $-I) (A B)

2!

e)

A B Reglas semnticas de c"mplicacin 3! (e'dad de la C"implicacin $(C4) A B A A B B -alsedad de la C"implicaci"n $-C4) (A B) A B A B

5!

ESTRATEGIAS DE DED6CCI4N MEDIANTE REGLAS BASICAS7 Estrategia 1: principio de economia Estrategia 2: aplicacin de las reglas que no introducen supuestos su sidiarios, sal!o en la "rue a de Casos (Cas) Estrategia #: aplicacin del $eorema de %educcin ($%) Estrategia &: aplicacin de la 'educcin al A surdo (A s) Estrategia (: deri!acin sin supuestos iniciales , de iendo necesariamente comen)ar introduciendo los supuestos su sidiarios de las estrategias de aplicacin $% * A s Estrategia +: com inacin de estrategias M4D4 DE C4NSTR6IR TABLAS SEMANTICAS7 1, -niciacin del .r ol lgico: se colocan en columna unas tras otra las premisas iniciales seguidas de la negacin de la conclusin (en caso de que no /u ieran premisas iniciales se inicia el .r ol con la negacin de la conclusin) 2, Aplicacin de las reglas: se de en elegir prioritariamente aquellas reglas que no entra0an i1urcacin (%2, 3C, 4%, 4-) #, Clausura de tra*ectoria: una tra*ectoria queda clausurada cuando en ella sur5a una contradiccion (se pone una ra*a /ori)ontal de a5o) &, Clausura de ta la * !alidacin de argumentos: todas las tra*ectorias clausuradas 6 argumento 3A7-%8, que no 6 argumn. 28 3A7-%8