Logic
Is it possible to prove that something cannot be derived (considering only well-formed-formulas) in a natural derivation system? I mean a premise P cannot yield the conclusion Q since there isn't any logical rule that justifies the inference but how can someone prove this?
Accepted:May 20, 2010
Accepted:
May 20, 2010