如何将范例推理形式化，并分析是否有效

如何将范例推理形式化，并分析是否有效

1、如果下雨，地上会湿。现在没有下雨，所以地上就不会湿。
　　下雨—>地上湿，不下雨—>地上不湿。
　　大前提：如果下雨，地上会湿
　　小前提：现在没有下雨
　　结论：所以地面不会湿。
　　下雨会导致地面潮湿，下雨是地面潮湿的充分条件，但不是必要条件，也就是说没有下雨不能保证地面不会湿。所以这个推理是无效的。因为即使没有下雨，地面也可能因为其他的原因潮湿。

2、如果你在爱之中,一切你都不会在乎。而你在乎这戒指，所以你没有恋爱
　　恋爱中—>不在乎，在乎—>没有恋爱。
　　大前提：如果你在爱之中，一切你都不会在乎。
　　小前提：你在乎这枚戒指
　　结论：所以你没有恋爱。
　　推理有效。在乎这枚戒指可能因为其他的原因，与恋爱无关。

3、如果知识分子待遇好，科研会进步; 现在知识分子待遇不高，这是学术落后的原因。
　　知识分子待遇好—>科研进步，知识分子待遇不好—>学术落后。
　　推理无效，知识分子待遇好是科研进步的必要条件，即只有知识分子待遇好，科研才能进步；但知识分子待遇好不是充分条件，即待遇好不能保证科研一定会进步。反之，待遇不高，也不能确定学术落后，可能有其他原因。

4、建议国家停止大学扩招：从这几年扩招产生的结果看，社会上的大学生数量是急剧增多了，但其质量却严重缩水，社会评价明显贬值。
　　扩招—>数量增多质量缩水，不扩招—>质量提高。
　　推理无效。扩招的后果是导致学生增多、质量下降，但是停止扩招不能解决这些问题。2015-09-21

1）如果下雨，地上会湿。现在没有下雨，所以地上就不会湿。
下雨—>地上湿，不下雨—>地上不湿。
大前提：如果下雨，地上会湿
小前提：现在没有下雨
结论：所以地面不会湿。
下雨会导致地面潮湿，下雨是地面潮湿的充分条件，但不是必要条件，也就是说没有下雨不能保证地面不会湿。所以这个推理是无效的。因为即使没有下雨，地面也可能因为其他的原因潮湿。
2）如果你在爱之中,一切你都不会在乎。而你在乎这戒指，所以你没有恋爱
恋爱中—>不在乎，在乎—>没有恋爱。
大前提：如果你在爱之中，一切你都不会在乎。
小前提：你在乎这枚戒指
结论：所以你没有恋爱。
推理有效。在乎这枚戒指可能因为其他的原因，与恋爱无关。
3）如果知识分子待遇好，科研会进步; 现在知识分子待遇不高，这是学术落后的原因。
知识分子待遇好—>科研进步，知识分子待遇不好—>学术落后。
推理无效，知识分子待遇好是科研进步的必要条件，即只有知识分子待遇好，科研才能进步；但知识分子待遇好不是充分条件，即待遇好不能保证科研一定会进步。反之，待遇不高，也不能确定学术落后，可能有其他原因。
4）建议国家停止大学扩招：从这几年扩招产生的结果看，社会上的大学生数量是急剧增多了，但其质量却严重缩水，社会评价明显贬值。
扩招—>数量增多质量缩水，不扩招—>质量提高。
推理无效。扩招的后果是导致学生增多、质量下降，但是停止扩招不能解决这些问题。2015-03-12

1)如果下雨,地上会湿。现在没有下雨,所以地上就不会湿。下雨—>地上湿,不下雨—>地上不湿2015-09-12