视频字幕
这是一道关于命题否定的逻辑题。我们需要找出全称命题的否定形式。题目给出的原命题是：对于所有大于0的x，2x加5大于0。我们需要根据逻辑规则来找出它的否定。
全称命题的否定有固定的规则。第一步是将全称量词改为存在量词，第二步是否定结论部分。用符号表示就是：不是所有x都满足P(x)，等价于存在某个x不满足P(x)。这是逻辑学中的基本定理。
现在我们应用规则来求解这道题。原命题是对于所有大于0的x，2x加5大于0。第一步，将全称量词改为存在量词，得到存在x大于0。第二步，否定结论部分，将大于0改为小于等于0，得到存在x大于0，使得2x加5小于等于0。这正是选项B。
让我们验证其他选项为什么错误。选项A将条件从x大于0改为x小于等于0，这是错误的，否定命题不应该改变原命题的条件。选项C和D都保持了全称量词，这违反了否定规则的第一步。只有选项B正确地将全称量词改为存在量词，并否定了结论部分，因此是正确答案。
全称命题的否定有固定的规则。第一步是将全称量词改为存在量词，第二步是否定结论部分。用符号表示就是：不是所有x都满足P(x)，等价于存在某个x不满足P(x)。这是逻辑学中的基本定理。
现在我们应用规则来求解这道题。原命题是对于所有大于0的x，2x加5大于0。第一步，将全称量词改为存在量词，得到存在x大于0。第二步，否定结论部分，将大于0改为小于等于0，得到存在x大于0，使得2x加5小于等于0。这正是选项B。
让我们验证其他选项为什么错误。选项A将条件从x大于0改为x小于等于0，这是错误的，否定命题不应该改变原命题的条件。选项C和D都保持了全称量词，这违反了否定规则的第一步。只有选项B正确地将全称量词改为存在量词，并否定了结论部分，因此是正确答案。
总结一下命题否定的关键要点：第一，将全称量词改为存在量词；第二，保持条件不变；第三，否定结论部分；第四，大于号的否定是小于等于号。因此原命题的否定是：存在x大于0，使得2x加5小于等于0。答案是选项B。掌握这些规则，就能轻松解决类似的逻辑题目。