勿言推理

1) 经过人类长期反复的实践检验是真实的，不需要由其他判断加以证明的命题和原理。 2) 某个演绎系统的初始命题。这样的命题在该系统内是不需要其他命题加以证明的，并且它们是推出该系统内其他命题的基本命题。

什么是逻辑推理有效性(不需要太专业，理解一下就行）

就是符合逻辑推理规则的推理，即在推理的形式上是正确的，举个例子比如P—>Q P推Q 天下雨 地会湿 M—>Q M推Q 洒水 地会湿 P V M P或者M 天下雨或者洒水 ———— Q 可推Q 地湿这是一个二难推理的有效形式举个不符合推理形式的例子命题：天下雨，地会湿 即如果P则Q这是一个充分条件的假言推理，就是前因后果，但是，如果你颠倒顺序，就不符合它的形式，就是错的，即地湿了，天下雨了，这显然是不一定的，因为还有可能洒水等原因造成 值得注意的一点是有效的推理内容却不一定都是正确的，比如三段论形式大前提 所有的猪都是鱼类前提 A是猪结论 A是鱼类这个推论看起来很荒谬，但是却是有效的推理，因为形式正确，所以有效指的是推理形式有效而已，不一定都是正确的。