论证 10 An argument in propositional logic is a sequence of propositions.All but the final proposition in the argument are called premises and the final proposition is called the conclusion.An argument is valid if the truth of all its premises implies that the conclusion is true. “如果我是马云，那么我给各位每人发一辆法拉利。 “我是马云。” 我给各位每人发一辆法拉利。”论证  An argument in propositional logic is a sequence of propositions. All but the final proposition in the argument are called premises and the final proposition is called the conclusion. An argument is valid if the truth of all its premises implies that the conclusion is true. 10 “如果我是教师，那么我要上课。” “我是教师。” ∴“我要上课。” “如果我是马云，那么我给各位每人发一辆法拉利。” “我是马云。” ∴“我给各位每人发一辆法拉利