Template:Ifnotempty/doc
在逻辑学、哲学、语言学中,命题(英語:proposition)是一个陈述句所表达的判断,具有真值,即不是真的就是假的。例如,“雪是白色的”。命题不等同于句子,例如,“雪是白色的”和“白色是雪的颜色”是不同的句子,但它们判断相同的事,是相同的命题;同时,命题也不依赖于语言,不同的语言可以表达相同的命题,例如,“雪是白的”和“Snow is white”是相同的判断。疑问句、祈使句、感叹句都不能表达命题。[1]
由其他命题推出命题(前提推出结论)的过程,叫做推论;而这些作为前提和结论的命题的集合,叫做论证。命题逻辑主要处理命题及其之间的逻辑关系。
一些哲學家,諸如约翰·瑟尔,認為其他形式的語言或行為也判定命題。是非疑問句是對命題真值的詢問。道路交通標誌不通過語言和文字也表達了命題。使用陳述句也可能給出一個命題而不判定它,例如,在當老師請學生對某個引用發表意見的時候,這個引用就是一個命題(即它有語義)而這個老師並沒有判定它。在上一段中,只給出了命題雪是白的,但沒有判定它。
例子
编辑代码 | 结果 |
---|---|
{{Ifnotempty|a|true|false}} | |
{{Ifnotempty| |true|false}} |
参见
编辑
|
- ^ Irving & Carl 2019,第4-5頁.