蘊涵式是什麼意思?

蘊涵關係如何理解 50分

蘊涵關係

設P、Q是兩個命題，“如果P則Q”為關於P、Q的複合命題，記作P→Q，讀作P蘊涵Q。 “→”是二元運算，稱為“蘊涵”運算 稱“P→Q”為蘊涵式，

其中 P為蘊涵式的前件，Q為蘊涵式的後件。

關鍵是記住：前件為假時，無論後件真假，整個蘊涵式都為真

專業人士幫我解釋一下，離散數學的蘊含式表示什麼意思？解釋一下他的意義！

參考答案:我的收藏夾。提供讀者在線網摘、分類或主題詞標註、建立知識庫、搜索、共享等功能。個人知識管理的工具，同時具有社會化功能（推薦、評價、聚類等）共享功能的開發；分類體系的規範化；提供自動分類、自動摘要甚至自動翻譯功能。如：365key。

蘊含等值式如何理解

雙重否定律：

┐┐A⇔A

冪等律：

A∧A⇔A

A∨A⇔A

交換律：

A∨B⇔B∨A

A∧B⇔B∧A

結合律：

（A∧B）∧C⇔A∧（B∧C）

（A∨B）∨C⇔A∨（B∨C）

分配律：

A∨（B∧C）⇔（A∨B）∧（A∨C）

A∧（B∨C）⇔（A∧B）∨（A∧C）

德摩根律：

┐（A∨B）⇔┐A∧┐B

┐（A∧B）⇔┐A∨┐B

吸收律：

A∨（A∧B）⇔A

A∧（A∨B）⇔A

零律：

A∨1⇔1

A∧0⇔0

同一律：

A∨0⇔A

A∧1⇔A

排中律：

A∨┐A⇔1

矛盾律：

A∧┐A⇔0

蘊涵等值式：

A→B⇔┐A∨B

等價等值式：

A↔B⇔（A→B）∧（B→A）

假言易位：

A→B⇔┐B→┐A

等價否定等值式：

A↔B⇔┐A↔┐B

歸謬論：

（A→B）∧（A→┐B）⇔┐A

蘊含等值式如何理解？？？

是下面這個公式嗎

P→Q <=> ┐P∨Q

列真值表，這兩個公式的真值表完全相同。

怎麼做啊，證明蘊涵式 50分

第1小題 C∧D⇒D 簡化式 D⇒D∨E 加法式 C∧D ⇒ D∨E ①前提三段論 (A∨B) → (C∧D) 前提 A⇒(A∨B) 加法式 A⇒C∧D ②前提三段論 A⇒D∨E 前提三段論 D∨E→G 前提 A⇒G 前提三段論 第2小題，看不清，太潦草了，最好打。