有邏輯就是講道理，還能一定程度上預(yù)防被邏輯不好的人氣到。流氓欺負(fù)講道理的人，這種事情我們都見怪不怪了是吧，但是常見并不意味著正常...更不意味著正確，這些可以聊完了邏輯再慢慢說

邏輯最基本的單元——命題

proposition，指的是一個(gè)能夠判斷真?zhèn)蔚年愂鼍?/p>

要點(diǎn)有兩個(gè)，一個(gè)是陳述句，別的句式天生不可能是命題，比如疑問句，祈使句，這都不行。另一個(gè)要點(diǎn)是，能夠判斷真?zhèn)?。舉個(gè)栗子

• “這個(gè)栗子的直徑大于10厘米”， 這是一個(gè)命題，你掏出栗子，我掏出游標(biāo)卡尺（或者別的人用別的可信的測(cè)量工具）一量，這事兒是真是假，就明了了
• “這個(gè)栗子很大”，這不是一個(gè)命題，多大叫大?。?strong>有些姑娘人可能認(rèn)為很長(zhǎng)叫大，另一些可能認(rèn)為很粗叫大，（急剎車！?。。┚褪沁@個(gè)意思，沒有辦法去判斷這個(gè)栗子到底大不大，也就是說的這個(gè)事兒到底對(duì)不對(duì)，所以這不叫命題。

其實(shí)我們每天說的命題很少的（包括這句本身也不是），我們常說的幾乎都不是命題

• 今兒天真好?。?/li>
• 吃了嗎您內(nèi)？
• 呵呵
• 我bi你大爺以及新手游戲玩家經(jīng)常聽到的各種問候先人的評(píng)價(jià)

但為什么命題還是很重要？（這句也不是命題）兩個(gè)原因，一是具備該正經(jīng)的時(shí)候能正經(jīng)起來的能力，怎么說話讓人聽起來感覺干練靠譜？當(dāng)然是說一大串兒用邏輯穿起來的真命題了；另一個(gè)是，如果弱化掉判斷真?zhèn)芜@個(gè)條件，姑且認(rèn)為一些描述性的陳述句算作命題，我們可以去梳理別人的思路更好地明白ta想表達(dá)什么或者判斷ta狀態(tài)不好，暫時(shí)不理ta。為了說清楚這一點(diǎn)，單是命題這一個(gè)概念還不夠，后面回過頭來說（也可能不用明說，看吧）。

最后說一點(diǎn)，習(xí)慣上我們用大寫字母P來表示一個(gè)命題。

命題右護(hù)法predicate

誒這特么就尷尬了，我不知道中文叫什么啊...百度翻譯告訴我叫斷言？一個(gè)賣廣告位的互聯(lián)網(wǎng)公司我能信他？

這不重要！！天兒是不可能聊死滴 （The All-new BMW）X 3

predicate，是一個(gè)因?yàn)楹形粗克圆荒芘袛嗾鎮(zhèn)蔚年愂鼍洌?strong>但是一旦這個(gè)未知量確定了，那么是可以判斷真?zhèn)蔚?/p>

需要注意的是，這個(gè)未知量啊，一般你可以認(rèn)為是某集合中的代表元。也就是說，你可以認(rèn)為一個(gè)predicate描述的是某個(gè)集合的事情。再吃我一個(gè)栗子：

x>3

這里面x是一個(gè)數(shù)，這是我能想到的最簡(jiǎn)單的predicate的例子了，它為啥不是命題呢？（自己回答，答不上來翻看上一節(jié)，覺得這是命題的同學(xué)，藥不能停?。。┪覀兛匆幌?，是不是小學(xué)老師告訴我有一些數(shù)確實(shí)是大于3的？不舉例了好嗎...然后是不是小學(xué)高年級(jí)老師告訴我們，1.314520這個(gè)浪漫的小數(shù)是小于3的？清楚點(diǎn)了吧~

簡(jiǎn)言之，你光告訴我說，“一個(gè)數(shù)大于3”，我特么怎么知道你說的對(duì)不對(duì)??？你得告訴我到底說的哪個(gè)數(shù)，你告訴我了，我就知道你說的事情的真?zhèn)瘟恕?/p>

類似的例子還有很多，我說幾個(gè)不用數(shù)的

• 人身高大于170 CM
• 魚有尾鰭
• 脊椎動(dòng)物卵生
• 細(xì)菌致命

快到最后說一點(diǎn)，習(xí)慣上我們用大寫字母P(X)來表示一個(gè)關(guān)于未知量X的predicate。

簡(jiǎn)單想一下為啥這些算是predicate，應(yīng)該很簡(jiǎn)單。然后把他們記作P(人)，P(魚)，P（脊椎動(dòng)物），P（細(xì)菌），是這樣吧~

命題左護(hù)法quantifier

emmmmm...其實(shí)寫到這兒，predicate叫“斷言”還是有那么一點(diǎn)點(diǎn)味道的，斷言...emm...那么百度說，quantifier是“數(shù)量詞”...所以你們假裝不知道我不知道這術(shù)語中文叫什么好嘛~

這不重要??！天兒是不可能聊死滴 （全新一代寶馬）X 3

簡(jiǎn)單來說，就倆東西：

• 存在 （there exists）符號(hào)是： \exists 大寫英文字母E左右對(duì)稱一下

• 對(duì)于任意的 (for all) 符號(hào)是： \forall 大寫英文字母A上下顛倒過來

就按照字面的意思簡(jiǎn)單理解應(yīng)該沒有什么麻煩，如果有的話下往下看，如果看完了還是有問題歡迎留言或者私信

注意??！左右護(hù)法一合體，就是一個(gè)命題了

還是上面的例子，用人類語言來講

• “存在人身高大于178 CM”，或者捋順了舌頭說“存在身高大于178 CM的人”，毫無疑問這是一個(gè)真命題。我們給這個(gè)命題換一個(gè)左護(hù)法（quantifier/數(shù)量詞），順便捋捋舌頭就變成了“任何人身高都大于178 CM”，毫無疑問這是一個(gè)假命題。
  我把魚和尾鰭的故事講完，剩下兩個(gè)是作業(yè)
• “存在有尾鰭的魚”這毫無疑問是真命題，“對(duì)于任意的魚，魚有尾鰭”，這個(gè)首先我們說肯定是個(gè)命題，因?yàn)轱@然可以判斷真?zhèn)?，但是就這個(gè)命題本身的真?zhèn)味?，我認(rèn)為是假的哈，水煮魚有時(shí)候就不給上尾鰭...好了，認(rèn)真點(diǎn)，以我有限的生物學(xué)知識(shí)，我認(rèn)為“所有魚都有尾鰭”是真命題。重點(diǎn)是：左右護(hù)法合體成為一個(gè)命題

說到這里，已經(jīng)看出來了，平日里我們所用的自然語言有一定的模糊性（幾乎沒有語法的中文尤其如此），很多時(shí)候好幾句話表達(dá)的是同一個(gè)意思，如果讀者把自己上述習(xí)題的答案寫在下方留言上，我們更能看到自然語言的這個(gè)特點(diǎn)

例如：“對(duì)于任意的魚，魚有尾鰭” \Leftrightarrow“所有魚都有尾鰭”\Leftrightarrow“是魚就有尾鰭”

但萬變不離其宗，它們說的都是一回事兒：

\forall 魚，P(魚)

也就是左右護(hù)法合體就構(gòu)成了一個(gè)命題~

后記

這點(diǎn)東西不難，如果感受到難度請(qǐng)毫不猶豫往我身上甩鍋...如果覺得簡(jiǎn)單也別驕傲，可能是我栗子舉得好

還不夠，下一篇講復(fù)合命題和真值表~

2018年7月30號(hào)的我，終于會(huì)用Markdown 打LaTex符號(hào)了，感覺以前的文章都可以刪掉了...