• 2022-05-25
    “我选修了数理逻辑,因此我选修了数理逻辑或离散数学” ,这是一个有效推理。