11 2命題邏輯與條件判斷

2022-12-19 01:06:04 字數 1807 閱讀 2633

課題教學目標

上課時間

(1)理解命題邏輯的幾個常用聯結詞「或」「且」「非」

的意義(2)能將一些簡單的命題翻譯為命題公式,或者說出命題公式所表示的實際意義,並判斷這些命題公式的真

假命題邏輯的幾個常用聯結詞「或」「且」「非」的意義將命題翻譯為命題公式以及判斷命題公式的真假

教學環節與內容(預習展示反饋)

總第課時

本課2課時課型:新

重點難點

教具:多**

方法指導與拓展評

價一、回顧舊知1.命題

2.真命題、假命題

二、新知講授

前面我們已經學過一些簡單命題,在實際應用中我們可以將一些簡單命題用聯結詞聯結,就構成復合命題,聯結詞是命題邏輯的重要組成部分,下面我們將介紹幾個常用的聯結詞。1.非

(一)定義:假設命題p:南京是江蘇省省會,則p的否定可以表述為:南京不是江蘇省的省會。

一般地,假設p是乙個命題,則p的非(否定)是乙個新的命題,記作p,讀作「非p」(p的否定)

(二)真值**:p真假p假真

通過**可以知道,若p是真,則p是假;若p是假,則p是真。

例如,「p:南京是江蘇省的省會」是乙個真命題,所以「p:南京不是江蘇省的省會」是乙個假命題。

(三)例題1:寫出下列命題的非命題,並判斷真假(1)p:236;(2)q:雪是白色的;

解析:(1)p:236,是乙個真命題;

(2)p:雪不是白色的,是乙個假命題。

2.且(一)定義:假設命題p:今天下雨;命題q:明天下雨。用聯結詞「且」聯結p和q,就可以得到新命題:今天下雨且明天下雨。

一般地,假設p,q是兩個命題,則「p且q」是乙個新的命題,記作pq,讀作「p且q」。(二)真值表p真真

q真假pq

真假假真假假假假

由上表可以知道,當且僅當p,q同時為真是,pq才是真,其他情況下,pq都是假。例如,對於上面的復合命題pq:今天下雨且明天下雨,當且僅當p,q同時為真時,即今天和明天都下雨時,這個命題才為真;只要今天和明天中有一天不下雨,這個命題就是假。

(三)例題2:根據下列各組中的命題p和q,寫出pq,並判斷他們的真假。(1)p:雪是黑的;q:太陽從東方公升起。(2)p:834;q:34.

(3)p:60是3的的倍數,q:60是5的倍數。

解析:(1)pq:雪是黑的且太陽從東方公升起。

因為p是假的,q是真的,所以pq是假的。(2)pq:834且34。

因為p是假的,q是假的,所以pq是假的。(3)pq:60是3和5的倍數。

因為p是真的,q是真的,所以pq是真的。

3.或(一)定義:假設命題p:5>2;命題q:5=2。用聯結詞「或」聯結p和q,就可以得到新命題:52。

一般地,假設p,q是兩個命題,則「p或q」是乙個新的命題,記作pq,讀作「p或q」。(二)真值表p真真假

q真假真

pq真真真

假假假由上表可以知道,當且僅當p,q同時為假是,pq才是假,其他情況下,pq都是真。例如,命題p:5>2;是真,儘管命題q:5=2是假:命題pq:52仍然是真。

(三)例題3:根據下列各組中的命題p和q,寫出pq,並判斷他們的真假。(1)p:雪是黑的;q:太陽從東方公升起。(2)p:834;q:34.

(3)p:60是3的的倍數,q:60是5的倍數。

解析:(1)pq:雪是黑的或太陽從東方公升起。

因為p是假的,q是真的,所以pq是真的。(2)pq:834或34。

因為p是假的,q是假的,所以pq是假的。(3)pq:60是3的倍數或者5的倍數。因為p是真的,q是真的,所以pq是真的。三、隨堂練習:課本10頁練習

四、課後作業:課本10頁習題

五、課後小結

教學反思

命題 邏輯複習講義

第三課時命題 邏輯 一 基本知識點 1.命題 可以判斷真假的語句叫做命題.2.四種命題 1 四種命題的形式 原命題 若p則q 逆命題 若q則p 否命題 若p則q 逆否命題 若q則p.2 四種命題之間的相互關係 這裡,原命題與逆否命題,逆命題與否命題是等價命題.3 注意區分 否命題 與 命題的否定 否...

112復合命題的真假判斷

課題 1.6.2 復合命題的真假判斷 教學目標 1.理解掌握判斷復合命題真假的方法.2.培養學生歸納推理的思維能力.教學重點 判斷復合命題真假的方法.教學難點 對 p或q 復合命題真假判斷的方法.教學方法 啟發 誘導發現教學.教具準備 真值表掛圖 教學過程 i 複習回顧 1 什麼叫做命題?2 邏輯聯...

三值命題邏輯中公式的概率真度

第 卷第 期井岡山大學學報 自然科學版 年 月 文章編號 三值命題邏輯中公式的概率真度 於西昌 譚桂梅 聊城職業技術學院,山東,聊城 聊城大學圖書館,山東,聊城 摘要 將三值命題邏輯系統的真度概念引入到概率邏輯,定義公式的期望,給出反映公式之間內在聯絡的相關係 數,研究無限公式收斂時所遵循的規律及特...