写出下列模态推理的逻辑式，并说明其是否正确。
1.改革不可能没有阻力，所以，改革必然有阻力。
2.今年必然大旱，所以，今年大旱。
3.明天客人可能上山，所以，明天客人不一定不上山。
4.凡三好学生都获一等奖学金，王强必然是三好学生；所以，王强必然获一等奖学金。
5.法盲可能不自觉走上犯罪道路，有些青年是法盲；所以，有些青年可能不自觉走上犯罪道路。