¾çÈ ¸íÁ¦
±âÈ£³í¸®ÇÐ : ¼Ò±¤Èñ ÁöÀ½, °æ¹®»ç, 1985, Page 205~221
¾Õ¿¡¼ °íÂûÇÑ ¹Ù¿Í °°ÀÌ, diagram ¹æ¹ýÀº »ï´Ü³í¹ý¿¡ ´ëÇØ¼´Â ¸Å¿ì À¯È¿ÇÑ ¹æ¹ýÀÌ´Ù. ±×·¯³ª »ï´Ü³í¹ýÀº ²À ¼¼ °³ÀÇ °³³äÀ¸·Î ÀÌ·ç¾îÁ®¾ß ÇÑ´Ù´Â ±âº»Á¶°ÇÀ» °¡Áö°í Àִµ¥ Ãß·ÐÀ̶ó´Â °ÍÀÌ ¹Ýµå½Ã ¼¼ °³ÀÇ °³³äÀ¸·Î¸¸ ±¸¼ºµÇ´Â °Íµµ ¾Æ´Ò»Ó´õ·¯ diagram ¹æ¹ý¸¸ÀÌ À¯ÀÏÇÑ °ËÁõ¹æ¹ýÀ̶ó ÇÒ ¼öµµ ¾ø´Ù. ÀÌÁ¦ ¿ì¸®´Â ÁÖ¾îÁø ¸íÁ¦ÀÇ ³»Àû ±¸Á¶¸¦ ºÐ¼®ÇÔÀ¸·Î½á ³í¸®ÇÐÀÇ Ã߷пµ¿ªÀ» È®ÀåÇÏ´Â º¸´Ù ÀϹÝÀûÀÎ ¹æ¹ýÀ» ¸ð»öÇÒ °ÍÀÌ´Ù. ¿¹ÄÁ´ë,
(1) ´ëÀüÀº µµ½ÃÀÌ´Ù.
ÀÇ ¸íÁ¦´Â ¾î¶² ´ë»ó(´ëÀü) °¡ ¹«¾ù(µµ½Ã)
ÀÓÀ» ¸»Çϰí ÀÖ´Ù. ÀϹÝÀûÀ¸·Î ¸íÁ¦ÀÇ ³»Àû ±¸Á¶¸¦ º¸¸é ¸íÁ¦°¡ ÁÖ¾î¿Í ¼ú¾î·Î
±¸¼ºµÇ¾î ÀÖÀ½À» ¾È´Ù. ÁÖ¾î´Â ´ë°³ '»ç¹°'À» Áö½ÃÇÏ°í ¼ú¾î´Â °Å±â¿¡ µû¸£´Â '¼ºÁú'À»
Ç¥½ÃÇÑ´Ù. µû¶ó¼ (1)Àº
(2) ´Â
ÀÌ´Ù.
¶ó´Â Çü½ÄÀÇ ¸íÁ¦ÀÌ´Ù. À̶§ F¸¦ ¼ú¾î(predicater term)¶ó°í ºÎ¸¥´Ù. ÀÌÁ¦ºÎÅÍ (1)À»
(2)
¶ó°í ¾²±â·Î ÇÑ´Ù. ¿¹ Çϳª¸¦ ´õ µé¾î¼
(3)
¸¦ º¸¸é, À̰ÍÀº
(4) ´Â
ÀÌ´Ù.
¶ó´Â ¸íÁ¦ÀÓÀ» ¾Ë ¼ö ÀÖÀ» °ÍÀÌ´Ù. ±×·¯¸é,
(5) ¼ÒÅ©¶óÅ×½º´Â Çö¸íÇÑ »ç¶÷ÀÌ´Ù.
´Â ¾î¶»°Ô ±âÈ£ÈÇÒ °ÍÀΰ¡? ¼ÒÅ©¶óÅ×½º¸¦ ·Î Çϸé (5)´Â
(6) ´Â Çö¸íÇϰí, »ç¶÷ÀÌ´Ù.
·Î µÈ´Ù. 'Çö¸íÇÏ´Ù'¸¦ , '»ç¶÷ÀÌ´Ù'¸¦
·Î Çϸé (6)Àº
(7) ´Â
À̰í
ÀÌ´Ù.
À̰ÍÀº ´Ù½Ã
(8) ´Â
À̰í,
´Â
ÀÌ´Ù.
À̹ǷÎ
(9)
·Î µÊÀ» ¾Ë ¼ö ÀÖ´Ù.
(2)¿¡¼ ¿Í (9)¿¡¼
´Â ¸ðµÎ °íÀ¯¸í»ç·Î ÀÏÄÃÀ» ¼ö ÀÖ´Â ±¸Ã¼ÀûÀÌ°í °³º°ÀûÀÎ ´ë»óÀ» ³ªÅ¸³»°í ÀÖÀ½¿¡
ÁÖÀÇÇØ µÎÀÚ. À̸¦ »ó¼ö (individual constants)À̶ó ÇÑ´Ù. ¸íÁ¦ (2)ÀÇ
¸¦ ºó ÄÀ¸·Î µÎ¸é (2)´Â
(10) ( )´Â ÀÌ´Ù.
·Î µÈ´Ù. (10)Àº ÁøÀ§¸¦ ÆÇÁ¤ÇÒ ¼ö ÀÖ´Â ¸íÁ¦°¡ ¾Æ´Ï´Ù.
±× ºó Ä¿¡ ¾î¶² ´ë»óÀÇ À̸§À» ³ÖÀ¸¸é ºñ·Î¼Ò ¸íÁ¦°¡ µÇ´Â ±×·± °ÍÀÌ´Ù. ¿¹ÄÁ´ë
( )¿¡ '¼¿ï'À» ³ÖÀ¸¸é (10)Àº Áø¸íÁ¦°¡ µÇÁö¸¸, (10)¿¡ ¼ÒÅ©¶óÅ×½º¸¦
³ÖÀ¸¸é À§¸íÁ¦°¡ µÈ´Ù. ´Ù½Ã ¸»Çؼ (10)Àº ( )¿¡ ¹«¾ùÀ» ³Ö´À³Ä¿¡ µû¶ó¼
ÁøÀ̰ųª À§ÀÎ ¸íÁ¦°¡ µÇ´Â °ÍÀÌ´Ù. ÀÌ·¯ÇÑ ÇüÅÂÀÇ ºÒ¿ÏÀüÇÑ ¸íÁ¦¸¦ ¸íÁ¦¸ðÇü(statement
matrix)À̶ó°í ÇÑ´Ù. ±×¸®°í ( )¿¡ µé¾î°¥ ´ë»óÀÇ À̸§ÀÌ °áÁ¤µÇ¸é ±×°ÍÀÇ
Áø¸®°ªµµ °áÁ¤µÇ´Ï À̰ÍÀ» ÇÔ¼ö¶ó ºÎ¸¥´Ù. ¸íÁ¦¿¡ Æ÷ÇԵǾî ÀÖ´Â ( )¸¦
µîÀÇ º¯¼ö¸¦ ½á¼ Ç¥½ÃÇϱâ·Î ÇÑ´Ù. ±×·¯¸é (10)Àº
(11)
·Î Ç¥½ÃµÈ´Ù. À̶§ ´Â ¾î¶² ´ë»óÀÇ À̸§ÀÌ ¾Æ´Ô¿¡ ÁÖÀÇÇÏÀÚ.
´Â (10)¿¡¼ÀÇ ( )¿¡ ÇØ´çÇÏ´Â °ÍÀ¸·Î ¾î¶² À̸§À̵çÁö ±× ÀÚ¸®¿¡
³Ö¾î¼ ¸íÁ¦¸¦ ¸¸µé ¼ö ÀÖ°Ô ÇÏ´Â º¯¼öÀÌ´Ù. À̶§
µîÀÇ º¯¼ö´Â °³º°ÀûÀÌ°í ±¸Ã¼ÀûÀÎ ´ë»ó¸¸ÀÌ µé¾î°¥ ¼ö ÀÖ´Â ÀÚ¸®¸¦ ¶æÇϹǷÎ,
±¸Ã¼Àû ´ë»ó(
)ÀÎ »ó¼ö¿Í ±¸º°Çؼ, º¯¼ö (individual variable)À̶ó°í ºÎ¸¥´Ù.
±×·¯³ª ¸ðµç ¸íÁ¦°¡ ±¸Ã¼ÀûÀÌ°í °³º°ÀûÀÎ ´ë»ó¿¡ °üÇÑ °ÍÀº ¾Æ´Ï´Ù.
¿¹ÄÁ´ë,
(12) ¸ðµç ÇлýÀº »ç¶÷ÀÌ´Ù.
´Â (2)³ª (9)ó·³ ³ª
·Î ÀÏÄþîÁú ¼ö ÀÖ´Â °³º°ÀûÀÎ ´ë»óÀ» Æ÷ÇÔÇϰí ÀÖÁö ¾Ê´Ù. (12)°¡ ¸»ÇÏ´Â °ÍÀº
(13) ¸ðµç ´ë»ó¿¡ ´ëÇØ¼, ±×°ÍÀÌ ÇлýÀÌ¸é ±×°ÍÀº »ç¶÷ÀÌ´Ù.
¶ó´Â ³»¿ëÀÎ °ÍÀÌ´Ù. (13)Àº ¾î¶² ´ë»óÀÇ À̸§µµ Æ÷ÇÔÇϰí
ÀÖÁö ¾Ê´Ù. ¿ÀÈ÷·Á (13)Àº À̸§À¸·Î ÀÏÄÃÀ» ¼ö ÀÖ´Â ¸ðµç ´ë»ó¿¡ °üÇÏ¿© ¸»Çϰí ÀÖ´Ù.
(13)À» º¯¼ö ¸¦ »ç¿ëÇØ¼ Ç¥ÇöÇϸé,
(14) ¸ðµç ¿¡ ´ëÇÏ¿©,
°¡ Çлý(
)À̸é
´Â »ç¶÷(
)ÀÌ´Ù.
·Î µÈ´Ù. À̰ÍÀº ´Ù½Ã,
(15) ¸ðµç ¿¡ ´ëÇÏ¿©,
À̸é
ÀÌ´Ù.
¿©±â¼ ¿Í
´Â °¡¾ðÀûÀ¸·Î ¿¬°áµÇ¾î ÀÖÀ¸¹Ç·Î (15)´Â ´Ù½Ã,
(16) ¸ðµç ¿¡ ´ëÇÏ¿©,
·Î µÈ´Ù.
ÀÌ¿Í °°ÀÌ ÁÖ¾î ÂÊÀ» º¯¼ö()À¸·Î ÇÏ°í ¼ú¾î ÂÊÀ» ÇÔ¼ö(
)·Î ÇÏ´Â ¸íÁ¦ ¸ðÇüÀ» ¸íÁ¦ÇÔ¼ö(proposition function)¶ó ÇÑ´Ù.
´ÙÀ½ÀÇ A, E, I, O ¸íÁ¦´Â Á¤¾ð¸íÁ¦ ÀÇ Á¾·ùÀÌ´Ù.
(1) ¸ðµç ¿ìÁÖÇ×°ø»çµéÀº ½ÉÇÑ ÈÆ·ÃÀ» ¹Þ´Â´Ù.
¸¦ °¡¾ð¸íÁ¦·Î ¸¸µé¸é ¶æÀÌ ÈξÀ ¸í·áÇØÁø´Ù.
(2) ¸ðµç ¿¡ ´ëÇÏ¿© ¸¸ÀÏ ±×°ÍÀÌ ¿ìÁÖÇ×°ø»ç¶ó¸é, ±×°ÍÀº ½ÉÇÑ ÈÆ·ÃÀ» ¹Þ´Â´Ù.
¿©±â¿¡¼ '¸ðµç ¿¡ ´ëÇÏ¿©'¶ó´Â ±¸´Â '
'·Î Ç¥½ÃÇϰí À̰ÍÀ» º¸Æí¾çȱâÈ£(uniiversal quantifier)¶ó°í ÇÑ´Ù. ±×·¯¸é
(2)´Â
(3) ¸¸ÀÏ ±×°ÍÀÌ ¿ìÁÖÇ×°ø»ç¶ó¸é, ±×°ÍÀº ½ÉÇÑ ÈÆ·ÃÀ» ¹Þ´Â´Ù.
'±×°Í'À» º¯¼ö ''·Î ´ëÄ¡Çϸé,
(4) () ¸¸ÀÏ
°¡ ¿ìÁÖÇ×°ø»ç¶ó¸é
´Â ½ÉÇÑ ÈÆ·ÃÀ» ¹Þ´Â´Ù.
·Î µÇ¸ç '¿ìÁÖÇ×°ø»ç'¸¦ 'A', '½ÉÇÑ ÈÆ·ÃÀ» ¹Þ´Â´Ù'¸¦ 'T'·Î Ç¥½ÃÇϸé,
(5) () ¸¸ÀÏ
°¡ AÀ̸é
´Â T´Ù.
´Ù½Ã (ÀÌ´Ù) ¸¶Àú ¾ø¾Ö±â À§ÇÏ¿© º¯¼ö¿Í ¼ú¾îº¯¼öÀÇ À§Ä¡¸¦ ¹Ù²Ù¸é
(6) () ¸¸ÀÏ
¸é
·Î µÈ´Ù. ³¡À¸·Î °¡¾ðÀ» Ç¥½ÃÇÏ´Â '¡ù'À» »ç¿ëÇØ¼
(7)
·Î Ç¥½ÃÇÑ´Ù. ±×·¯³ª ¿©±â¿¡¼ '' ÀÇ
°¡ º¸Æí¾çȱâÈ£ÀÇ
(Áï °ýÈ£ ¼ÓÀÇ
) ¸¦ °¡¸®Å°´ÂÁö ÁÖ¾îÀÇ
(Áï
ÀÇ
)¸¦ °¡¸®Å°´ÂÁö ¾Ö¸ÅÇÏ´Ù. ¿©±â¿¡¼´Â ÁÖ¾îÀÇ
¸¦ °¡¸®Å´ÀÌ È®½ÇÇϹǷÎ,
(8) (A
¸íÁ¦ÀÇ ±âº»¸íÁ¦¸ðÇü)
·Î Ç¥½ÃÇÑ´Ù. ±×¸®ÇÏ¿© ¾çȱâÈ£´Â ±× µÚ¿¡ µû¸£´Â
¸íÁ¦¸ðÇü¿¡ ÀÛ¿ëÇÑ´Ù. ¸íÁ¦¸ðÇüÀº {[( )]}·Î ¹¾î¼ Ç¥½ÃÇÑ´Ù. ±×·¯³ª ¾çȱâÈ£
µÚ¿¡ ¿À´Â ¸íÁ¦¸ðÇüÀÌ ³í¸®Àû °áÇÕ±âÈ£¸¦ °®Áö ¾ÊÀ» ¶§´Â ÀÌ·± °ýÈ£´Â ÆíÀÇ»ó »ý·«µÈ´Ù.
±×¸®°í º¯¼ö°¡ ¾çȱâÈ£¿Í °°À» ¶§´Â ¾çȱâÈ£¿¡ ÀÇÇÏ¿© ±¸¼ÓµÈ °ÍÀ̶ó Çϰí,
°°Áö ¾ÊÀº °ÍÀº ÀÚÀ¯·Ó´Ù°í ÇÑ´Ù. Áï ,
¿¡¼
´Â ±¸¼Ó º¯¼ö (bound variable)À̰í
¿¡¼
´Â ÀÚÀ¯º¯¼ö (free variable)ÀÌ´Ù.
´Ù½Ã A ¸íÁ¦ÀÇ ¿¹·Î µ¹¾Æ°¡ÀÚ.
(9) ö(A)Àº °¡¿(B)µÇ¸é ÆØÃ¢(C)ÇÑ´Ù.
¸¦ ¾çÈÀÇ °¡¾ð¸íÁ¦·Î °íÄ¡¸é,
(10) ¸ðµç ¿¡ ´ëÇÏ¿© ±×°ÍÀÌ Ã¶(A)À̸é, ±×°ÍÀÌ °¡¿(B)µÈ´Ù¸é ±×°ÍÀº
ÆØÃ¢(C)ÇÑ´Ù.
º¸Æí¾çȱâÈ£ '()'¿Í º¯¼ö '
'¸¦ '±×°Í'¿¡ ´ëÀÔÇϸé
(11)
°¡ ö(A)À̸é,
°¡ °¡¿(B)µÇ¸é
´Â ÆØÃ¢(C)ÇÑ´Ù.
¿©±â¿¡ 'A', 'B', 'C'¸¦ ³ÖÀ¸¸é,
(12) À̸é,
¸é
´Ù½Ã °¡¾ðÇü½ÄÀ¸·Î °íÄ¡¸é,
(13)
±×·¯³ª (13)À» ·Î ÇÏ´Â °ÍÀº ¿ÇÁö ¾Ê´Ù. ±× ÀÌÀ¯¸¦ À½¹ÌÇØ º¸ÀÚ. À§ÀÇ (9)¿Í ºñ½ÁÇÑ °ÍÀ¸·Î¼
(14) ¸ðµç °¡¿(B)µÈ ö(A)Àº ÆØÃ¢(C)ÇÑ´Ù.
¸¦ ¿¹·Î µé°í, À̰ÍÀ» (10)°ú °°Àº Çü½ÄÀ¸·Î °íÄ¡¸é,
(15 ) ¸ðµç ¿¡ ´ëÇÏ¿© ±×°ÍÀÌ °¡¿µÇ°í ±×°ÍÀÌ Ã¶À̶ó¸é, ±×°ÍÀº ÆØÃ¢ÇÑ´Ù.
·Î µÈ´Ù. º¸Æí¾çȱâÈ£¿Í º¯¼ö¸¦ ´ëÀÔÇϸé,
(16) °¡ °¡¿ (B) µÇ°í
°¡ ö(A)À̶ó¸é,
´Â ÆØÃ¢(C)ÇÑ´Ù.
(17) °¡ (B)À̰í
°¡ AÀ̸é,
´Â C´Ù.
(18) ¸é
(19)
(13)°ú (19)¸¦ ºñ±³Çϸé (9)¿Í (14)ÀÇ Â÷À̸¦ ¾Ë ¼ö ÀÖ´Ù. ±×°ÍÀº ³í¸®Çü½ÄÀÌ ¹®¹ýÇü½Ä°ú ÆòÇàÇÔÀ» ¾Ë·Á ÁØ´Ù. ±×·¯¹Ç·Î ¹®¹ýÇü½Ä¿¡ ÀÖ¾î¼ Çϳª ¶Ç´Â ±× ÀÌ»óÀÇ ÁÖ¾îÀÇ ¼ö½Ä¾î°¡ ¹ß°ßµÇ¸é ¼ú¾î¸¦ Ç¥½ÃÇÏ´Â ¾î¶² ¹®ÀÚ¸¦ ÀÌ ¼ö½Ä¾î¿¡ µû¶ó¼ ´ëÀÔ½ÃŰ¸é µÈ´Ù.
(20) °ü´ëÇϵ簡 ÀÌÇØ¼º ÀÖ´Â »ç¶÷(A)Àº ½Å°æÁú¸¸ ¾øÀ¸¸é ÇູÇÏ´Ù(E).
ÁÖ¾î´Â '°ü´ëÇϵ簡 ÀÌÇØ¼º ÀÖ´Â »ç¶÷'ÀÌ°í ¼ú¾î´Â ±× ³ª¸ÓÁö ºÎºÐÀÌ´Ù. À̰ÍÀº °ð A¸íÁ¦, Áï
(21) ¸ðµç A´Â E´Ù.
À̱⵵ ÇÏ´Ù. ±×·¯³ª °¡¾ðÀû ¾çÈÇü½ÄÀ¸·Î °íÄ¡¸é,
(22) ¸ðµç ¿¡ ´ëÇÏ¿© ±×°ÍÀÌ »ç¶÷(A)ÀÌ°í ±×°ÍÀÌ °ü´ë(B)Çϵ簡 ±×°ÍÀÌ ÀÌÇØ¼º(C) Àֵ簡À̸é
±×°ÍÀÌ ½Å°æÁú(D)ÀÌ ¾øÀ¸¸é ¿ÀÁ÷ ±×¶§¿¡¸¸ ±×°ÍÀº Çູ(E)ÇÏ´Ù.
·Î µÇ°í, '±×°Í'¿¡ ¸¦ ³ÖÀ¸¸é,
(23) À̰í
À̵簡
¸é, ´Ù¸¸ Þª
¸é
´Ù.
(24)
·Î µÈ´Ù. E¸íÁ¦¸¦ º¸ÀÚ.
(25) ¸ðµç ºñ°ÌÇÑ ÀÚ(A)´Â ¿ë°¨(B)ÇÏÁö ¾Ê´Ù.
(26) ¸ðµç ¿¡ ´ëÇÏ¿© ±×°ÍÀÌ ºñ°ÌÇÑ ÀÚ(A)¶ó¸é ±×°ÍÀº ¿ë°¨(B)ÇÏÁö ¾Ê´Ù.
(27) (E
¸íÁ¦ÀÇ ±âº»¸íÁ¦¸ðÇü)
(28) ¸ðµç Áßµ¶¼º (A) ÀÖ´Â ¾à(B)Àº ÀÇ»çÀÇ Áö½Ã(C)°¡
¾øÀ¸¸é ¾ÈÀü(D)ÇÏÁöµµ ¾Ê°í À¯ÀÍ(E)ÇÏÁöµµ ¾Ê´Ù.
(29) ¸ðµç ¿¡ ´ëÇÏ¿© ±×°ÍÀÌ ¾à(B)ÀÌ°í ¶Ç ±×°ÍÀÌ Áßµ¶¼º(A)ÀÌ ÀÖ´Ù¸é, ÀÇ»çÀÇ Áö½Ã(C)°¡
¾øÀ» ¶§´Â ±×°ÍÀº ¾ÈÀü(D)ÇÑ °Íµµ À¯ÀÍ(E)ÇÑ °Íµµ ¾Æ´Ï´Ù.
(30) À̰í
À̸é,
°¡ ¾øÀ» ¶§´Â
µµ
µµ ¾Æ´Ï´Ù.
(31)
(32) ¸¸ 20¼¼°¡ ¾È µÇ¾ú°Å³ª Çѱ¹ ½Ã¹Î±ÇÀ» °¡Áö°í
ÀÖÁö ¾ÊÀº ÀÚ´Â ÅõÇ¥±Çµµ ¾ø°í ±¹¹æÀÇ Àǹ«µµ ¾ø´Ù.
(33) ¸ðµç Çѱ¹ »ç¶÷(A)Àº ±×°¡ ¸¸ 20¼¼ (B)°¡
¾ÈµÇ¾ú°Å³ª Çѱ¹ ½Ã¹Î±Ç(C)À» °¡Áö°í ÀÖÁö ¾ÊÀ¸¸é, ÅõÇ¥±ÇÀ» Çà»çÇÒ ¼öµµ(D)
¾ø°í ±¹¹æÀÇ Àǹ«(E)µµ ¾ø´Ù.
(34) ¸ðµç ¿¡ ´ëÇÏ¿© ±×°ÍÀÌ Çѱ¹ »ç¶÷(A)ÀÌ°í ¶Ç ±×°ÍÀÌ ¸¸ 20¼¼(B)°¡ ¾ÈµÇ¾ú°Å³ª ±×°ÍÀÌ
Çѱ¹ ½Ã¹Î±Ç(C)À» °¡Áö°í ÀÖÁö ¾ÊÀ¸¸é, ±×°ÍÀÌ ÅõÇ¥±Ç(D)À» Çà»çÇϰųª ±¹¹æÀÇ
Àǹ«(E)À» Áø´Ù´Â °ÍÀº »ç½ÇÀÌ ¾Æ´Ï´Ù.
(35) À̰í
À̸é
ÀÌ ¾Æ´Ï´Ù.
(36)
A, E´Â ÀüΏíÁ¦À̹ǷΠº¸Æí¾çȱâÈ£·Î Ç¥½ÃµÇ¾úÀ¸³ª I, OÀÇ Æ¯Äª¸íÁ¦´Â ¾î¶² ÁýÇÕÀÇ ¿ø¼ÒÀÇ ÀϺΠȤÀº Àû¾îµµ ÇϳªÀÇ ¿ø¼ÒÀÇ Á¸À縦 ¾ðÇ¥ÇÏ´Â °ÍÀ̹ǷΠº¸Æí¾çȱâÈ£·Î Ç¥½ÃÇÒ ¼ö ¾ø´Ù. ƯΏíÁ¦´Â 'Àû¾îµµ Çϳª°¡ Á¸ÀçÇÔ'À» ÁÖÀåÇϹǷΠÀ̰ÍÀ» Á¸Àç¸íÁ¦(exisitential statement)¶ó°í ÇÑ´Ù. ±×¸®ÇÏ¿©
(37) ¾î¶² ÇлýÀº Çö¸íÇÏ´Ù.
´Â
(38) Àû¾îµµ ÇϳªÀÇ °¡ ÀÖ°í, ±×°ÍÀº ÇлýÀÌ°í ±×°ÍÀº Çö¸íÇÏ´Ù.
·Î °íÄ¥ ¼ö ÀÖ´Ù. ¿©±â¿¡¼ 'Àû¾îµµ ÇϳªÀÇ °¡ ÀÖ°í'´Â
·Î Ç¥½ÃµÇ°í Á¸Àç¾çȱâÈ£ (existential quantifier) ¶ó ÇÑ´Ù. ±×·¯¸é (38)Àº
´Ù½Ã,
(39)
´Â Çлý(A)À̰í
´Â Çö¸í(B)ÇÏ´Ù.
·Î Ç¥½ÃµÈ´Ù. ´Ù½Ã À̰ÍÀº
(40)
(41) (
I¸íÁ¦ÀÇ ±âº»¸íÁ¦¸ðÇü)
·Î µÈ´Ù. ¿©±â¼ ÁÖÀÇÇÒ °ÍÀº ÀüΏíÁ¦´Â °¡¾ðÀûÀ¸·Î
ÇØ¼®ÇÒ ¼ö Àֱ⠶§¹®¿¡ "¸ðµç ÇлýÀº Çö¸íÇÏ´Ù"¸¦ ·Î ÇÒ ¼ö ÀÖÀ¸³ª, ƯΏíÁ¦´Â °¡¾ðÀû ÇØ¼®ÀÀ ÇÒ ¼ö ¾ø±â ¶§¹®¿¡
·Î ÇØ¼´Â ¾ÈµÈ´Ù´Â °ÍÀÌ´Ù.
°¡ ÁøÀÌ µÇ·Á¸é ÇлýÀÌ ¾Æ´Ï°Å³ª Àû¾îµµ ÇÑ »ç¶÷ÀÇ Çö¸íÇÑ ÀÚ°¡ ÀÌ ¼¼»ó¿¡ ÀÖ´Ù´Â
°ÍÀÌ º¸ÁõµÇ¾î¾ß ÇÑ´Ù. ±×·±µ¥
¿Í µ¿Ä¡ÀÎ
´Â "Àû¾îµµ ÇϳªÀÇ
°¡ ÀÖ°í ±×°ÍÀÌ ÇлýÀÌ ¾Æ´Ï°Å³ª ±×°ÍÀÌ Çö¸íÇϰųª ÀÌ´Ù" ÀÇ ¶æÀ̹ǷΠ'
'´Â (37)°ú´Â ´Ù¸¥ Àǹ̰¡ µÈ´Ù. µû¶ó¼ (37)Àº
·Î µÇ¾î¾ß ÇÑ´Ù.
(42) ¾à°£ÀÇ ÀçÁÖ ÀÖ´Â(A) Çлý(B)Àº °ø°ú Áö¸Á»ý(C)ÀÌ´Ù.
¸¦ º¸¸é,
(43) Àû¾îµµ ÇϳªÀÇ °¡ ÀÖ°í ±×°ÍÀº ÀçÁÖ(A) ÀÖ°í ±×°ÍÀº Çлý(B)ÀÌ°í ±×°ÍÀº °ø°ú Áö¸Á»ý(C)ÀÌ´Ù.
·Î µÇ¾î ´Ù½Ã
(44)
·Î µÈ´Ù. ´Ù¸¥ ¿¹¸¦ º¸ÀÚ.
(45) ÀçÁÖ(A)µµ ¾ø°í °ø°ú Áö¸Á»ý(B)µµ ¾Æ´Ï¸é¼
°ÔÀ¸¸£°í(C) ½É¼ú±ÄÀº (D) ¾à°£ÀÇ Çлý(E)µµ Á¹¾÷(F)À» Çϰųª ÃëÁ÷(G)À» ÇÑ´Ù.
(46) Àû¾îµµ ÇϳªÀÇ °¡ Àִµ¥ ±×°ÍÀº Çлý (E)ÀÌ°í ±×°ÍÀº ÀçÁÖ(A)Àְųª °ø°ú Áö¸Á»ý(B)ÀÌ ¾Æ´Ï¸ç,
¶Ç ±×°ÍÀº °ÔÀ¸¸£°í(C) ±×°ÍÀº ½É¼ú±ÄÀ¸³ª(D) ±×°ÍÀº Á¹¾÷(F)Çϰųª ÃëÁ÷(G)À»
ÇÑ´Ù.
(47)
·Î µÈ´Ù.
O¸íÁ¦ÀÇ ¿¹¸¦ µé¾î º¸ÀÚ.
(48) ÀϺÎÀÇ ÆäÀÎÅÍ(painter)´Â Ȱ¡°¡ ¾Æ´Ï´Ù.
(49) Àû¾îµµ ÇϳªÀÇ °¡ Àִµ¥ ±×°ÍÀº ÆäÀÎÅÍ(A)ÀÌ°í ±×°ÍÀº Ȱ¡(B)´Â ¾Æ´Ï´Ù.
(50) (O¸íÁ¦ÀÇ
±âº»¸íÁ¦¸ðÇü)
(51) Ȱ¡À̰ųª »óÀÎÀÌ ¾Æ´Ñ ÆäÀÎÅ͵éÀÌ ÀÖ´Ù.
ÀÌ ¸íÁ¦´Â µÎ °¡Áö·Î ÇØ¼®ÇÒ ¼ö ÀÖ´Ù. Áï
(52a) ¾à°£ÀÇ ÆäÀÎÅÍ(A)µéÀº Ȱ¡(B)ÀÌÁö¸¸ »óÀÎ(C)Àº
¾Æ´Ï´Ù.
(52b) ¾à°£ÀÇ ÆäÀÎÅÍ(A)µéÀº Ȱ¡(B)µµ ¾Æ´Ï¿ä
»óÀÎ(C)µµ ¾Æ´Ï´Ù.
(53a) Àû¾îµµ ÇϳªÀÇ °¡ Àִµ¥ ±×°ÍÀº ÆäÀÎÅÍ(A)ÀÌ°í ±×°ÍÀº Ȱ¡(B)ÀÌÁö¸¸ ±×°ÍÀº »óÀÎ(C)ÀÌ ¾Æ´Ï´Ù.
(53b) Àû¾îµµ ÇϳªÀÇ °¡ Àִµ¥ ±×°ÍÀº ÆäÀÎÅÍ(A)ÀÌÁö¸¸ Ȱ¡(B)À̰ųª »óÀÎ(C)Àº ¾Æ´Ï´Ù.
·Î µÇ¾î (53a)´Â I¸íÁ¦À̰í (53b)´Â O¸íÁ¦ÀÌ´Ù. µû¶ó¼ (53a)´Â ¹«½ÃµÇ¾î¾ß Çϰí (53b)´Â
(54)
·Î µÉ °ÍÀÌ´Ù.
(55) »óÀÎÀ̰ųª Àå½Ä°¡¶ó¸é »öä¿¡ ´ëÇÑ ¾È¸ñÀº
°¡Áö°í ÀÖ°ÚÀ¸³ª °áÄÚ ¿¹¼ú°¡°¡ µÉ ¼ö´Â ¾ø´Â ÆäÀÎÅ͵éÀÌ ÀÖ´Ù.
(56) Àû¾îµµ ÇϳªÀÇ °¡ Àִµ¥ ±×°ÍÀº ÆäÀÎÅÍ(A)ÀÌ°í ¸¸ÀÏ ±×°ÍÀÌ »óÀÎ(B)À̰ųª ±×°ÍÀÌ Àå½Ä°¡(C)¶ó¸é
±×°ÍÀº »öä¿¡ ´ëÇÑ ¾È¸ñ(D)Àº °¡Áö°í ÀÖÀ¸³ª °áÄÚ ±×°ÍÀº ¿¹¼ú°¡(E)´Â ¾Æ´Ï´Ù.
(57)
ÀÌ»óÀÇ ±âº»ÀûÀÎ ¸íÁ¦¸ðÇüÀ» Á¤¸®ÇÏ¸é ´ÙÀ½°ú °°´Ù.
A :
E :
I :
O :
''´Â º¸Æí¾çȱâÈ£¸¦, '
'´Â Á¸Àç¾çȱâÈ£¸¦ Ç¥½ÃÇÏ°í ±×¸®°í '
'´Â º¯¼ö, '
'¿Í '
'´Â ¼ú¾î¸¦ Ç¥½ÃÇÑ´Ù°í ÇÏ¸é ¸íÁ¦¸ðÇüÀº ´ÙÀ½°ú °°ÀÌ Ç¥½ÃµÇ´Ï A¿Í EÀÇ ¸íÁ¦
¸ðÇüÀº °¡¾ðÀûÀ̰í I, O´Â ¿¬¾ðÀûÀÓÀ» ¾Ë ¼ö ÀÖ´Ù.
A :
B :
I :
O :
±×·¯³ª À§¿Í °°Àº Á¤¾ð¸íÁ¦ ¸ðÇüÀ¸·Î Ç¥ÇöµÇÁö ¾Ê´Â ¸íÁ¦µµ ÀÖ´Ù. ´ÙÀ½ÀÇ ¸íÁ¦¸¦ ¸íÁ¦¸ðÇüÀ¸·Î Ç¥½ÃÇØ º¸ÀÚ.
(1) ¸ðµç °ÍÀº Èñµç°¡ ÈñÁö ¾Êµç°¡ÀÌ´Ù.
(2)
¸ðµç ¿¡ ´ëÇÏ¿© ±×°ÍÀº Èñ(A)µç°¡ ±×°ÍÀº ÈñÁö ¾Êµç°¡ÀÌ´Ù.
(3)
(4) ¾î¶² °ÍÀº ³×¸ðÀ̵簡 µÕ±Ûµç°¡ÀÌ´Ù.
(5) Àû¾îµµ ÇϳªÀÇ °¡ ÀÖ°í ±×°ÍÀº ³×¸ð(A)À̵簡 ±×°ÍÀº µÕ±Û (B)µç°¡ÀÌ´Ù.
(6)
(3)°ú (6)À» À§¿Í °°ÀÌ Ç¥ÇöÇÏ¸é ´ÙÀ½°ú °°´Ù.
À̰ÍÀº ¾Õ¿¡ ¸»ÇÑ Á¤¾ð¸íÁ¦¿Í´Â ´Ù¸£´Ù.
(7) ¹«¿ëÀÚÃâÀÔ±ÝÁö
(8) ¸ðµç ¹«¿ëÀÚ´Â µé¾î°¥
¼ö ¾ø´Ù.
(9) ¸ðµç ¿¡ ´ëÇÏ¿© ±×°ÍÀÌ ¹«¿ëÀÚ(A)¶ó¸é µé¾î°¥ ¼ö(B) ¾ø´Ù.
(10)
ÀÌ»óÀº ¿øÀÚ¸íÁ¦ÀÌ°Å´Ï¿Í ºÐÀÚ¸íÁ¦ÀÇ °æ¿ì´Â ¾Æ·¡¿Í °°´Ù.
(11) ¾î¶² µµÇüÀº ¿øÇüÀε¥ ´Ù¸¥ ¾î¶² µµÇüÀº
»ç°¢ÇüÀÌ´Ù.
(12) Àû¾îµµ ÇϳªÀÇ °¡ Àִµ¥ ±×°ÍÀº µµÇü(A)ÀÌ°í ±×°ÍÀº ¿øÇü(B)À̸ç, Àû¾îµµ ÇϳªÀÇ
°¡ Àִµ¥ ±×°ÍÀº µµÇü(A)ÀÌ°í ±×°ÍÀº »ç°¢Çü(C)ÀÌ´Ù.
À̰ÍÀº µÎ I¸íÁ¦ÀÇ °áÇÕÀÌ´Ù. µû¶ó¼
(13)
ÀÌ µÈ´Ù. ¿©±â¼ À߸øÇÏ¸é ·Î ÇѴٵ簡,
·Î Çϱ⠽¬¿îµ¥ ±×°ÍÀº À߸øÀÌ´Ù. ±×°ÍÀº ¾î¶² µµÇüÀÌ ¿øÇüÀÌ°í »ç°¢ÇüÀÓÀ» ¾ðÇ¥ÇÏ´Â
°ÍÀÌ µÇ±â ¶§¹®ÀÌ´Ù.
(14) ÆÄ¿Í ´ç±ÙÀº ½Ä¿ëÀÌ´Ù.
(15) ¸ðµç ¿¡ ´ëÇÏ¿© ±×°ÍÀÌ ÆÄ(A)ÀÌ°í ±×°ÍÀÌ ´ç±Ù(B)À̶ó¸é ±×°ÍÀº ½Ä¿ë(C)ÀÌ´Ù.
(16)
±×·¯³ª À̰ÍÀº ¿ÇÁö ¾Ê´Ù. (15)´Â ºÐÀÚ¸íÁ¦À̱⠶§¹®¿¡ (17)°ú °°ÀÌ °íÃÄÁ®¾ß ¿Ç´Ù.
(17) ÆÄ´Â ½Ä¿ëÀÌ°í ´ç±ÙÀº ½Ä¿ëÀÌ´Ù.
µû¶ó¼
(18) ¸ðµç ¿¡ ´ëÇÏ¿© ±×°ÍÀÌ ÆÄ(A)ÀÌ¸é ±×°ÍÀº ½Ä¿ë(C)À̰í, ¸ðµç
¿¡ ´ëÇÏ¿© ±×°ÍÀÌ ´ç±Ù(B)ÀÌ¸é ±×°ÍÀº ½Ä¿ë(C)ÀÌ´Ù.
(19)
·Î µÇ¾î¾ß ¿Ç´Ù. ´Ù¸¥ Çü½ÄÀ¸·Î Ç¥½ÃÇϸé,
(20)
°¡ µÈ´Ù.
ºÎÁ¤ÀÇ °æ¿ì¸¦ º¸ÀÚ.
(21) ¸ðµç ÀϺ»ÀÎ(A)Àº ¿Ö¼Ò(B)ÇÏ´Ù.
´Â A¸íÁ¦À̹ǷΠÀÌ´Ù. À̰ÍÀÇ ºÎÁ¤Àº
(22)
·Î µÈ´Ù. ¿©±â¼ ÁÖÀÇÇÒ °ÍÀº, (22)´Â E¸íÁ¦°¡ ¾Æ´Ï¶ó´Â Á¡ÀÌ´Ù. (21)ÀÇ ºÎÁ¤Àº
(23) ¸ðµç ÀϺ»ÀÎÀÌ ´Ù ¿Ö¼ÒÇÑ °ÍÀº ¾Æ´Ï´Ù.
Áï O ¸íÁ¦¶ó¾ß ÇÑ´Ù. ¶Ç
(22)ÀÇ °ýÈ£ [ ]´Â ÇÊ¿ä¾ø´Ù.
(23)˼
(24)
·Î ±âȣȵȴÙ. ¿©±â¼ ¿ì¸®´Â (22)¿Í (24)°¡ ³í¸®Àû µ¿Ä¡°¡ µÇ¾î¾ß ÇÔÀ» ¿¹»óÇÒ ¼ö ÀÖ´Ù.
(25) À̱ºÀÌ ¿¬¼³ÇÑ´Ù¸é ȸÇÕ¿¡ ¸ðÀÎ »ç¶÷µéÀÌ °æÃ»ÇÒ °ÍÀÌ´Ù.
ÀÌ ºÐÀÚ¸íÁ¦¸¦ ¿øÀÚ¸íÁ¦·Î ³ª´²¼ ¸ÕÀú µÞ ºÎºÐÀ» º¸¸é,
(26) ¸ðµç ¿¡ ´ëÇÏ¿© ±×°ÍÀÌ »ç¶÷(A)ÀÌ°í ±×°ÍÀÌ È¸ÇÕ(B)Çß´Ù¸é ±×°ÍÀº °æÃ»(C)ÇÒ °ÍÀÌ´Ù.
(27)
¿©±â¿¡ 'À̱º(l)ÀÌ ¿¬¼³(S)ÇÑ´Ù¸é'À» ÷°¡Çؼ
(28)
·Î µÈ´Ù.
(29) ÀϺÎÀÇ ÇлýµéÀÌ Á¹°í ÀÖ´Â µ¿¾È R±³¼ö´Â
°úÁ¦¸¦ ³Â´Ù.
(30) ÀϺÎÀÇ Çлý(A)Àº Á¹°í(B) ÀÖ´Ù.
(31)
'R±³¼ö()´Â °úÁ¦(C)¸¦ ³Â´Ù'´Â ¿øÀÚ¸íÁ¦´Â '
'À̹ǷÎ
(32)
°¡ µÈ´Ù.
±â¼ú¾ð¾î¿¡´Â ¿ì¸®°¡ Áö±Ý±îÁö ´Ù·ç¾î
¿Â °Í À̿ܿ¡ °³Ã¼µé »çÀÌÀÇ °ü°è¸¦ Ç¥½ÃÇÏ´Â °ÍÀÌ ÀÖ´Ù. "À̱ºÀÌ ¹Ú±º¿¡°Ô
¸»ÇÑ´Ù"´Â °Í µûÀ§°¡ ±×°ÍÀÌ´Ù. ¿©±â¿¡ µÎ °¡ÁöÀÇ °ü·Ê°¡ ÀÖ´Ù. Çϳª´Â '¿¡°Ô
¸»ÇÑ´Ù'´Â °ü°è¼ú¾î(relational predicate)À̸ç, ´Ù¸¥ Çϳª´Â À̱º°ú ¹Ú±º '»çÀÌ'
Áï º¯¼ö, »ó¼öµé »çÀÌÀÇ °ü°è°¡ ±×°ÍÀÌ´Ù. ƯÈ÷ '' ¿Í '
' »çÀÌÀÇ °ü°è°¡ ¹®Á¦´Ù. ÀüÀÚºÎÅÍ »ìÆìº¸ÀÚ.
(1) À̱ºÀº ¹Ú±º¿¡°Ô ¸»ÇÑ´Ù.
¿¡¼ '¿¡°Ô ¸»ÇÑ´Ù'¸¦ 'T', 'À̱º'À» '', '¹Ú±º'À» 'p'·Î ¾àÁ¤ÇÏ¸é ´ÙÀ½°ú °°ÀÌ ±âÈ£·Î Ç¥½ÃÇÒ ¼ö ÀÖ´Ù.
(2)
¿©±â¿¡¼ ''ÀÇ ¼ø¼¸¦ '
'·Î Çϸé '¹Ú±ºÀÌ À̱º¿¡°Ô' ¸»ÇÏ´Â °ÍÀ¸·Î µÈ´Ù. µû¶ó¼ ¼ø¼°¡ Áß¿äÇÏ´Ù.
(3) À̱º()ÀÌ À̱º(
)¿¡°Ô (Áï ÀÚ±â Àڽſ¡°Ô) ¸»ÇÑ´Ù.
ÀÇ °æ¿ìµµ Àü·Ê¿Í ¸¶Âù°¡Áö·Î
(4)
·Î ¾´´Ù.
(5) ¾î¶² »ç¶÷ÀÌ ¹Ú±º¿¡°Ô ¸»ÇÑ´Ù.
(6) Àû¾îµµ
ÇϳªÀÇ °¡ ÀÖ°í ±×
°¡ ¹Ú±º(p)¿¡°Ô ¸»ÇÑ´Ù(T).
(7)
(8) ¹Ú±ºÀÌ ´ëÅë·É¿¡°Ô ¸»ÇÑ´Ù.
(9) Àû¾îµµ ÇϳªÀÇ °¡ ÀÖ°í ±×´Â ´ëÅë·É(M)Àε¥ ¹Ú±º(p)ÀÌ ±×¿¡°Ô Áö½ÃÇÑ´Ù(T).
(10)
(11) ¸ðµç »ç¶÷ÀÌ ¹Ú±º¿¡°Ô ¸»ÇÑ´Ù.
(12) ¸ðµç ¿¡ ´ëÇÏ¿© ±×
°¡ ¹Ú±º(p)¿¡°Ô ¸»ÇÑ´Ù(T).
(13)
(14) ¹Ú±ºÀÌ ¸ðµç »ç¶÷¿¡°Ô ¸»ÇÑ´Ù.
(15) ¸ðµç ¿¡ ´ëÇÏ¿© ¹Ú±º(p)ÀÌ ±×
¿¡°Ô ¸»ÇÑ´Ù(T).
(16)
´ÙÀ½¿¡´Â ()¿Í
¶Ç´Â (
)¿Í
,
¿Í
µî Á¸Àç¾çȱâÈ£ ¹× °Å±â¿¡ µû¸£´Â º¯¼öµé°úÀÇ °ü°è¸¦ »ìÆìº¸±â·Î ÇÏÀÚ.
(17) ¸ðµç »ç¶÷µéÀÌ ÀϺÎÀÇ »ç¶÷µé¿¡°Ô ¸»ÇÑ´Ù.
(18)
¸ðµç ¿¡ ´ëÇÏ¿© ±×
°¡ »ç¶÷(A)À̸é
´Â ÀϺÎÀÇ »ç¶÷µé¿¡°Ô ¸»ÇÑ´Ù(T).
(19) () (
°¡ AÀ̸é
´Â ¾î¶² »ç¶÷µé¿¡°Ô ¸»ÇÑ´Ù)
' °¡ A À̸é'Àº '
'·Î µÇ°Ú°Å´Ï¿Í, "
´Â ÀϺÎÀÇ »ç¶÷µé¿¡°Ô ¸»ÇÑ´Ù"¸¦ º¸¸é
(20) Àû¾îµµ ÇϳªÀÇ ¾î¶² °ÍÀÌ ÀÖ°í ±×°ÍÀÌ »ç¶÷À̰í
´Â ±×°Í¿¡°Ô ¸»ÇÑ´Ù.
·Î µÉ °ÍÀÌ´Ù. ¿©±âÀÇ 'ÀϺÎÀÇ »ç¶÷µé'Àº µè´Â
»ç¶÷À̹ǷÎ
ÈÀÚÀÎ '' ¿Í´Â ±¸º°µÈ´Ù. À̰ÍÀ» 'y' ¶ó°í Çϸé (20)Àº ƯΏíÁ¦À̹ǷΠÁ¸Àç¾çȱâÈ£¸¦
½á¼,
(21) (y ´Â »ç¶÷(A)À̰í
´Â y¿¡°Ô ¸»ÇÑ´Ù)
·Î ÇÒ ¼ö ÀÖ°í, '¸»ÇÑ´Ù'¸¦ 'T'¶ó°í Çϸé (21)Àº ´Ù½Ã
(22)
ÀÌ´Ù. (22)¸¦ (19)¿¡ ³ÖÀ¸¸é
(23)
°¡ µÈ´Ù.
(24) ÀϺÎÀÇ »ç¶÷µéÀÌ ¸ðµç »ç¶÷¿¡°Ô ¸»ÇÑ´Ù.
(25)
Àû¾îµµ ÇϳªÀÇ °¡ ÀÖ°í, ±×
´Â »ç¶÷À̸ç
´Â ¸ðµç »ç¶÷µé¿¡°Ô ¸»ÇÑ´Ù.
(26) (
´Â »ç¶÷(A)À̰í,
´Â ¸ðµç »ç¶÷¿¡°Ô ¸»ÇÑ´Ù(T))
(26)ÀÇ '´Â »ç¶÷(A)À̰í'±îÁö´Â
·Î µÈ´Ù. ±×·±µ¥ µÞ ºÎºÐ "
´Â ¸ðµç »ç¶÷¿¡°Ô ¸»ÇÑ´Ù(T)"¸¦ º¸¸é,
(27) ¸ðµç °æ¿ì¿¡ ´ëÇÏ¿© ±×°ÍÀÌ »ç¶÷(A)À̸é
´Â ±×°Í¿¡°Ô ¸»ÇÑ´Ù(T).
·Î µÈ´Ù. '¸ðµç °æ¿ì¿¡ ´ëÇÏ¿©'¸¦ ''·Î Çϸé,
(28)
ÀÌ´Ù. (28)À» (26)¿¡ ³ÖÀ¸¸é,
(29)
·Î µÈ´Ù.
(30) ¾î¶°ÇÑ ¿øÀ» ±×¸®¸é ¾î¶² µµÇüÀ» ±×¸®´Â
°ÍÀÌ´Ù.
(31) ¸ðµç °æ¿ì¿¡ ÀÖ¾î¼ ¾î¶°ÇÑ ¿øÀ» ±×¸®¸é ¾î¶² µµÇüÀ» ±×¸®´Â
°ÍÀÌ´Ù.
'¸ðµç °æ¿ì¿¡ ÀÖ¾î¼'´Â ()À̹ǷÎ
(32) () (
°¡ ¾î¶² ¿øÀ» ±×¸®¸é,
´Â ¾î¶°ÇÑ µµÇüÀ» ±×¸°´Ù.)
·Î µÇ´Âµ¥, "°¡ ¾î¶² ¿øÀ» ±×¸°´Ù"´Â
(33) ¾î¶² y°¡ ÀÖ¾î¼, ±×°Í(y)Àº ¿ø(A)ÀÌ°í ´Â ±×°Í(y)À» ±×¸°´Ù(T).
(34)
ÀÌ´Ù. ´Ù½Ã ³ª¸ÓÁö ºÎºÐ "´Â ¾î¶°ÇÑ µµÇüÀ» ±×¸°´Ù"´Â
(35) ¾î¶² y°¡ ÀÖ¾î¼ ±×°Í(y)Àº µµÇü(B)ÀÌ°í ´Â ±×°Í(y)À» ±×¸°´Ù(T).
(36)
·Î µÈ´Ù. µû¶ó¼ (34)¿Í (36)À» ¸ð¾Æ¼ ÇϳªÀÇ ¸íÁ¦½ÄÀ¸·Î ¸¸µé¸é,
(37)
À̰í, À̰ÍÀ» ´Ù½Ã (32)¿¡ ³ÖÀ¸¸é,
(38)
·Î µÈ´Ù.
À§¿Í °°ÀÌ ÇÏ¿© °ü°è¸íÁ¦¸¦
±âÈ£ÈÇÒ ¼ö ÀÖ´Ù. °æ¿ì¿¡ µû¶ó¼ µµ ÀÖÀ» ¼ö Àְڴµ¥, À̰ÍÀº ¿¹ÄÁ´ë "¸ðµç »ç¶÷ÀÌ ¸ðµç »ç¶÷¿¡°Ô ¸»ÇÑ´Ù"À̹ǷÎ
·Î ÇØµµ ¹«¹æÇÏ´Ù. ÈÀÚµµ ûÀÚµµ ´Ù°°ÀÌ '¸ðµç»ç¶÷' À̱⠶§¹®ÀÌ´Ù. ±×¿Í ¸¶Âù°¡Áö·Î
´Â
·Î ÇØµµ ¹«¹æÇÏ´Ù. '
' ¸¦ '¾à°£ÀÇ »ç¶÷', '
' ¸¦ '¾à°£ÀÇ »ç¶÷'À̶ó°í ÇÑ´Ù¸é '¾à°£ÀÇ »ç¶÷ÀÌ ¾à°£ÀÇ »ç¶÷¿¡°Ô ¸»ÇÑ´Ù'´Â °ÍÀº
³í¸®ÀûÀ¸·Î´Â ±× ¿ªÀÌ °¡´ÉÇϱ⠶§¹®ÀÌ´Ù. ±×·¯³ª
(39) »ç¶÷Àº ´©±¸³ª ¾î¶² »ç¶÷¿¡°Ô ¸»ÇÑ´Ù.
¸¦ º¸¸é À̰ÍÀº
(40) ¸ðµç ¿¡ ´ëÇÏ¿© ±×
°¡ ¾î¶² »ç¶÷µé¿¡°Ô ¸»ÇÑ´Ù.
(41) () (
°¡ ¾î¶² »ç¶÷µé¿¡°Ô ¸»ÇÑ´Ù)
ÀÌ´Ù. ¿©±â¿¡¼ '¾î¶² »ç¶÷µé'À» 'y'¶ó Çϸé,
(42) () Àû¾îµµ ÇϳªÀÇ y°¡ Àִµ¥
´Â ±× y¿¡°Ô ¸»ÇÑ´Ù(T).
(43) ()
·Î µÈ´Ù. ¿©±â¿¡¼ ´Â (
) ÀÇ ¿µÇ⠾Ʒ¡ ÀÖ´Ù´Â °Í, Áï(
) °¡
¾Õ¿¡ ¿Â´Ù´Â °Í¿¡ ÁÖÀÇÇØ¾ß ÇÑ´Ù. (43)¿¡¼´Â '(
)'°¡ µ¿ÀÏÇÑ 'y'¿¡°Ô ¸»ÇÒ ¼öµµ ÀÖ°í '
' Àڽſ¡°Ô ¸»ÇÒ ¼öµµ ÀÖ´Ù. ±×·¯³ª (39)¸¦ '
ó·³ Ç¥½ÃÇϸé (43)°ú´Â ´Ù¸¥ ¶æÀÌ µÈ´Ù. ¿©±â¼´Â '
' °¡
ÀÇ ¿µÇ⠾Ʒ¡ ÀÖÀ¸¹Ç·Î '(
)' ´Â µ¿ÀÏÇÑ 'y'¿¡°Ô ¸»ÇÑ´Ù´Â Àǹ̰¡ µÈ´Ù. ±×·¯¹Ç·Î (
) ¿Í
´Â ¼ø¼¸¦ ¼·Î ¹Ù²Ü ¼ö ¾ø´Ù. µû¶ó¼ (
) ¿Í
´Â ¹®¸Æ¿¡ µû¶ó ÁÖÀÇÇÏ¿© °áÇÕ½ÃÄÑ¾ß ÇÑ´Ù.
(44) '' = 'y´Â À¯¸®º´ÀÌ´Ù'
'' = '
´Â »ç¶÷ÀÌ´Ù.'
'' = '
´Â µ¹ÀÌ´Ù.'
'' = '
´Â y¾È¿¡ »ì°í ÀÖ´Ù'
'' = '
´Â z¸¦ ´øÁ®¾ß ÇÑ´Ù'
¸¦ »óÁ¤ÇÏ°í ´ÙÀ½ÀÇ ¸íÁ¦½ÄÀ» ¿ì¸®¸»·Î °íÃÄ º¸ÀÚ.
(45)
¸ÕÀú '' Áï °¡Àå ÀûÀº ºÎºÐºÎÅÍ ½ÃÀÛÇϸé (46), (47)°ú °°´Ù.
(46) ¸ðµç z¿¡ ´ëÇÏ¿© (¸¸ÀÏ) À̸é
°¡ ¾Æ´Ï´Ù.
Áï
(47) ¸ðµç z¿¡ ´ëÇÏ¿© z°¡ µ¹ÀÌ¸é ´Â z¸¦ ´øÁ®¼´Â ¾ÈµÈ´Ù.
´ÙÀ½ ''¸¦ ¿Å±â¸é (48), (49)¿Í °°´Ù.
(48) Àû¾îµµ ÇϳªÀÇ y°¡ Àִµ¥ ±×°ÍÀº À̰í
À̰í
´Ù.
(49) Àû¾îµµ ÇϳªÀÇ y°¡ Àִµ¥ y´Â À¯¸®º´À̰í y´Â ÁýÀÌ°í ±×¸®°í ´Â y¾È¿¡ »ì°í ÀÖ´Ù.
µû¶ó¼, ''´Â (50), (51)·Î µÈ´Ù.
(50) À̰í Àû¾îµµ ÇϳªÀÇ y°¡ Àִµ¥ y´Â À¯¸®º´À̰í y´Â ÁýÀÌ°í ±×¸®°í
´Â y¾È¿¡ »ì°í ÀÖ´Ù.
(51) ´Â »ç¶÷À̰í Àû¾îµµ ÇϳªÀÇ y°¡ Àִµ¥ y´Â À¯¸®º´À̰í y´Â ÁýÀÌ°í ±×¸®°í
´Â y¾È¿¡ »ì°í ÀÖ´Ù.
(51)°ú (47)À» °í·ÁÇϰí À̰ÍÀ» (45)¿¡ ³ÖÀ¸¸é ¾Æ·¡¿Í °°Àº ¹®ÀåÀÌ µÈ´Ù.
(52) ¸ðµç ¿¡ ´ëÇÏ¿© (¸¸ÀÏ)
°¡ »ç¶÷À̰í Àû¾îµµ ÇϳªÀÇ y°¡ Àִµ¥ y´Â À¯¸®º´À̰í y´Â ÁýÀÌ°í ±×¸®°í
°¡ y ¾È¿¡ »ì°í ÀÖ´Ù¸é ¸ðµç z ¿¡ ´ëÇÏ¿© (¸¸ÀÏ) z °¡ µ¹À̶ó¸é z ´Â ´øÁ®¼´Â ¾ÈµÈ´Ù.
(53)
À¯¸®º´ Áý¾È¿¡ »ì°í ÀÖ´Â »ç¶÷Àº µ¹À» ´øÁ®¼´Â ¾È µÈ´Ù.