20230129日志 2023年1月29日 2023 202301, 命题 命题 # 条件放在左侧，结果放在右侧 p是q的充分条件, p->q p是q的必要条件, p<-q p是q的重复必要条件, p<->q p的重复必要条件是q, q<->p 小范围能推出大范围