“有红、黄、蓝、白四队参加足球联赛。如果红队第三,则当黄队第二时,蓝队第四;或者白队不是第一,或者红队第三;事实上,黄队第二。因此,如果白队第一,则蓝队第四。” 符号化上述论断,用演绎法验证论断是否正确。

时间:2023-12-13 19:18:36

相似题目