ä¸€éšŽè¿°èªžè«–ç† - Wikipedia一階述語論ç†ï¼ˆã„ã£ã‹ã„ã˜ã‚…ã¤ã”ã‚ã‚“ã‚Šã€è‹±: first-order predicate logic）ã¨ã¯ã€å€‹ä½“ã®é‡åŒ–ã®ã¿ã‚’許ã™è¿°èªžè«–ç† (predicate logic) ã§ã‚る。述語論ç†ã¨ã¯ã€æ•°ç†è«–ç†å¦ã«ãŠã‘ã‚‹è«–ç†ã®æ•°å¦çš„モデルã®ä¸€ã¤ã§ã‚ã‚Šã€å‘½é¡Œè«–ç†ã‚’æ‹¡å¼µã—ãŸã‚‚ã®ã§ã‚る。個体ã®é‡åŒ–ã«åŠ ãˆã¦è¿°èªžã‚„関数ã®é‡åŒ–を許ã™è¿°èªžè«–ç†ã‚’二階述語論ç†ï¼ˆè‹±: second-order predicate logic）ã¨å‘¼ã³ã€ã•ã‚‰ãªã‚‹ä¸€èˆ¬åŒ–ã‚’åŠ ãˆãŸè¿°èªžè«–ç†ã‚’高階述語論ç†ï¼ˆè‹±: higher-order predicate logic）ã¨ã„ã†ã€‚æœ¬é …ã§ã¯ä¸»ã«ä¸€éšŽè¿°èªžè«–ç†ã«ã¤ã„ã¦è§£èª¬ã™ã‚‹ã€‚二階述語論ç†ã‚„高階述語論ç†ã«ã¤ã„ã¦ã®è©³ç´°ã¯ãã‚Œãžã‚Œã®è¨˜äº‹ã‚’å‚照。 命題論ç†ã§ã¯æ–‡ã‚’構æˆã™ã‚‹æœ€ã‚‚基本的ãªå‘½é¡Œï¼ˆåŽŸå命題）ã¯å‘½é¡Œè¨˜å·ã¨å‘¼ã¶ä¸€ã¤ã®è¨˜å·ã«ã‚ˆã£ã¦è¡¨ã—ã¦ã„ãŸã€‚ãã‚Œã«å¯¾ã—ã€ä¸€éšŽè¿°èªžè«–ç†ã«ãŠã„ã¦ã¯ã€æœ€ã‚‚基本的ãªå‘½é¡Œã¯åŽŸåè«–ç†å¼ã¨
{{#tags}}- {{label}}
{{/tags}}