可能是 與 可能不是 在邏輯學上等價嗎?

時間 2021-05-30 13:06:16

1樓:logicer

大家的回答已經解釋了為什麼「可能是」與「可能不是」在邏輯上不等價,這裡不重複。我想回答的是,為什麼答案如此明顯的東西會作為問題被提出來?把Ebichu De Z的回答最後兩句說得更清楚一點就是:

日常語言的「可能」是有歧義的,首先,「可能」等同於「非必然」,而「非必然」有兩種解釋,一種解釋等價於模態邏輯意義上的「可能非」,如此則「可能是」與「可能不是」仍然不等價;另一種則是將「非必然」解釋為「偶然」,在這種解釋下,「可能是」與「可能不是」確實是邏輯等價的。用形式語言來說,「偶然p」相當於「可能p且可能非p」(這裡的「可能」是模態可能運算元)。根據合取命題合取支的可交換性和雙重否定律可得,「偶然p」與「偶然非p」都等價於「可能p且可能非p」。

這就是為什麼我們有時會覺得「可能是」與「可能不是」是邏輯等價的。

2樓:盧永北

有三種情況,A:一定是;B:可能是也可能不是;C:一定不是。

邏輯上,「可能是」指A和B的並集,「可能不是」指B和C的並集。

但是在日常語言中,「可能是」和「可能不是」一般都是單指B。

3樓:Turan Su

1.若「一定是」為真,則:

「可能是」為真

「可能不是」為假

2.若「一定不是」為真,則:

「可能是」為假

「可能不是」為真

3.既非「一定是」也非「一定不是」,則:

「可能是」與「可能不是」同為真

綜上可知,「可能是」與「可能不是」不等價。

4樓:

當然不等價。

這個問題在邏輯學中屬於模態命題的範疇。

1.用等價關係來解釋:

可能是=不必然不

可能不是=不必然是

2.用矛盾關係來解釋:

「可能是」的矛盾命題為:不可能=必然不

「必然是」的矛盾命題為:不必然是=可能不是所以當然不一樣。

5樓:淺淺七夏Doria

感覺大家都說的好深奧,我覺得從平時大家說話的習慣來看,「可能是」就是說話者覺得這個東西偏向「是」,「可能不是」就是說話者覺得這個東西偏向「不是」,潛意識裡已經表明說話者的答案啦~

6樓:王永豪

看你怎麼interpret了,如果是這種interpretation:

可能是P:There exists at least one case in all possible worlds where P. (在所有的可能世界中,至少在乙個世界中P是真的)

可能不是P:There exists at least one case in all possible worlds where ~P.

假設P is necessarily true。

【可能是P】的真值為真。

【可能不是P】的真值為假。

存在至少一種情況這兩個句子的真值不同。

所以他們不等價。

如果是這種interpretation:

可能是P:There exists at least one case in all possible worlds where Pand it is not the case that P in all possible worlds.

(在所有的可能世界中,至少在乙個世界中P是真的,並且並不是在所有的可能世界中P是真的)

可能不是P:There exists at least one case in all possible worlds where ~Pand it is not the case that ~P in all possible worlds.

那麼它們的真值就會在所有情況下相等。這時候它們等價。

我沒有學到對可能性的logical interpretation,所以我也不知道哪種interpretation是公認的。

7樓:

不等價,感覺和邏輯題裡的could be true 和couldn't be true有點像。

可能是對的包括一定是對的和可對可不對,但是不包括一定不對。

可能不是對的包括一定不對和可對可不對,但不包括包括一定對。

8樓:雲天明

首先我們來定義可能吧

可能這個詞,在概率論上意味著possibility(x)>0

而數理邏輯似乎不涉及概率問題,而「可能」這個詞一定在是存在很多情況下才有效,所以引入量詞,那麼我們從集合論的角度考慮,「可能」意味著「存在」

也就是說,statement(x)可能為真,意味著存在x,使得statement(x)為真

statement(x)可能不為真,即s(x)可能為假,即存在x,s(x)為假

嗯……以上兩命題一般不等價

嗯……不過我們一般用同或來表示異或,也就是說,可能意味著不一定且不一定不,在這種語境下這兩個命題等價。

聽說有一種叫做概率邏輯的東西?

9樓:我佛慈悲

是等價的,邏輯是數學思維。」可能是「的反義詞是」不可能是「,而」可能不是「意味著也」可能是「,」不可能是「與」可能是「相反,所以」可能是「與」可能不是「在邏輯上等價。

可能是由於所謂優秀,與身邊女生不好相處怎麼辦? ,?

Crush 您是古天樂還是古巨基?您是有億萬家財還是有劍橋牛津的學歷?說女生嫉妒你啥的看來您心裡還真沒逼數兒大家只是覺得你做作又裝逼 小魚 脫離現在的環境,然後學會適應孤獨,接下來找打適合自己的圈子。我也是農村的的,從上學以來我就和身邊的人沒有辦法真正的融合在一起。當時也是挺苦惱的,但是在小學公升高...

所以李昇勳在戀愛嗎?可能是誰?

eunseo yoon 這 不是自己澄清了嗎,目前為止沒談過戀愛。而且,了解韓綜的人很容易看出來,radio star那次是開玩笑。我在南韓生活過,節目播出的時候南韓人根本沒當真啊 身邊的站姐都沒有想過去挖這事兒。大家都知道那是節目效果。國內真的很能炒很能自導自演 服了 再說,二十幾歲的年紀,那麼優...

人類的科學體系,是否也有可能是「分布式」而不是「規則式」的?

小男 知識的獲得大體分為三個階段,先廣度,再深度,再效率最佳。而科學體系也分為三大類。數學偏廣度,在各種是和不是的邊緣試探。物理學偏深度,在特定領域尋找理論和現實的距離。工程類是效率的科學,人類現實社會中的星辰大海。我想你說的分布式和規則式指的是確定和不確定的。其中不確定的,有邏輯體系的是神學和哲學...