Dear Friends,
I write to inquire about an example of logic system to which the
meta-inference rule does not apply. If you can remember any, please feel
free to respond this.
By meta-inference rule I mean:
If A,B |- C, then A |- B=C
Thank you very much.
Caro Tony,
o exemplo mais óbvio e conhecido de falha do Teorema da Dedução
ocorre na lógica trivalente L3 de Lukasiewicz:
primeiro, nao vale a lei de absorção
(p --(p -- q)) -- (p --q), o que impede o Teorema da
Dedução na forma usual, isto é,
não vale:
p |- q sse |- p