Truth Table
±âÈ£·Î °áÇÕµÈ ºÐÀÚ¸íÁ¦°¡ Áø ¶Ç´Â À§°¡ µÇ´Â Á¶°ÇÀ» Ç¥½ÃÇϱâ À§ÇÏ¿© °í¾ÈµÈ °ÍÀÌ Áø¸®Ç¥ (truth table) ÀÌ´Ù. ¸íÁ¦°è»ê¿¡ »ç¿ëµÇ´Â 6°¡Áö ±âº»Àû ±âÈ£ÀÇ Áø¸®Ç¥¸¦ ÃѰýÇØ º¸¸é ´ÙÀ½°ú °°´Ù.
p |
~p |
|
p |
q |
|
|
|
|
|
T |
F |
|
T |
T |
T |
T |
F |
T |
T |
|
|
||||||||
|
|
<Áø¸®Ç¥ A> <Áø¸®Ç¥ B>
Áø¸®Ç¥´Â Áø¸®ÇÔ¼öÀû ¸íÁ¦ÀÇ ÁøÀ§¸¦ º¸¿©ÁÙ »Ó¸¸ ¾Æ´Ï¶ó Ãß·Ð ¿¡ À־µ ´ë´ÜÈ÷ Áß¿äÇÑ ¿ªÇÒÀ» ÇÏ´Â °ÍÀÌ´Ï ±× ÀÛ¼º¿ä·É°ú Àǹ̸¦ Á¤È®È÷ ¾Ë¾Æ µÎ¾î¾ß ÇÑ´Ù. ... (¼Ò±¤Èñ, 1985)
term :
Áø¸®Ç¥ (Truth Table) ¿¬°á»ç (Connective) ³í¸® (Logic) ¼ú¾î³í¸® (Predicate Logic) ±âÈ£ ³í¸®ÇÐ (Symbolic Logic) Ãß·Ð (Reasoning) Ãß·Ð ±ÔÄ¢ (Inference Rule) Á¤·®ÀÚ (Quantifier) ÀÏÂ÷³í¸® (First-order Predicate Calculus) Á¶°Ç¸íÁ¦ (Implication) Àü¹®°¡½Ã½ºÅÛ (Expert System)
paper :
video :
Truth Table : www.easymathk12.org : 2011/05/31
Bigger Truth Tables : ProfessorSerna : 2013/05/01