23.2 假言的恒真式和演绎