英數兩全字詞教學
63 逆否命題 Contrapositive
- generality 一般性
- abstract 抽象的
- is true / holds 為真 / 成立
- disprove 否證
- not P \(\neg P\),非P
- symbols 符號
- symbolic inference 符號推理
- converse statement 逆命題
- inverse statement 否命題
- contrapositive 對偶命題/逆否命題
- natural language 自然語言
- serve as a counterexample 作為反例
- infinitely many particular cases 無窮多種特例
- The diagonals of a rhombus are perpendicular. 菱形的對角線垂直。
- A conditional and its contrapositive are both true, or both false. 任何條件命題與其對偶命題等價。