#1
|
||||
|
||||
µÃáÈÒʵÃì
¡Ó˹´ àÍ¡À¾ÊÑÁ¾Ñ·¸ì à»ç¹à«µ¢Í§¨Ó¹Ç¹¨ÃÔ§ R(x) á·¹ x à»ç¹¨Ó¹Ç¹¨ÃÔ§ Q(x) á·¹ x à»ç¹¨Ó¹Ç¹µÃáÂÐ
¨§à¢Õ¹ÊÑÅѡɳìá·¹¢éͤÇÒÁ $¨Ó¹Ç¹¨ÃÔ§ x ºÒ§µÑÇ äÁèà»ç¹¨Ó¹Ç¹µÃáÂÐ$ à¢Õ¹ä´éÍÂèÒ§ääÃѺ |
#2
|
|||
|
|||
ÍéÒ§ÍÔ§:
µéͧà¢éÒ㨡è͹ÇèÒ for all ã¹Ç§àÅ纵éͧ¤ÓÇèÒ ¶éÒ...áÅéÇ for some ã¹Ç§àÅ纵éͧ¤ÓÇèÒ áÅÐ $\exists x \left[\ R(x) \bigwedge \sim Q(x)\right]$ ¶Ù¡»èÐÂѧ§Õé |
|
|