模態(tài)詞和模態(tài)命題
模態(tài)
狹義=必然 or 可能
□=必然
◇=可能
若物理上可能驻子，則邏輯上可能进肯。
種類
必然肯定
必然否定
可能肯定
可能否定
真值
若p真艇肴，則p在所有可能世界中都真腔呜。
若p假，則p至少在一個(gè)可能世界中為假再悼。
對當(dāng)關(guān)系
| □p | □￢p | ◇p | |
|---|---|---|---|
| ◇￢p | 矛盾 | 差等 | 下反對 |
| ◇p | 差等 | 矛盾 | |
| □￢p | 反對 |
邏輯學(xué)導(dǎo)論5-模態(tài)命題
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
- 文/潘曉璐 我一進(jìn)店門嚎杨，熙熙樓的掌柜王于貴愁眉苦臉地迎上來，“玉大人氧腰，你說我怎么就攤上這事枫浙。” “怎么了古拴？”我有些...
- 文/不壞的土叔 我叫張陵箩帚，是天一觀的道長。 經(jīng)常有香客問我黄痪，道長紧帕，這世上最難降的妖魔是什么？ 我笑而不...
- 正文 為了忘掉前任桅打，我火速辦了婚禮是嗜，結(jié)果婚禮上，老公的妹妹穿的比我還像新娘挺尾。我一直安慰自己鹅搪，他們只是感情好，可當(dāng)我...
- 文/花漫 我一把揭開白布遭铺。 她就那樣靜靜地躺著丽柿，像睡著了一般恢准。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發(fā)上甫题，一...
- 文/蒼蘭香墨 我猛地睜開眼舱卡，長吁一口氣：“原來是場噩夢啊……” “哼辅肾！你這毒婦竟也來了？” 一聲冷哼從身側(cè)響起轮锥，我...
- 序言：老撾萬榮一對情侶失蹤矫钓，失蹤者是張志新（化名）和其女友劉穎，沒想到半個(gè)月后舍杜，有當(dāng)?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體新娜，經(jīng)...
- 正文 獨(dú)居荒郊野嶺守林人離奇死亡，尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
- 正文 我和宋清朗相戀三年既绩，在試婚紗的時(shí)候發(fā)現(xiàn)自己被綠了概龄。 大學(xué)時(shí)的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片。...
- 正文 年R本政府宣布，位于F島的核電站笆怠，受9級特大地震影響铝耻，放射性物質(zhì)發(fā)生泄漏。R本人自食惡果不足惜骑疆，卻給世界環(huán)境...
- 文/蒙蒙 一田篇、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧箍铭，春花似錦泊柬、人聲如沸。這莊子的主人今日做“春日...
- 文/蒼蘭香墨 我抬頭看了看天上的太陽状答。三九已至，卻和暖如春刀崖，著一層夾襖步出監(jiān)牢的瞬間惊科，已是汗流浹背。 一陣腳步聲響...
- 正文 我出身青樓蜂莉，卻偏偏與公主長得像蜡娶，于是被迫代替她去往敵國和親。 傳聞我的和親對象是個(gè)殘疾皇子映穗，可洞房花燭夜當(dāng)晚...
推薦閱讀更多精彩內(nèi)容
- 進(jìn)入第三輪邏輯學(xué)備考學(xué)習(xí)窖张。這一輪將針對重點(diǎn)、考點(diǎn)蚁滋、難點(diǎn)宿接，逐一搞懂消化透。 有些教材沒有寫全面的東西辕录，這個(gè)時(shí)候百度就...
- 在開始討論哥德爾的本體論證明，即利用三階模態(tài)邏輯（HOML）來證明“類上帝的屬性必然有實(shí)體”速梗，之前肮塞，我們先來了解一...
- 作者簡介：舒國瀅(1962-)枕赵，男，湖北隨州人位隶，2011計(jì)劃司法文明協(xié)同創(chuàng)新中心成員拷窜，中國政法大學(xué)教授，研究方向?yàn)?..
- 1涧黄、概念 1篮昧、內(nèi)涵+外延：內(nèi)涵反映概念中對象的本質(zhì)屬性；外延是反映在概念中具有該本質(zhì)屬性的一切對象笋妥。外延相同懊昨，內(nèi)涵...
