1樓：
對於乙個命題，如果舉不出反例， 可能是人類認識水平有限，暫時舉不出反例，不代表它肯定不存在反例。因此不能認為它為真。不過在工程史上，經常使用一些長期無法證明和證偽的數學猜想。
2樓：
鑑於你加的話題標籤是「邏輯」和「數學」，那麼我就預設你說的「證明」都是指嚴格意義上的演繹證明。「正確」一詞有含糊性，不是乙個嚴格的術語，命題應該講「真」和「假」。
證明都必須事先指定乙個公理系統，乙個命題在給定的公理系統內得到證明，那麼它在這個公理系統內就是真的，在這個公理系統之內不可能找出反例。如果沒有指定公理系統，就不能談論命題的真假。
在給定的公理系統中，乙個命題舉不出反例，不一定就是真命題。它有可能是真的，還有待證明；也有可能是假的，只是暫時沒有找到反例；還有可能是不可判定的，既不能被證明為真，也不能被證明為假，哥德爾不完全性定理表明，許多公理系統中都可以構造出不可判定的命題。
3樓：
如果乙個命題能夠正著證明出來，它就一定是對的，無論在任何條件下都是對的。如果是通過觀測得到的定律（公理除外），無法通過現有的定理證明，就不具有正確性。我們所證明的具有一定條件，在普遍情況下進行證明，具有普遍性
如果能證明乙個命題不成立的只有這個命題成立本身，那麼這個命題是真命題還是假命題？
白雲 a重言蘊含非a，當然是假命題了。還有邏輯學關注的是推理的形式。可以刻畫三值邏輯以及多值邏輯。當代邏輯更傾向於把真值刻畫成函式對映。我推薦你讀一下邏輯學的導論。 對著星辰流口水 稍加思考，就會發現這個和悖論相似，且與說謊者悖論是乙個型別。借用上乙個答者的回答 從語言層面的角度分析，你會發現，第一...
如果乙個同性比你英俊瀟灑（或美麗大方）比你舉止儒雅比你學識淵博比你愛好廣泛比家境好，你該怎麼超越他
楊小喵 想回答 不掙扎。哈哈哈。如果想要進步，就選乙個後天能夠努力的而且自己有點優勢 天賦的去為之努力。如果但是是單純嫉妒羨慕別人，那大可不必。人老了，我現在很少有這種非得超越別人的心態。而且按你的描述，那不是到了被別人家碾壓的程度了嗎，為啥還非得想著超越別人。我自己的小日子過得不香嗎？ 大餅神龜 ...
如果有個高富帥給你乙個賭局 生了孩子就可以結婚，你會賭嗎（對方是英國白人，35歲，職業律師，非豪門）？
空中飛豬 我一定不會賭的！因為結婚和孩子不是我的人生終極目標！我會結婚但是我希望嫁給乙個我愛的男人無關貧窮富有，也無關長相帥氣還是一般。但是我們會一起奮鬥創造更好的生活。我大概會生小孩但是這不能作為我結婚的條件。我不希望我是因為孩子而結婚。因為我覺得孩子和婚姻是兩回事。孩子想要可以有，但婚不是說結就...