Is it possible to prove that something cannot be derived (considering only well

Is it possible to prove that something cannot be derived (considering only well

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?

Read another response by Alexander George, Peter Smith
Read another response about Logic
Print