模板:Ifnotempty

模板文档[查看][编辑][历史][清除缓存]

更多信息：命题

Template:Ifnotempty
维基媒体模板

命题（英语：proposition），在逻辑学、哲学、语言学中，是一个陈述句所表达的判断，具有真值，即不是真的就是假的。例如，“雪是白色的”。命题不等同于句子，例如，“雪是白色的”和“白色是雪的颜色”是不同的句子，但它们判断相同的事，是相同的命题；同时，命题也不依赖于语言，不同的语言可以表达相同的命题，例如，“雪是白的”和“Snow is white”是相同的判断。其次，不具备真值的疑问句、祈使句、感叹句都不是命题。

由其他命题推出命题的过程，即自前提推出结论，叫做推论；而这些作为前提和结论的命题的集合，叫做论证。命题逻辑主要处理命题及其之间的逻辑关系。

一些哲学家，诸如约翰·瑟尔，认为其他形式的语言或行为也判定命题。是非疑问句是对命题真值的询问。道路交通标志不通过语言和文字也表达了命题。使用陈述句也可能给出一个命题而不判定它，例如，在当老师请学生对某个引用发表意见的时候，这个引用就是一个命题（即它有语义）而这个老师并没有判定它。在上一段中，只给出了命题“雪是白的”，但没有判定它。

关于命题的本质，学界提出了多种理论，包括将命题视为可能世界的集合、由个体与概念构成的结构性实体，或特定类型的性质与关系等观点。命题与多个学术领域密切相关：逻辑学家分析命题的逻辑形式与推理模式；语言学家研究自然语言如何编码命题资讯；心理学与心灵哲学则考察心灵如何透过命题态度（如信念与欲望）处理命题内容。

例子

代码	结果
{{Ifnotempty|a|true|false}}	true
{{Ifnotempty| |true|false}}	false

参见

上述文档嵌入自Template:Ifnotempty/doc。（编辑 | 历史）
编者可以在本模板的沙盒（创建 | 镜像）和测试样例（创建）页面进行实验。
请在/doc子页面中添加分类。本模板的子页面。