p. 29 box
1.
A sentential connective is used truth-functionally iff
it is used to generate a compound sentence from one or more sentences in such a way that the truth-value of the generated compound is wholly determined by the truth-values of those one or more sentences from which the compound is generated, no matter those truth-values may be.
¹®ÀåÁ¢¼Ó»ç°¡ Áø¸®ÇÔ¼öÀûÀ¸·Î »ç¿ëµÈ´Ù. iff
¹®ÀåÁ¢¼Ó»ç°¡, º¹ÇÕ¹®ÀåÀÇ Áø¸®Ä¡°¡ ±× º¹ÇÕ¹®ÀåÀ» ¸¸µå´Â ¹®ÀåµéÀÇ Áø¸®Ä¡¿¡ ÀÇÇØ - ±× Áø¸®Ä¡°¡ ¹«¾ùÀÌµç »ó°ü¾øÀÌ - ¿ÏÀüÈ÷ °áÁ¤µÇ´Â ¹æ½ÄÀ¸·Î »ç¿ëµÇ¾î º¹ÇÕ¹®ÀåÀ» ¸¸µç´Ù.
(Ãß°¡! ´õ ÀÚ¿¬½º·¯¿î Ç¥Çö: ¹®ÀåÁ¢¼Ó»ç°¡ º¹ÇÕ¹®ÀåÀ» ¸¸µé ¶§, ¸¸µé¾îÁø º¹ÇÕ¹®ÀåÀÇ Áø¸®Ä¡°¡ ±× º¹ÇÕ¹®ÀåÀ» ¸¸µå´Â ¹®ÀåµéÀÇ Áø¸®Ä¡¿¡ ÀÇÇØ - ±× Áø¸®Ä¡°¡ ¹«¾ùÀÌµç »ó°ü¾øÀÌ - ¿ÏÀüÈ÷ °áÁ¤µÈ´Ù.)
2.
Á¤¸®ÇÏÀÚ¸é, º¹ÇÕ¹®ÀåÀº ´Ü¼ø¹®ÀåµéÀ» Á¢¼Ó»ç·Î ¿¬°á½ÃÄÑ ¸¸µì´Ï´Ù. ¾î¶² Á¢¼Ó»ç°¡ Áø¸®ÇÔ¼öÀûÀ¸·Î »ç¿ëµÈ´Ù´Â °ÍÀº, Áï ¾î¶² Á¢¼Ó»ç°¡ Áø¸®ÇÔ¼öÀû Á¢¼Ó»ç¶ó´Â °ÍÀº, º¹ÇÕ¹®ÀåÀÇ Áø¸®Ä¡°¡ ±× º¹ÇÕ¹®ÀåÀ» ±¸¼ºÇÏ´Â ´Ü¼ø¹®ÀåÀÇ Áø¸®Ä¡¿¡ ÀÇÇØ¼ °áÁ¤ÀÌ µÈ´Ù´Â °ÍÀÔ´Ï´Ù.
$$ = Áø¸®ÇÔ¼öÀû Á¢¼Ó»ç,
P, Q = °¢°¢ ´Ü¼ø¹®Àå,
P$$Q = º¹ÇÕ¹®Àå
P$$Q ÀÇ Áø¸®Ä¡°¡ PÀÇ Áø¸®Ä¡¿Í QÀÇ Áø¸®Ä¡¿¡ ÀÇÇØ °áÁ¤µÉ ¶§ $$´Â Áø¸®ÇÔ¼öÀûÀΠƯ¡À» °®´Â´Ù.
ex) 'ö¼ö°¡ ¿Ü´ë»ýÀÌ°í ±×´Â ÀÚÃë»ýÀÌ´Ù.'¿¡ ¾²ÀÎ '±×¸®°í'¶ó´Â Á¢¼Ó»ç´Â Áø¸®ÇÔ¼öÀû.
¿Ö³ÄÇϸé 'ö¼ö°¡ ¿Ü´ë»ýÀÌ°í ±×´Â ÀÚÃë»ýÀÌ´Ù'´Â º¹ÇÕ¹®ÀåÀÇ Áø¸®Ä¡´Â, ±×°ÍÀ» ±¸¼ºÇÏ´Â 'ö¼ö°¡ ¿Ü´ë»ýÀÌ´Ù'¿Í 'ö¼ö°¡ ÀÚÃë»ýÀÌ´Ù'´Â ´Ü¼ø¹®ÀåÀÇ Áø¸®Ä¡¿¡ ÀÇÇØ °áÁ¤µÇ¹Ç·Î. µÎ ´Ü¼ø¹®ÀåÀÌ ÂüÀ϶§ 'ö¼ö°¡ ¿Ü´ë»ýÀÌ°í ±×´Â ÀÚÃë»ýÀÌ´Ù'´Â Âü. ³ª¸ÓÁö´Â °æ¿ì´Â °ÅÁþ.
3.
Áø¸®ÇÔ¼öÀûÀÌÁö ¾ÊÀº Á¢¼Ó»ç°¡ ÀÖÀ»±î? ´ëÇ¥ÀûÀÎ ¿¹´Â Àΰú¸¦ ³ªÅ¸³»´Â Á¢¼Ó»ç '¿Ö³ÄÇϸé ,~ ¶§¹®¿¡'
'³¯¾¾°¡ Ãä±â ¶§¹®¿¡ ¿Âµµ°è ´«±ÝÀÌ ³»·Á°£´Ù' ÀÇ Áø¸®Ä¡´Â ±× ¾ÈÀÇ ´Ü¼ø¹®ÀåÀÇ Áø¸®Ä¡¿¡ ÀÇÇØ °áÁ¤µÉ±î?
'³¯¾¾°¡ Ãä´Ù'°¡ ÂüÀ̰í '¿Âµµ°è ´«±ÝÀÌ ³»·Á°£´Ù'°¡ ÂüÀ̸é '³¯¾¾°¡ Ãä±â ¶§¹®¿¡ ¿Âµµ°è°¡ ³»·Á°£´Ù'°¡ ÂüÀΰ¡?
¸¸¾à Àΰú°ü°è¸¦ ³ªÅ¸³»´Â Á¢¼Ó»ç¸¦ °¡Áø º¹ÇÕ¹®ÀåÀÌ ±×°ÍÀ» ±¸¼ºÇÏ´Â ´Ü¼ø¹®ÀåÀÇ Áø¸®Ä¡°¡ µÑ ´Ù ÂüÀ϶§ ÂüÀ̶ó´Â ½ÄÀ¸·Î °áÁ¤µÈ´Ù¸é, '¼ÒÅ©¶óÅ×½º´Â öÇÐÀÚÀ̱⠶§¹®¿¡ ´ëÇѹα¹Àº ¹ÎÁÖ°øÈ±¹ÀÌ´Ù'µµ ÂüÀ̶ó°í ¸»Çؾ߰ÚÁÒ. ¿Ö³ÄÇÏ¸é ¿©±â¿¡ Æ÷ÇÔµÈ µÎ ´Ü¼ø¹®ÀåÀº °¢°¢ ÂüÀ̰í Àΰú¸¦ ³ªÅ¸³»´Â Á¢¼Ó»ç '~¶§¹®¿¡'·Î ¿¬°áµÇ¾úÀ¸¹Ç·Î.
±×·¯³ª »ç½ÇÀº ±×·¸Áö ¾ÊÁÒ. ±×·¯¹Ç·Î '¿Ö³ÄÇϸé, ~¶§¹®¿¡'´Â Áø¸®ÇÔ¼öÀû Á¢¼Ó»ç°¡ ¾Æ´Õ´Ï´Ù. |
|
|
|