24. 论必然命题的换位