GSAT Ã߸®¿µ¿ª º¹ÁöÈƽܰú ¿À´ÃºÎÅÍ ½ÃÀÛÇߴµ¥ Á¤¸» µçµçÇϳ׿ä.
Àú´Â ÇÐâ½ÃÀýºÎÅÍ ÀÌ ¸íÁ¦¹®Á¦°¡ Á¦ÀÏ °ñÄ©µ¢¾î¸®¿´´Âµ¥ ¿À´Ã º¹ÁöÈƽÜÀÇ ¼ö¾÷À» µè°í ÀúÀÇ ³úÇǼÈ(?)À» ¹ö¸®°í ¼ø¼öÇÏ°Ô ³í¸®ÀûÀ¸·Î¸¸ Á¢±ÙÇؾ߰ڴٴ »ý°¢ÀÌ µé¾ú¾î¿ä.
ƯÈ÷ µå¸ð¸£°£ ¹ýÄ¢Àº óÀ½ ¾Ë°ÔµÈ °³³äÀ̶ó Á¤¸» À¯¿ëÇÏ°Ô »ç¿ëÇÒ ¼ö ÀÖÀ»°Å °°¾Æ¿ä!!
ƯÈ÷ ¸íÁ¦µµ ³»°¡ Çؼ®Çؼ ºÎÈ£ÈÇؼ Ç®¾î¾ßÇÏ°í ¹Ýµå½Ã È®Á¤ÀûÀÌ°í ¸ðµç °æ¿ì¿¡ ÂüÀÌ µÇ´Â ¸íÁ¦·Î ºÎÈ£ÈÇØ¾ß ÇÑ´Ù´Â °ÍÀ» óÀ½ ¹è¿ü¾î¿ä
¿¹¸¦µé¾î ÀÌÀüÀÇ Àú´Â "ÀÚÀ¯¸¦ ´©¸± ¼ö ¾ø´Â »ç¶÷¸¸ ¸í¿¹¿¡ ÁýÂøÇÑ´Ù"¶ó´Â ¸íÁ¦¸¦ Çؼ®ÇÒ ¶§
ÀÚÀ¯X -> ¸í¿¹ÁýÂøO ¶ó°í ºÎÈ£ÈÇߴµ¥ ÀÌ°Ô ¾Æ´Ï´õ¶ó±¸¿ä. ÀÚÀ¯X -> ¸í¿¹ÁýÂøXÀÇ ¹Ý·Êµµ °¡´ÉÇϱ⠶§¹®ÀÌ¿¡¿ä. Áï, ÀÚÀ¯¸¦ ´©¸± ¼ö ¾ø´Â »ç¶÷Áß¿¡¼µµ ¸í¿¹¿¡ ÁýÂøÇÏÁö ¾Ê´Â »ç¶÷ÀÌ ÀÖÀ»¼ö Àִٴ°ÍÀ» °£°úÇß´õ¶ó±¸¿ä.
ÀÌ ¸íÁ¦¸¦ ºÃÀ»¶§ È®Á¤°¡´ÉÇÑ Áø¼úÀº "ÀÚÀ¯¸¦ ´©¸± ¼ö ÀÖ´Â »ç¶÷Àº ¸í¿¹¿¡ ÁýÂøÇÏÁö ¾Ê´Â´Ù."»ÓÀ̾ú¾î¿ä.
±×·¡¼ ÀÚÀ¯O -> ¸í¿¹ÁýÂøX ·Î Çؼ®ÇØ¾ß ÀÌ ¹®ÀåÀ» Á¦´ë·Î ±âÈ£ÈÇÑ °ÍÀ̶ó´Â »ç½ÇÀ» óÀ½ ¾Ë°ÔµÆ¾î¿ä.
±× µ¿¾È ÀÌ·¸°Ô ºÎȣȸ¦ ÇÏÁö ¾Ê¾Æ¼ Çì¸Ç ¹®Á¦°¡ ¾ó¸¶³ª ¸¹ÀºÁö... Áö±ÝÀÌ¶óµµ ¹è¿ï ¼ö ÀÖ¾î¼ ´ÙÇàÀ̶ó´Â »ý°¢ÀÌ¿¡¿ä.
Ãß°¡·Î Á¶°Ç¸íÁ¦ÀÇ ºÐ¸® p -> (q and r)°ú (p or q) -> rÀº ºÐ¸®°¡ °¡´ÉÇÏ´Ù´Â °Í.
ºÐ¸®°¡´É¿©ºÎ´Â ´ë¿ì¸¦ ÃëÇÑ ÈÄ¿¡µµ º¯ÇÏÁö ¾Ê´Â´Ù´Â°ÍÀ» ¾Ë ¼ö ÀÖ¾ú¾î¿ä.
ÀÌ ¿Ü¿¡µµ ¹ê´ÙÀ̾î±×·¥ ¹®Á¦¿Í °³³äÀ» Á¤È®ÇÏ°Ô Á¤¸®ÇÒ ¼ö ÀÖ¾ú¾î¿ä. ƯÈ÷ '¾î¶²'ÀÌ Æ÷ÇԵǴ ¸íÁ¦¸¦ ¹ê´ÙÀ̾î±×·¥À¸·Î Ç®¾î¾ß Çϴ°ÍÀº ¾Ë°í ÀÖ¾ú´Âµ¥ Ç×»ó ¹ê´ÙÀ̾î±×·¥À» ´Ù¸£°Ô ±×¸®¸é¼ Çò°¥·Á ÇÏ°í ÀÖ¾ú¾î¿ä. ±×·±µ¥ ¼±»ý´ÔÀÌ ¸»¾¸ÇÏ½Å°Í Ã³·³ Ç×»ó °°Àº ƲÀ» ÀÌ¿ëÇÏ¸é¼ ºø±Ý,üũǥ½ÃµîÀ¸·Î Ç¥½Ã¸¸ ´Ù¸£°Ô Çϸé ÈξÀ ´ú Çò°¥¸®³×¿ä. Á¤¸» ²ÜÆÁ!
¿À´ÃºÎ·Î 1ȸÂ÷ ½ºÅ͵𰡠³¡³ª´Âµ¥ 2ȸÂ÷,¸ðÀÇ°í»ç ±×¸®°í ¾ÕÀ¸·Î ÀÖÀ» Ã߸®¿µ¿ª¿¡¼µµ º¹ÁöÈƽÜÀÇ °³³ä°ú ¼³¸íÀÌ ÅºÅºÇÏ°Ô ÀúÀÇ ±âÃʸ¦ Àâ¾ÆÁÙ °Í °°¾Æ¿ä.
¸íÁ¦¸¦ Ç® ¶§ ¸íÁ¦¸¦ ºÎÈ£ÈÇÏ´Â ¿¬½À, º¸±â¿¡ ³ª¿ÍÀÖ´Â ¸íÁ¦ÀÇ ½ÃÀÛ°ú ³¡À» ã´Â¿¬½À, ´ë¿ì¸¦ µû·Î ÀûÁö ¾Ê°íµµ ¹®Á¦Ç®¸é¼ ¹Ù·Î ÆÇ´ÜÇÒ ¼ö ÀÖ´Â ¿¬½À, ¿À´äÀº ¿Ö ¿À´äÀÎÁö ¿Ö È®Á¤Àû
ÀÎ Áø¼ú·Î °áÁ¤ÇÒ ¼ö ¾ø´ÂÁö ÆÇ´ÜÇÏ´Â ¿¬½ÀÀ» ²ÙÁØÈ÷ Çϸé Ã߸®¿µ¿ª ¹®Á¦ ¾øÀ»°Å °°¾Æ¿ä!
¡Ø ÇØÄ¿½ºÀâÀ¸·ÎºÎÅÍ ÀΰÀ» Á¦°ø¹Þ¾Æ ÀÛ¼ºµÈ ÈıâÀÔ´Ï´Ù.
¡Ø ÇØ´ç Èıâ´Â ÇØÄ¿½ºÀâ GSAT ºý¼¾½ºÅ͵𸦠ÅëÇØ ¼öÁýµÈ ÈıâÀÔ´Ï´Ù.