¼ú¾î³í¸®
±âÈ£³í¸®ÇÐ : ¼Ò±¤Èñ ÁöÀ½, °æ¹®»ç, 1985, Page 167~169
30. Á¤¾ð¸íÁ¦
31. ÁýÇÕ°ú diagram ¿¡ ÀÇÇÑ ¸íÁ¦ÀÇ Ç¥Çö
32. Á¤¾ð¸íÁ¦ÀÇ diagram °ú ´ë´ç°ü°èÀÇ ÇØ¼®
33. ȯÀ§. ȯÁú. ´ë¿ìȯÀ§¿¡ ÀÇÇÑ Á÷Á¢Ãß·Ð
34. Á¤¾ðÀû »ï´Ü³í¹ý
35. Diagram ¿¡ ÀÇÇÑ Á¤¾ðÀû »ï´Ü³í¹ýÀÇ °ËÁõ
36. Diagram ¹æ¹ýÀÇ ÇѰè
¸íÁ¦³í¸®´Â ¸íÁ¦¿Í ¸íÁ¦ÀÇ °áÇÕ ¹× ±× °áÇÕÀÇ ±¸Á¶¸¦ »ìÇÇ´Â °ÍÀÌ´Ù. ±×·¯³ª ÇѰ谡 ÀÖ´Ù
ù°·Î ¸íÁ¦´Â '¸ðµç', '¾à°£' µîÀÇ quantifier ¸¦ °®´Âµ¥ ¸íÁ¦³í¸®¿¡¼´Â À̰ÍÀ» Ç¥ÇöÇÏÁö ¸øÇϰí ÀÖ´Ù. °¡·É
(1) ¸ðµç »ç¶÷Àº Á¤Á÷ÇÏ´Ù.
¸¦ ºÎÁ¤ÇÔ¿¡ ÀÖ¾î ±× ºÎÁ¤ÀÌ À§ ¸íÁ¦ÀÇ ¾î´À ºÎºÐ¿¡ °É·Á¾ß ÇÏ´ÂÁö ºÐ¸íÄ¡ ¾Ê´Ù. '¸ðµç'À» ºÎÁ¤ÇÑ´Ù¸é,
(2) ¸ðµç »ç¶÷Àº ¹Ýµå½Ã Á¤Á÷ÇÏÁö ¾Ê´Ù.
°¡ µÉ °ÍÀ̸ç, 'Á¤Á÷'À» ºÎÁ¤ÇÑ´Ù¸é,
(3) ¸ðµç »ç¶÷Àº ºÎÁ¤Á÷ÇÏ´Ù.
·Î µÉ °ÍÀÌ´Ù.
µÑ°·Î ¾Æ·¡ÀÇ ¿¹¹®À» º¸ÀÚ.
(1) ¹ÚÀÌ Àå°üÀ̵簡 ±èÀÌ ÁÖ»çÀ̵簡ÀÌ´Ù.
(2)
¹ÚÀÌ Àå°üÀ̵簡 (±× ¹ÚÀÌ) ÁÖ»çÀ̵簡ÀÌ´Ù.
(3) ¹ÚÀÌ Àå°üÀ̵簡 ±èÀÌ Àå°üÀ̵簡ÀÌ´Ù.
À̰͵éÀº ¸íÁ¦³í¸®¿¡ À־ ÀÏ´Ü 'p¡ýq'·Î Ç¥½ÃµÈ´Ù. ±×·¯³ª ¾ö¹ÐÇϰԴ (2)¸¸ÀÌ 'p¡ýq'·Î Ç¥½ÃµÉ ¼ö ÀÖ´Ù. (2)´Â Á־ °°°í ¼ú¾î¸¸ÀÌ ´Ù¸£´Ù. ¿ì¸®°¡ ¸íÁ¦ÇÔ¼ö¸¦ µµÀÔÇÑ´Ù¸é (1)´Â 'Fp¡ýGk'·Î µÉ °ÍÀ̰í, (2)´Â 'Fp¡ýGp'·Î, ±×¸®°í (3)Àº 'Fp¡ýFk'·Î µÉ °ÍÀÌ´Ù. (2)¸¦ 'p¡ýq'ÀÇ ÀüÇüÀ¸·Î »ï´Â´Ù¸é Á־ °°°í ¼ú¾î°¡ ´Ù¸£´Ù´Â °ÍÀ» Á¶°ÇÀ¸·Î »ï¾Æ¾ß Çϴµ¥ (1)¿Í (3)Àº ±×·¸Áö ¸øÇÏ´Ù. ±×·¸´Ù°í (2), (3)ÀÇ ¿¹¹®µéÀ» ¸íÁ¦°¡ ¾Æ´Ï¶ó°í ÇÒ ¼ö´Â ¾ø´Ù.
¼¼Â°·Î Áö±Ý 'p¡ýq'ÀÇ Á¶°ÇÀ¸·Î¼ 'ÁÖ¾î'¿Í '¼ú¾î'¸¦ ¾ð±ÞÇßÀ¸³ª, »ç½Ç ¾î¶² °ÍÀ» ÁÖ¾î·Î ÇÏ°í ¾î¶² °ÍÀ» ¼ú¾î·Î ÇÏ´À³Ä ÇÏ´Â ¹®Á¦µµ °£´ÜÄ¡ ¾Ê´Ù.
¸ðµç »ç¶÷Àº µ¿¹°ÀÌ´Ù.
¿¡¼ ÁÖ¾î´Â '»ç¶÷'ÀÌ°í ¼ú¾î´Â 'µ¿¹°'ÀÌ´Ù. 'ÀÌ´Ù'´Â ¹«¾ùÀΰ¡? À̰ÍÀÌ ¹ø»ç³Ä Á¸Àç»ç³Ä ÇÏ´Â ¹®Á¦´Â Á¸Àç·ÐÀÇ ¿µ¿ª¿¡¼ ¾ÆÁ÷µµ ³í¶õ°Å¸®·Î ³²¾Æ ÀÖ´Ù. °Å±â±îÁö´Â °³ÀÔÇÏÁö ¾Ê±â·Î ÇÏÀÚ. ±×·¸´Ù ÇÏ´õ¶óµµ,
¼øÀÚ°¡ ÄÅÀ» ²£´Ù.
¿¡¼ ÄÅÀ» ±ü µ¿ÀÛÀÇ ÁÖü´Â '¼øÀÚ' ´Ï±î ÁÖ¾î´Â '¼øÀÚ' ÀÌ´Ù. ±×·¯³ª µ¿ÀÏÇÑ ³»¿ëÀÇ ¸íÁ¦
ÄÅÀ» ±ü °ÍÀº ¼øÀÚ´Ù.
¿¡¼ '¼øÀÚ'´Â ¼ú¾î´Ù. ÀÌ ¿¹´Â 'ÁÖ¾î', '¼ú¾î'ÀÇ ¹®Á¦°¡ °£´ÜÄ¡ ¾ÊÀ½À» º¸¿© ÁØ´Ù.
³Ý°·Î °¡·É
¸ðµç »ç¶÷Àº Á״´Ù....p
¼ÒÅ©¶óÅ×½º´Â
»ç¶÷ÀÌ´Ù....q
¡Å¼ÒÅ©¶óÅ×½º´Â Á״´Ù....r
´Â ÀüÅëÀûÀ¸·Î °¡Àå Ÿ´çÇÑ Ãß·ÐÀ¸·Î °£ÁÖµÇ¾î ¿Ô´Ù. ±×·¯³ª À̰ÍÀ» Áø¸®ÇÔ¼ö·Î ±âÈ£ÈÇϸé '(p·q)¡ùr'ÀÌ µÇ´Âµ¥, À̰ÍÀº ¹Ýµå½Ã ÁøÀº ¾Æ´Ï´Ù.
´Ù¼¸Â°·Î ¼ú¾î´Â ÁÖ¾îÀÇ ¼ºÁúÀ» ¸»ÇÑ´Ù.
À̽¸¸Àº Çѱ¹ÀÇ ÃÊ´ë ´ëÅë·ÉÀÌ´Ù.
¿¡¼ 'ÃÊ´ë ´ëÅë·É'Àº À̽¸¸ÀÇ ¼ºÁúÀÌ´Ù. ±×·¯³ª ¸íÁ¦³í¸®¿¡¼´Â ¼ºÁú·Î¼ÀÇ ¼ú¾î°¡ °í·ÁµÇÁö ¾Ê´Â´Ù.
ÀÌ·¯ÇÑ ¿©·¯ ÀÌÀ¯·Î ¿ì¸®´Â ¸íÁ¦¸¦ ±¸¼ºÇÏ´Â ÁÖ¾î(subject term)¿Í ¼ú¾î(predicate term)¸¦ °í·ÁÇÏ°Ô µÈ´Ù. ±×¸®°í ÀÌ·± ³í¸®¸¦ ¸íÁ¦³í¸® ¿Í ±¸º°Çؼ ¼ú¾î³í¸® ¶ó ÇÑ´Ù.