とつぜん論理学ネタに復帰しますが。動画で言えばこのあたりです。 youtu.be 述語の項数 述語論理の原子式は項と述語からなるわけですが、述語には1項述語、2項述語、3項述語…と項数 (arity) が決められています。 日本語と対応させるなら「…は人間である」…