Loading article…
数理論理学において、一階述語は、個々の定数または変数のみを引数として取る述語である。 [1]二階述語と高階述語を比較する。
これを、引数を 1 つだけ取る述語である1 項述語またはモナドと混同しないでください。たとえば、「is a planet」という表現は 1 項述語ですが、「is father of」という表現は2 項述語です。
参照
参考文献
- ^ フルー、アントニー（1984）、哲学辞典：改訂第2版、マクミラン、p.147、ISBN 9780312209230。