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 |-
Dear Tony,
The deduction theorem does not hold for many modal logics. PDL is a
classical example.
Mario
Em 17 de junho de 2011 13:36, Tony Marmo escreveu:
> Dear Friends,
>
> I write to inquire about an example of logic system to which the
> meta-inference rule does not apply. If you can remem
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.