Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am struggling with the way to write a clear and mathematical proof of logical theorems. Take for example the theorem $\Gamma \models A, \Gamma \subseteq \Delta$ implies $\Delta \models A$. I can prove it this way:

If every formula in $\Delta$ is validated, then that validates every formula in $\Gamma$, which validates $A$.

But how do I prove such thing with mathematical language?

share|improve this question
    
What exactly dies "validated" mean here? Spell that out a bit, and you will have your desired proof. –  Peter Smith May 15 '13 at 18:19
1  
If the word "validated" was used in the definition of $\models$ (and was, therefore, defined beforehand), then you might not need to spell it out, but otherwise I agree with Peter that you should. –  Andreas Blass May 15 '13 at 20:55
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.