正式逻辑的正确性
原文：Proving correctness in formal logic

我想知道是否有人能帮助我回答这个问题。这是前一份考试论文的答案,我也可以知道这个年度考试的答案。这个问题似乎很简单,所以我...