Template:Ifnotempty/doc

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

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

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

例子

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

参见

^ Irving & Carl 2019，第4-5頁.

[FOOTNOTEIrvingCarl20194-5-1] Irving & Carl 2019，第4-5頁.

[1]

查论编逻辑联结词模板
{{恆真}}（ $\top$ ）
{{与非}}（ $\uparrow$ ） {{反蕴涵}}（ $\leftarrow$ ） {{蕴涵}}（ $\rightarrow$ ） {{或}}（ $\lor$ ）
{{非}}（ $\neg$ ） {{异或}}（ $\oplus$ ） {{双条件}}（ $\leftrightarrow$ ） {{命题}}
{{或非}}（ $\downarrow$ ） {{非蕴涵}}（ $\nrightarrow$ ） {{反非蕴涵}}（ $\nleftarrow$ ） {{与}}（ $\land$ ）
{{恆假}}（ $\bot$ ）