Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation