of logic are " commands" , " ... logic propositional-calculus asked dec ' at : saint james silver badges bronze badges votes answer views help understanding the proof of the compactness theorem [closed] i need a help understanding the proof appearing in the above pictures. i got it that it uses mathematical...