Template:Ifnotempty/doc

更多信息：命题

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

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

一些哲學家，諸如约翰·瑟尔，認為其他形式的語言或行為也判定命題。是非疑問句是對命題真值的詢問。道路交通標誌不通過語言和文字也表達了命題。使用陳述句也可能給出一個命題而不判定它，例如，在當老師請學生對某個引用發表意見的時候，這個引用就是一個命題（即它有語義）而這個老師並沒有判定它。在上一段中，只給出了命題“雪是白的”，但沒有判定它。

關於命題的本質，學界提出了多種理論，包括將命題視為可能世界的集合、由個體與概念構成的結構性實體，或特定類型的性質與關係等觀點。命題與多個學術領域密切相關：邏輯學家分析命題的邏輯形式與推理模式；語言學家研究自然語言如何編碼命題資訊；心理學與心靈哲學則考察心靈如何透過命題態度（如信念與欲望）處理命題內容。

例子

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