對於乙個命題,如果舉不出反例,就可以認為是正確的嗎?乙個命題,如果可以證明是正確的,就不存在例外嗎?

時間 2021-09-16 04:45:54

1樓:

對於乙個命題,如果舉不出反例, 可能是人類認識水平有限,暫時舉不出反例,不代表它肯定不存在反例。因此不能認為它為真。不過在工程史上,經常使用一些長期無法證明和證偽的數學猜想。

2樓:

鑑於你加的話題標籤是「邏輯」和「數學」,那麼我就預設你說的「證明」都是指嚴格意義上的演繹證明。「正確」一詞有含糊性,不是乙個嚴格的術語,命題應該講「真」和「假」。

證明都必須事先指定乙個公理系統,乙個命題在給定的公理系統內得到證明,那麼它在這個公理系統內就是真的,在這個公理系統之內不可能找出反例。如果沒有指定公理系統,就不能談論命題的真假。

在給定的公理系統中,乙個命題舉不出反例,不一定就是真命題。它有可能是真的,還有待證明;也有可能是假的,只是暫時沒有找到反例;還有可能是不可判定的,既不能被證明為真,也不能被證明為假,哥德爾不完全性定理表明,許多公理系統中都可以構造出不可判定的命題。

3樓:

如果乙個命題能夠正著證明出來,它就一定是對的,無論在任何條件下都是對的。如果是通過觀測得到的定律(公理除外),無法通過現有的定理證明,就不具有正確性。我們所證明的具有一定條件,在普遍情況下進行證明,具有普遍性

如果乙個數學猜想的反例趨向無窮,那這反例能否推翻這個猜想呢?

請你倒是說清楚 n 時不滿足某猜想 是什麼意思。首先,不是數,所以不存在 n 這種說法 其次,數學證明中常用的 n 時不滿足某猜想 指的是充分大的n不滿足,也就是存在乙個臨界值M,當n M時全部 按需求,這裡也可以改成部分n 都不滿足 而這應該不是你想表達的意思吧? 李三畏 如果數學猜想係指乙個未經...

如果有這麼乙個寺廟(只要願意幹活就可以住下)你願意去嗎

滿漫 個人覺得如果不考慮出家的話,還不如找乙個沒人認識的城市,換乙份工作來得更實在,因為作為在家人在寺院裡生活很多時候是沒有保障的。你年富力強的話,在寺院裡呆著還沒事,但當你年老體弱的時候,寺院一般會毫不留情地把你掃地出門。 落拓子 願意。心儀清規戒律的生活方式,這個社會,想要的太多,需要的本來不多...

我有個疑惑,對於佛教。如果乙個奴隸修行佛法,佛法是讓奴隸抗爭呢還是順服呢?

心安則樂 身做奴僕是因果所致,因果可以還,命運可以改,因緣際會時機一到,自然就會有所顯現。佛法不是叫奴隸去爭鬥,而是叫奴隸去面對與改變。 79人生 佛法是修自心,是讓自心得到解脫。即使是乙個關在牢房裡的囚犯,他的心也可以因為修法而獲得解脫。因此佛法不會告訴奴隸是抗爭還是順從,這些都不是修佛法的目的。...