基本介紹
- 中文名:等價命題
- 外文名:The equivalent proposition
- 學科:數學
- 釋義:兩個命題可以互相證明
- 性質:原命題與其逆否命題互為等價命題
- 套用:利用等價命題判斷充要性等
基本概念
命題
互逆命題
逆否命題
等價命題的引入
原命題 | 逆命題 | 否命題 | 逆否命題 |
真 | 真 | 真 | 真 |
真 | 假 | 假 | 真 |
假 | 真 | 真 | 假 |
假 | 假 | 假 | 假 |
原命題 | 逆命題 | 否命題 | 逆否命題 |
真 | 真 | 真 | 真 |
真 | 假 | 假 | 真 |
假 | 真 | 真 | 假 |
假 | 假 | 假 | 假 |
一般的,在數學中把用語言、符號或式子表達的,可以判斷真假的陳述句叫做命題。其中判斷為真的語句叫做真命題,判斷為假的語句叫做假命題。如果A,B是兩個命題,兩者...
設有兩個命題p和q,如果由p作為條件能使得結論q成立,則稱p是q的充分條件;若由q能使p成立則稱p是q的必要條件;如果p與q能互推(即無論是由q推出p還是p推出...
等價詞(equivalence),亦稱等值詞、雙條件詞,是真值聯結詞之一。通常用“三”y;, +E”等符號來表示。...
小時滯等價命題(equivalent proposition forsmall delays)是泛函微分方程穩定性理論的重要概念之一。...
線上性代數和矩陣論中,有兩個m×n階矩陣A和B,如果這兩個矩陣滿足B=QAP(P是n×n階可逆矩陣,Q是m×m階可逆矩陣),那么這兩個矩陣之間是等價關係。也就是說...
軌跡命題(proposition of locus)是幾何學研究的重要課題之一,敘述有關軌跡內容的幾何命題,稱為軌跡命題。軌跡命題有三種類型:1.在軌跡命題的結論中指明了軌跡的形狀...
命題永真公式亦稱重言式,是一種命題公式。對於任何指派,其真值總是真的命題公式稱為命題的永真公式。...
這是一個不可判定的命題。(假設G是不可證明的,則G為真,由命題真與命題可證明等價,則G可證明;假設G可證明,則G為真,則G不可證明。)從而也就證明了不完備性...
命題演算是命題邏輯的公理化,任務是使用演算手段來討論命題邏輯,有自然演算和公理演算兩種方式。公理演算是給出公理,根據確定的推理規則推導出一系列重言式;自然演算...
正規命題函詞(normal propositional function)是GB系統中的一個基本概念,指僅含有正規概念、正規運算及正規約束變元的命題函詞φ(X1,X2,…,Xn),亦即正規命題函詞...