º»¹®/³»¿ë
Á¦1ºÎ
Á¦¥°Àå
[°úÁ¦ 1.1]
(1)
p T T T T F F F F q T T F F T T F F
?
T F T F T F T F
q¡ýr T T T F T T T F
p ¡æ ( q ¡ýr) T T T F T T T T
p ¡ü¡q F F T T F F F F
( p ¡ü¡q) ¡æ r T T T F T T T T
(2) À§ (1)¿¡ ÀÇÇÏ¿© ¡® xy = 0 À̰í x¡Á0 À̸é y = 0 ÀÌ´Ù¡¯¸¦ Áõ¸íÇÑ´Ù.
x¡Á0 À̹ǷΠxy = 0 ÀÇ ¾çº¯¿¡ 1 À» °öÇϸé x 1 1 ?xy = ?0 ÀÌ´Ù. Áï, y = 0 ÀÌ´Ù. x x
[°úÁ¦ 1.2]
(1) ÁýÇÕ X À§¿¡¼ °ü°è ? ¿¡ ´ëÇÏ¿© ´ÙÀ½ ¼¼ Á¶°ÇÀ» ¸¸Á·½Ãų ¶§ ?À» µ¿Ä¡°ü °è¶ó°í ÇÑ´Ù. ¿©±â¼ ¡® x?y ¡¯´Â ¡® x ¿Í y °¡ °ü°èÀÖ´Ù¡¯´Â ¶æÀÌ°í ¡® ( x , y)¡ô? ¡¯¿Í °° ÀÌ ³ªÅ¸³»±âµµ ÇÑ´Ù. (¥¡) ÀÓÀÇÀÇ x ¡ôX ¿¡ ´ëÇÏ¿© x ? x ÀÌ´Ù(¹Ý»çÀû ¼ºÁú). (¥¢) x?y À̸é y?x ÀÌ´Ù(´ëĪÀû ¼ºÁú). (¥£) x?y À̰í y?z À̸é x?z ÀÌ´Ù (ÃßÀÌÀû ¼ºÁú). Áï, °ü°è ?°¡ ¹Ý»çÀû, ´ëĪÀû, ÃßÀÌÀûÀ̸é ?´Â µ¿Ä¡°ü°èÀÌ´Ù. (2) °ü°è ?¸¦ °øÁýÇÕÀÌ ¾Æ´Ñ ÁýÇÕ X À§ÀÇ µ¿Ä¡°ü°è¶ó°í ÇÒ ¶§ °¢ x¡ôX ¿¡ ´ëÇÏ¿©
x = { y¡ôX | y?x} ·Î Á¤ÀÇµÈ ÁýÇÕÀ» x ¿¡ ÀÇÇÑ µ¿Ä¡·ù¶ó°í ÇÑ´Ù. ÀϹÝÀûÀ¸·Î X ÀÇ ? ¿¡ ÀÇÇÑ µ¿Ä¡·ù ÀüüÀÇ ÁýÇÕÀ» X/? ¿Í °°ÀÌ ³ªÅ¸³½´Ù.
Áï, X/? = { x | x ¡ôX } À̸硦(»ý·«)