# What is the proof for the Reductio (in a derivation)

In deductive logic, we may make the following step:

( {Γ,P}⊨Q & {Γ,P}⊨¬Q ) ⇒ {Γ}⊨¬P

I've been trying to find examples of a proof that this inference follows, but I've struggled with my search. If anyone could point me in the right direction, or show me the proof, it would be much appreciated.

I would be particularly interested in a proof that doesn't use a deduction theorem to prove that a reductio as a logically permissible inferential step.

• I don't believe the PSE is the right site for this particular question; rather, perhaps the Mathematics Stack Exchange? – Mr Pie Apr 30 '18 at 0:31
• I strongly disagree. Logic is as much a branch of Philosophy as metaphysics. – BeingOfNothingness Apr 30 '18 at 10:09
• I would say you are not writing the problem correctly. It seems you are using a conditional as if the consequent is the conclusion. That is you seem to express what follows the arrow is the conclusion which is not correct. There is another SYMBOL for that and it's not the arrow. As written one can take it as you wrote exactly one long premise. – Logikal Apr 30 '18 at 18:47
• Assuming you work with natural deduction, Malamud's notes have a proof on p.3, it uses the ⊥ formation rule. – Conifold Apr 30 '18 at 21:51