關於離散數學命題符號化的問題 3. ；有些人喜歡所有的花.（謂詞符號） 設P（x）:x是人； ；Q（y）:y是花； ；R（x，y）:x喜歡y.  ； ； ； 4. ；所有運動員都敬佩某些教練.（謂詞符號） 設P（x）:x是運動員；Q（y）:y是教練；R（x，y）:x敬佩y.  ； ； ； ； 為什麼是這樣，我覺得兩個不是應該答案都好像第三題那樣的嗎？

關於離散數學命題符號化的問題 3. ；有些人喜歡所有的花.（謂詞符號） 設P（x）:x是人； ；Q（y）:y是花； ；R（x，y）:x喜歡y.  ； ； ； 4. ；所有運動員都敬佩某些教練.（謂詞符號） 設P（x）:x是運動員；Q（y）:y是教練；R（x，y）:x敬佩y.  ； ； ； ； 為什麼是這樣，我覺得兩個不是應該答案都好像第三題那樣的嗎？

在全總個體域中，對每一種個體變元的範圍用特性謂詞加以限制.一般：
①對全稱量詞：此特性謂詞常作蘊含式的前件；
②對存在量詞：此特性謂詞常作合取項.

分別寫出由下列各組命題構成的“p或q”，“p且q”，“非p”形式的複合命題：
（1）p:5是15的約數，q:5是20的約數.
（2）p:矩形的對角線相等，q:矩形的對角線互相平分.

5是15的約數或5是20的約數
5是15的約數且5是20的約數
5不是15的約數
矩形的對角線相等或矩形的對角線互相平分
矩形的對角線相等且矩形的對角線互相平分
矩形的對角線不相等

若把命題“A包含於B”看成一個p或q的命題，那麼這個命題的形式是？其中構成它的兩個命題分別是？

解析：∵AB包括A=B或AB兩種情况，∴複合命題的形式為“p∨q”且p:A=B，q:AB.
答案：“p∨q”p:A=B，q:AB

若p則q的非P形式是若非p則q還是若p則非q

是若p則非q