《說話也是可以運算的,這是真的嗎?》之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
明天我們講進一步介紹蘊含。
相關推薦
《說話也是可以運算的,這是真的嗎?》之4:蘊含初步
各位同學好,今天的小微課又和大家見面了,講正課之前,先公佈上次課的小練習答案: 薑餅俠說他是人民大學的在讀在職研究生是不對的。 p:薑餅俠說他是人民大學的在讀在職研究生。 ¬p:薑餅俠說他是人民大學的在讀在職研究生是不對的 薑餅人一邊工作一邊上學。 p:薑餅人一邊工作 q:薑餅人一
javaCV開發詳解之4:轉流器實現(也可作為本地收流器、推流器,新增新增圖片及文字水印,視訊影象幀儲存),實現rtsp/rtmp/本地檔案轉發到rtmp流媒體伺服器(基於javaCV-FFMPEG)
javaCV系列文章: 補充篇: 歡迎大家積極開心的加入討論群 javacpp-ffmpeg: 前言: 本章基於javaCV實現轉流器和收流器功能,測試採用監控rtsp地址轉發至rtmp伺服器地址 新增openCV儲存圖片功能。 補充:
Java二進位制和位運算,這一萬字準能餵飽你
> 基礎不牢,地動山搖。本文已被 [**https://www.yourbatman.cn**](https://www.yourbatman.cn) 收錄,裡面一併有Spring技術棧、MyBatis、JVM、中介軟體等小而美的**專欄**供以免費學習。關注公眾號【**BAT的烏托邦**】逐個擊破,深入掌握
C#會重蹈覆轍嗎?系列之4:華而不實的C#析構器
前段時間去鳥國出差,顛倒黑白,碌碌無為,疏於寫博,請大家理解。下面繼續前貼7月《C與C++社群混戰,C#會重蹈覆轍嗎?》的討論。這次要談的是C#的析構器的問題。這是C#中非常華而不實的一個設計,不必要,且常常誤導很多C#er,且是.NET效能問題的常見陷阱地帶。下面逐項討論: 1.C#析構器是一個醜陋的
遊戲人生(一),我的lua之旅:那些坑爹的CCBReaderLoad
首先,我們說說這個CCBReaderLoad。這個指令碼是cocos2dx自帶的一個lua+cocosbuilder 的工具,具體功能吶,往下看。 先來看下我遇到的一個問題: ————美工給了我一個.ccbi檔案,讓我放到遊戲裡去。 然後我們說說這個ccbi。ccbi是co
在STM32上實現NTFS之4:GPT分區表的C語言實現(1):主GPT表頭的實現
center mbr分區 sum 對齊 字節數 決定 容器 alt 水平 題外話:在荒廢了很久沒有更新之後……某日突然收到讀者的站內信!內容大體是詢問GPT分區表信息的讀取方式,筆者激動萬分之下,決定繼續解剖NTFS……其實GPT嚴格上不算是NTFS的內容, GPT和M
機器學習演算法筆記之4:貝葉斯分類器
一、貝葉斯分類器詳解 貝葉斯分類器是一類分類演算法的總稱,這類演算法均以貝葉斯定理為理論基礎。貝葉斯分類器的分類原理是通過先驗概率,利用貝葉斯公式計算出後驗概率,選擇最大後驗概率所對應的分類結果。 貝葉斯準則 其中,P(c)是先驗概率,P(x|c)樣本x相對於;類標記c的類
自己動手寫作業系統之1:bochs初步使用
0x00 前言 自己動手寫作業系統,自然需要一個承載程式的執行環境,這一章記錄我使用bochs遇到的坑,凌晨十二點半才填完坑。 這次記錄的是使用bochs完整實現一個最簡單的作業系統(其實根本不算作業系統,只是通過硬碟啟動個mbr程式)。 0x01 b
Python+Selenium用例模組資料化之4:多賬號登入並驗證+增加測試報告介面
日誌介面:log_module.pyimport time import os class Loginfo(object): def __init__(self, mode='w'): #開啟檔案 path = os.path.dirname(os.
單元測試系列之4:使用Unitils測試DAO層
Spring 的測試框架為我們提供一個強大的測試環境,解決日常單元測試中遇到的大部分測試難題:如執行多個測試用例和測試方法時,Spring上下文只需建立一次;資料庫現場不受破壞;方便手工指定Spring配置檔案、手工設定Spring容器是否需要重新載入等。但也存在不足的地方,
《說話也是可以運算的,這是真的嗎?》之2:把說的話符號化
上篇我們知道了我們說的哪些話是可以用來計算的,今天聊聊怎麼把說的話符號化。 我們要對話進行邏輯運算,可以嘗試把說的話轉變為符號,然後進行運算,這會是一個很好的選擇。大家試想,未來我們要對一段話進行運算和推理,不符號化的話,運算起來將會變得非常麻煩。所以,為了將來運算的簡便,我們從最簡單的句子開始,逐句進行符
《說話也是可以運算的,這是真的嗎?》之3:邏輯關係之合或否
上篇文章,已經介紹瞭如何把話符號化,今天講講話的邏輯關係。我們常常會聽到: “某某講的話是不對的。” “某某做事又快又好。” “雙休日我們去杭州或者蘇州。” 話很簡單,裡面卻包含著可以運算的邏輯關係。 “某某講的話是不對的。”可以推理為某某的話,結論是不成立的。 “某某做事又快又好。”可以推理為某
《說話也是可以運算的,這是真的嗎?》之5:蘊涵
各位同學大家好,我是薑餅俠。上一篇文章我們通過一個例子對蘊涵起了個頭,引入了蘊涵符號→,這個箭頭有個正式的名字叫做蘊涵連線詞。 我們接著通過一些平常說的話去理解和認識蘊涵。在我們的日常生活中,常常會聽到這樣一些話: “只要天氣好,我們就去白沙公園。” “因為姜小俠起床晚了,所以他沒趕上地鐵。” “除非
說話也是可以運算的,這是真的嗎?
看了題目,也許會覺得奇怪,每天說的話也是可以進行運算的,這是真的嗎? 我們說的話可以分為兩類,一類是可推理的話,另一類是不可推理的話。 請看下面幾句話: 蘋果是蔬菜。 火龍果是水果。 地球上有水。 2020年的元旦是晴天。 A水果比B水果重,A、B是任意兩個水果。 下一班公交車馬上要到了嗎?
“知識越多越反動”這句話是錯誤的,我還要說培根的“知識就力量”這句話也是有時代局限的(在今天信息爆炸的時代,信息和技能永遠在過時的道路上)
寬容 .com 開學典禮 事業 理解 思考 過時 一個 RKE 第一,養成並保持學習的能力。我在每一次開學典禮上都要談一個話題:上大學是為了什麽?我認為兩件事情最為重要:一是掌握學習的能力,二是養成合作的習慣。掌握了學習的能力和擁有合作的習慣,才能事業順利,缺一不成。在我看
這垃圾Python遠端開關機,打死我也不用,哇,遠端開關機真好用!
隨著天氣的變冷,在有暖呼呼的暖寶寶熱手的時候,小夥伴們還願意用自己溫暖的小手去摸冷冰冰的滑鼠嗎?今天我就給大家推薦個Python遠端開關機方法,當然有些小夥伴會說這垃圾Python遠端開關機不就能裝個逼嘛,有什麼了不起的,小編最初也是這麼想的,直到用了之後,哇!真香! Pyth
2017已過半,這半年,你累嗎?
忽略 php clas 慢慢 spa 去年 加油 你是 技術 轉眼,已到6月30日;轉眼,2017年已經過半。 逝者如斯夫,不舍晝夜! 你心頭是否閃過一絲驚慌,還是依舊淡定從容? 歲月匆匆,時光悠悠, 經不住似水流年, 留不過歲月變遷, 轉眼間,2017已經過半。 這半
這幾種遊戲類型,你認識嗎?
遊戲 生活RPG,中文翻譯為角色扮演,指的是玩家通過扮演遊戲中的某一角色來完成遊戲的完整內容,這類遊戲的特點是有較長的劇情主線,以及需要較多的時間為角色練級。戰鬥方式基本都為回合制,戰鬥方式為指令戰鬥,並且等級在遊戲中占了很大的比重。MMORPG,大型多人在線角色扮演遊戲,這是幾年前網遊常常采用的遊戲類型,
殺向全球的共享單車,最後真能有所作為嗎?
共享單車縱觀國內互聯網企業的發展之路,在牛X到一定規模後,“出海”幾乎成為必然的“套路”。比如阿裏、騰訊等巨頭在海外玩得天翻地覆,小米、一加等在海外艱難前行也要咬牙堅持……之所以對“出海”辣麽青睞,自然有諸多好處——為在全球立足做好準備、贏得更大發展空間反哺國內市場……而現在流行的,是在國內立足未穩就急不可耐
java編程之:按位與運算,等運算規則
與運算 補碼 同時 復合 方法 amp 邏輯 例如 賦值 按位與運算符(&) 參加運算的兩個數據,按二進制位進行“與”運算。 運算規則:0&0=0; 0&1=0; 1&0=0; 1&1=1; 即:兩位同