every formula is a logical consequence of its univeral closure.



Hi

I am new in this forum and I don't have any background in logic and
computability.

I had a question " How do you prove from the definition of logical
consequence that every formula is a logical consequence of its univeral
closure."

Just some hints and advise would be helpful.

Thanks...

.