I am trying to teach myself some logic by means of "A Friendly Introduction to Mathematical Logic" of Leary and Kristiansen.
It has a focus on formulas in the sense that axioms are not necessarily sentences.
Interference rules practicized in that book are PC (propositional consequence) and the quantifier rule QR stating that from $\psi\to\phi$ we can deduce $\psi\to\forall x\phi$ if $x$ is not free in $\psi$.
Let $\mathcal{L}$ be a first order language, let $\bot$ denote some $\mathcal{L}$-sentence of the form $\psi\wedge\neg\psi$ and let $\phi$ be an $\mathcal{L}$-formula.
Then $\Sigma:=\left\{ \phi\right\} $ is by definition inconsistent if there is a deduction from $\Sigma$ to $\bot$.
Now my question:
If $\left\{ \phi\right\} $ is inconsistent then can it be proved that also: $\vdash\phi\to\bot$?
It is clear to me that the answer is "yes" if $\phi$ is a sentence because then we can apply the deduction theorem.
But what if $\phi$ is not a sentence?
My try:
If $\tilde{\phi}$ denotes a universal closure of $\phi$ then $\left\{ \tilde{\phi}\right\} \vdash\phi$ so that by transitivity of $\vdash$ we have $\left\{ \tilde{\phi}\right\} \vdash\bot$ and appying deduction theorem we have $\vdash\tilde{\phi}\to\bot$.
But this only shifts the problem to another question:
If there is a deduction $\vdash\tilde{\phi}\to\bot$ then is there also a deduction $\vdash\phi\to\bot$?
Thank you in advance and my apologies if this question is a duplicate.