ÀëÉ¢Êýѧ(΢¿Î°æ)

Õ ¼¯ºÏÂÛ ±¾ÕÂ˼άµ¼Í¼ ÀúÊ·ÈËÎï 1.1 ¼¯ºÏµÄ»ù±¾¸ÅÄî 1.1.1 ¼¯ºÏµÄ±íʾ 1.1.2 ¼¯ºÏÓ뼯ºÏµÄ¹Øϵ 1.1.3 ¼¸¸öÌØÊ⼯ºÏ 1.2 ¼¯ºÏµÄÔËËã 1.3 ÎÞÏÞ¼¯ 1.3.1 ¿ÉÊý¼¯ 1.3.2 ²»¿ÉÊý¼¯ 1.4 Ó뼯ºÏÏà¹ØµÄÓ¦Óà 1.4.1 ¼¯ºÏµÄ¼ÆËã»ú±íʾ 1.4.2 ¼ÆÊýÎÊÌâ 1.5 Ï°Ìâ µÚ2Õ ÃüÌâÂß¼­ ±¾ÕÂ˼άµ¼Í¼ ÀúÊ·ÈËÎï 2.1 ÃüÌâÓëÃüÌâÁª½á´Ê 2.1.1 ÃüÌâ 2.1.2 ÃüÌâÁª½á´Ê 2.1.3 ×ÔÈ»ÓïÑÔµÄÃüÌâ·ûºÅ»¯ 2.2 ÃüÌ⹫ʽ¡¢½âÊÍÓëÕæÖµ±í 2.2.1 ÃüÌ⹫ʽ 2.2.2 ÃüÌ⹫ʽµÄ½âÊÍÓëÕæÖµ±í 2.2.3 ÃüÌ⹫ʽµÄ»ù±¾µÈ¼Û¶¨ÂÉ 2.3 ¹«Ê½µÄ±ê×¼ÐÍ¡ª¡ª·¶Ê½ 2.3.1 ÃüÌâÁª½á´ÊµÄÍ걸¼¯ 2.3.2 ÎöÈ¡·¶Ê½ºÍºÏÈ¡·¶Ê½ 2.3.3 Ö÷ÎöÈ¡·¶Ê½ºÍÖ÷ºÏÈ¡·¶Ê½ 2.4 ÃüÌâÂß¼­µÄÍÆÀíÀíÂÛ 2.4.1 ÍÆÀíµÄ»ù±¾¸ÅÄî 2.4.2 ÍÆÀíÓÐЧÐÔµÄÅб𷽷¨ 2.5 ÃüÌâÂß¼­µÄÓ¦Óà 2.5.1 ÃüÌâÁª½á´ÊµÄÓ¦Óà 2.5.2 ÃüÌ⹫ʽµÄÓ¦Óà 2.5.3 ·¶Ê½µÄÓ¦Óà 2.5.4 ÃüÌâÂß¼­ÍÆÀíµÄÓ¦Óà 2.6 Ï°Ìâ µÚ3Õ ν´ÊÂß¼­ ±¾ÕÂ˼άµ¼Í¼ ÀúÊ·ÈËÎï 3.1 ×ÔÈ»ÓïÑÔµÄν´Ê·ûºÅ»¯ 3.1.1 ν´Ê 3.1.2 Á¿´Ê 3.2 ν´Ê¹«Ê½Óë½âÊÍ 3.2 ¡£1ν´Ê¹«Ê½ 3.2.2 ×ÔÓɱäÔªºÍÔ¼Êø±äÔª 3.2.3 ν´Ê¹«Ê½µÄ½âÊÍ 3.2.4 ν´Ê¹«Ê½µÄ»ù±¾µÈ¼Û¶¨ÂÉ 3.3 ν´Ê¹«Ê½µÄ±ê×¼ÐÍ¡ª¡ªÇ°Êø·¶Ê½ 3.3.1 Ç°Êø·¶Ê½ 3.3.2 Skolem·¶Ê½ 3.4 ν´ÊÂß¼­µÄÍÆÀíÀíÂÛ 3.4.1 ÍÆÀí¹æÔòÓëÍÆÀí¶¨ÂÉ 3.4.2 ÍÆÀíÓÐЧÐÔµÄÅб𷽷¨ 3.5 ν´ÊÂß¼­µÄÓ¦Óà 3.6 Ìâ ¡­¡­ µÚ4Õ ¶þÔª¹Øϵ µÚ5Õ ÌØÊâ¹Øϵ µÚ6Õ ͼ µÚ7Õ ÌØÊâͼ µÚ8Õ ´úÊýϵͳ µÚ9Õ Ⱥ¡¢»·¡¢Óò 0Õ ¸ñÓë²¼¶û´úÊý ²Î¿¼ÎÄÏ×