1. 程式人生 > >《說話也是可以運算的,這是真的嗎?》之4:蘊含初步

《說話也是可以運算的,這是真的嗎?》之4:蘊含初步

各位同學好,今天的小微課又和大家見面了,講正課之前,先公佈上次課的小練習答案:

薑餅俠說他是人民大學的在讀在職研究生是不對的。

p:薑餅俠說他是人民大學的在讀在職研究生。

¬p:薑餅俠說他是人民大學的在讀在職研究生是不對的

 

薑餅人一邊工作一邊上學。

p:薑餅人一邊工作

q:薑餅人一邊上學

p∧q:薑餅人一邊工作一邊上學

 

姜新海可能是大學教授,也可能是TTT培訓師。

p:姜新海是大學教授

q:姜新海是TTT培訓師

p∨q:姜新海可能是大學教授,也可能是TTT培訓師

 

姜佳程愛學習或愛勞動。

p:姜佳程愛學習

q:姜佳程愛勞動

p∨q:姜佳程愛學習或愛勞動

 

姜禹廷只能選擇11號或12號起飛的飛機。

p:姜禹廷選擇11號起飛的飛機

q:姜禹廷選擇12號起飛的飛機

​p∧q:姜禹廷只能選擇11號或12號起飛的飛機

 

不知道同學們有沒有做對呢?

今天我們講新的知識點:蘊含。生活中,我們常常會說:“如果明天天氣好,我們就去白沙公園玩。”這句話中,包含著一個蘊含關係,下面來解析下這句話,我們還是運用符號來表示。

如果明天天氣好,我們就去白沙公園玩。

p:明天天氣好

q:我們就去白沙公園玩

q這句簡單句推理出的結論是否成立,依賴於p的結論是否成立。整句話的邏輯關係符號化,

可以表示為:p→q

明天我們講進一步介紹蘊含。