Regras de Deduo Natural

Regra E
Se uma conjuno

p q

ocorre numa linha j, ento numa qualquer linha k seguinte

pode-se deduir qualquer uma das conjugadas! Esquematicamente"
a
#
, !!!,a
n
$j% p q
&
a
#
, !!!,a
n
$k% p, ou q j E
Regra '
(ara qualquer )*rmula p e q, se p ocorre na linha j e q ocorre na linha k, ento a )*rmula

p q

pode-se deduir