第一階述語

数理論理学において、一階述語とは、引数として定数または変数のみを取る述語のことである。 ^{[ 1 ]}二階述語と高階述語を比較せよ。

これは、引数を1つだけ取る述語である1項述語（モナド）と混同してはいけません。例えば、「is a planet」という表現は1項述語ですが、「is father of」という表現は2項述語です。

• 一階述語論理
• 単項述語論理