第一篇數理邏輯-預覽頁

2025-08-13 14:16 上一頁面

下一頁面

　

【正文】 p q p ?q 0 0 1 1 0 1 0 1 1 0 0 1 p?q讀作 “ p雙向蘊涵 q”， “ p當且僅當 q”， “ p等價于 q”。（ 2）如果 A， B是命題公式，那么（ ┐A），（ A∧ B），（ A∨ B），（ A→ B），（ A?B）也是命題公式。 ② 要選用恰當的聯結詞，尤其要善于識別自然語言中的聯結詞（有時它們被省略），否定詞的位置要放準確。第一章命題演算及其形式系統重言式重言式概念 ◆ 定義重言式不可滿足式可滿足式第一章命題演算及其形式系統重言式重言式概念對命題公式 A，如果對 A中命題變元的一切指派均弄真 A，則 A稱為重言式（ tautology），又稱永真式 . 如果至少有一個指派弄真 A，則 A稱為可滿足式（ satisfactable formula or contingency）。 ◆ 定義第一章命題演算及其形式系統重言式邏輯等價式和邏輯蘊涵式性質： ◆定理（ 1） A┝┥ B當且僅當 ┝ A?B （ 2） A ┝ B當且僅當 ┝ A→ B （ 3）若 A┝┥ B，則 B┝┥ A （ 4）若 A┝┥ B， B┝┥ C，則 A┝┥ C （ 5）若 A┝ B，則 ┐B┝ ┐A （ 6）若 A┝ B， B┝ C，則 A┝ C （ 7）若 A┝ B， A┝┥ A39。第一章命題演算及其形式系統重言式邏輯等價式和邏輯蘊涵式設 A為永真式， p為 A中命題變元， A(B/p) 表示將 A中 p的所有出現全部代換為公式 B后所得的命題公式（稱為 A的一個代入實例），那么 A(B/p)亦為永真式。 ◆ 定義第一章命題演算及其形式系統重言式 △ 對偶原理 ◆ 定理設公式 A中僅含命題變元 p1,… ,pn，及聯結詞 ┐， ∧ ，∨ ，那么 A┝┥ ┐A*(┐p1/p1,… , ┐pn/pn) 對偶原理 ◆ 定理設 A， B為僅含聯結詞 ┐， ∧ ， ∨ 和命題變元 p1,…,pn 的命題公式，且滿足 A┝ B，那么有 B*┝ A*。析取子句 (disjunctive clauses)：指文字或若干文字的析取。┝┥ A （ 2） A39。為一析取子句或若干析取子句的合取。第一章命題演算及其形式系統范式 △ 聯結詞的擴充與歸約 ◆ 定義當聯結詞組 g1, g2,. . ., gm可表示所有一元、二元聯結詞時，稱其為完備聯結詞組（ plete group of connectives）。公式序列 A1,A2,… ,Am稱為 Am的以 ?為前提的演繹（ diduction），如果 Ai(1≤i≤m) 或者是 ? 中公式，或者是公理，或者由 Aj1… ,Ajk(j1,… ,jk?i)用推理規則導出。若 A是公式集 ? 的演繹結果，那么 A是 ?的邏輯結果。 ◆ 定理（窮舉定理）對任何公式集，公式 A， B，若 ??{┐A}├ B， ??{A}├ B，則 ?├

點擊復制文檔內容

外語相關推薦

第一篇數理邏輯-預覽頁

第一篇：新春致辭-資料下載頁

第一篇：機要工作-資料下載頁

第一篇：老齡工作-資料下載頁

第一篇：罪與罰體會-資料下載頁

第一篇：講話詞-資料下載頁

導游業務——第一篇-資料下載頁

第一篇：品味書香-資料下載頁

第一篇：致辭稿-資料下載頁

第一篇：講話詞_-資料下載頁

第一篇：職代會制度-資料下載頁

第一篇：補課計劃-資料下載頁

第一篇學校章程-資料下載頁

第一篇：廬山會議-資料下載頁

第一篇：車輛保險-資料下載頁

第一篇：校長致辭-資料下載頁

第一篇數理邏輯-文庫吧

第一篇數理邏輯-wenkub

第一篇數理邏輯(已修改)

第一篇數理邏輯(編輯修改稿)

第一篇數理邏輯-wenkub.com