複習:: 
可以判斷真假的語句,,叫做命題。
命題可以分解成題設((已知))和結論兩部份。
例如:: 
同位角相等,,兩直線平行。 ((11)) 
兩直線平行,,同位角相等。 ((22)) 
對頂角相等。 ((33)) 
其中((11))的題設為若同位角相等,, 
結論為則兩直線平行。 
((22))的題設為若兩直線平行,, 
結論為則同位角相等。 
((33))的題設為若兩個角是對頂角,, 
結論為則這兩個角相等。
其中
,, 
((11))的題設是((22))的結論,,且((11))的結論是
那麽這兩個命題叫做互逆命題;;如
(22))的題設,, 
果把其中一個命題叫做原命題,,那麼另一個
命題叫做原命題的逆命題。
例如,,如果原命題是
同位角相等,,兩直線平行。 ((11)) 
它的逆命題是
兩直線平行,,同位角相等。 ((22)) 
再看下面的命題((44)):: 
同位角不相等,,兩直線不平行。 ((44)) 
其中,,((11))和((44))中,,一個命題的題設和結論
分別是另一個命題的題設的否定和結論的否
定,,這樣的兩個命題叫做互否命題。
同理((22))和((55))亦是互否命題。
同位角相等,,兩直線平行。 ((11)) 
兩直線平行,,同位角相等。 ((22)) 
同位角不相等,,兩直線不平行。 ((44)) 
兩直線不平行,,同位角不相等。 ((55)) 
概括地說::設命題((11))為原命題,,那麼:: 
命題((22))為逆命題,, 
命題((44))為否命題,, 
命題((55))為逆否命題。
一般地,,用pp和qq分別表示原命題的題設和結論,,用┐ 
pp和┐qq分別表示pp和qq的否定,,於是四種命題的形式
是:: 
原命題::若pp則qq;; 
逆命題::若qq則pp;; 
否命題::若┐pp則┐qq;; 
逆否命題::若┐qq則┐pp;;
例1:把下列命題改寫成“若pp則qq”形式,並寫出 
它們 
的逆(1命) 負題數、的否平命方題是與正逆數否;命題。 
(2) 正方形的四條邊相等。 
解:(1) 原命題可以寫成: 
若一個數是負數,,則它的平方是正數。 
逆命題::若一個數的平方是正數,,則它是負數。 
否命題::若一個數不是負數,,則它的平方不是正數。
逆否命題::若一個數的平方不是正數,,則它不是負數。
(2) 原命題可以寫成: 
若一個四邊形是正方形,,則它的四條邊相等。
逆命題:: 若 一 個四邊形的四條邊相等,,則它是正方形
。 
否命題::若一個四邊形是不正方形,,則它的四條邊不相等
逆。否命題::若一個四邊形的四條邊不相等,,則它不是正方形
。
總結:: 
命題可以分解成題設((已知))和結論兩部份。
一般地,,用pp和qq分別表示原命題的題設和結論,,用┐ 
pp和┐qq分別表示pp和qq的否定,,於是四種命題的形式
是:: 
原命題::若pp則qq;; 
逆命題::若qq則pp;; 
否命題::若┐pp則┐qq;; 
逆否命題::若┐qq則┐pp;; 
功課::PP..3333 練習 ((11))
總結:: 
命題可以分解成題設((已知))和結論兩部份。
一般地,,用pp和qq分別表示原命題的題設和結論,,用┐ 
pp和┐qq分別表示pp和qq的否定,,於是四種命題的形式
是:: 
原命題::若pp則qq;; 
逆命題::若qq則pp;; 
否命題::若┐pp則┐qq;; 
逆否命題::若┐qq則┐pp;; 
功課::PP..3333 練習 ((11))

簡易邏輯2