More Related Content
More from Jdsfk Rwirr Gfdg
More from Jdsfk Rwirr Gfdg (12)
簡易邏輯2
- 3. 同理((22))和((55))亦是互否命題。
同位角相等,,兩直線平行。 ((11))
兩直線平行,,同位角相等。 ((22))
同位角不相等,,兩直線不平行。 ((44))
兩直線不平行,,同位角不相等。 ((55))
概括地說::設命題((11))為原命題,,那麼::
命題((22))為逆命題,,
命題((44))為否命題,,
命題((55))為逆否命題。
一般地,,用pp和qq分別表示原命題的題設和結論,,用┐
pp和┐qq分別表示pp和qq的否定,,於是四種命題的形式
是::
原命題::若pp則qq;;
逆命題::若qq則pp;;
否命題::若┐pp則┐qq;;
逆否命題::若┐qq則┐pp;;
- 4. 例1:把下列命題改寫成“若pp則qq”形式,並寫出
它們
的逆(1命) 負題數、的否平命方題是與正逆數否;命題。
(2) 正方形的四條邊相等。
解:(1) 原命題可以寫成:
若一個數是負數,,則它的平方是正數。
逆命題::若一個數的平方是正數,,則它是負數。
否命題::若一個數不是負數,,則它的平方不是正數。
逆否命題::若一個數的平方不是正數,,則它不是負數。
(2) 原命題可以寫成:
若一個四邊形是正方形,,則它的四條邊相等。
逆命題:: 若 一 個四邊形的四條邊相等,,則它是正方形
。
否命題::若一個四邊形是不正方形,,則它的四條邊不相等
逆。否命題::若一個四邊形的四條邊不相等,,則它不是正方形
。