INSTITUTO UNIVERSITARIO POLITÉCNICO SANTIAGO MARIÑO

ASIGNATURA: ÁLGEBRA I
FACILITADOR: SARA LÓPEZ
REGLA DE INFERENCIA

RESUMEN DE LAS REGLAS

Condicional () Conjunción (ᴧ )

PP TT SH S U
AB AB AB AB AᴧB A, B
A ~B B C C A SE PUEDE SEPARAR SE PUEDE UNIR

B ~A AC C B A AᴧB
B

Disyunción (v) Negación

TP AD DN
A UNA LETRA LE
AvB AvB PUEDO ADICIONAR
~B ó ~A CUALQUIER LETRA
A = ~~A
A B AvF

PASOS PARA RESOLVER APLICANDO REGLA DE INFERENCIA

A  E, P, S v A, S  ~P / E v ~A

Paso 1: Enumerar cada premisa (estas están separadas por la como) y colocar el Símbolo de Hipótesis. La
conclusión no se enumera (la conclusión es lo que estas después del / ).

1 AE H
2 P H
3 SvA H
4 S  ~P H

Paso 2: Resolver aplicando las reglas

1 AE H
2 P H
3 SvA H
4 S  ~P H
5~S TT 2, 4 (TT la letra P de la línea 2 con la ~P de la línea 4, se cancela)
6A TP 3,5 (TP, la letra ~ S de la línea 5 con la S de la línea 3)
7E PP 1,7 (PP, la letra A de la línea 6 con la A de la línea 1)
8 E v ~A AD 7 (AD a la letra E adicionamos ~A, pues es la que se necesita)
 F  R , ~ S ᴧ F, W v ~R / ~ ~W ᴧ ~S
Paso 1:

1 FR H
2 ~SᴧF H
3 Wv~R H

Paso 2:

4 ~S S2
5 F S2
6 R PP 1, 5
7 W TP 3,6
8~~ W DN 7
8 ~ ~W ᴧ ~S U 4,8