ウィキペディア 「述語論理」項 から

　http://ja.wikipedia.org/wiki/%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86

　述語論理（じゅつごろんり、predicate logic）は、命題論理における命題を主語と述語に分離した上で命題について分析する論理である。

　では主語と述語の（概念の）ない言語についてはどうするのだろう。