expansão do tablo com regras adicionais (gama e delta, inclusão e exclusão). Ela pode ser usada quantas vezes quiser e a constante é arbitrária.
---------------------------------------------

pag 147
---------------------------------------------
A={joão, maria, jose, marta}

T ∀x mortal(x)
______________  T∀
T mortal(e)
---------------------------------------------

T ∀x(A)				regra gama
_____________(T∀)
T A[x=a]

onde a é uma constante arbitrária
---------------------------------------------

∀x mortal(x) |- mortal(joão)

T ∀x mortal(x)
_________________
F mortal(joão)
---------------------------------------------
F ∃x (A)
_________________ outra regra gama
F A[x:=a]
---------------------------------------------
mortal(joão)|- ∃x mortal(x)

T mortal(joao)
F ∃x mortal(x)
F mortal(joão)
x
---------------------------------------------
F ∀x (A)
___________ (F∀)		regra delta
F A[x:=c]

onde c é uma constante nova
---------------------------------------------
T ∃x (A)
___________ (T∃)
T A[x:=c]
--------------------------------------------
ex
|- ∀x ( ( r1(x) v r2(x) )->( r2(x) v r1(x) ) )

F  ∀x ( ( r1(x) v r2(x) )->( r2(x) v r1(x) ) )
_______________________________________________ (F∀) regra delta
F ( r1(a) v r2(a) ) -> ( r2(a) v r1(a) ) )