1. (2024·大庆模拟) 北宋时期的程颢、程颐在《二程集》中有言“君子之学必日新，日新者日进也，不日新者必日退，未有不进而不退者。”如以上判断为真，则下列推断正确的有（ ）

①“日新者日进也”为必要条件假言判断

②“不日新者必日退”为必要条件假言判断

③“不日新者必日退”为充要条件假言判断

④“未有不进而不退者”为不相容选言判断