二分木で一階述語論理を表現する。基本構造の葉の部分に、名前が入る。 基本構造の節の部分に、項と式がわりあたる。 ---- ＜基本構造＞Aは葉、Bは葉、ならば、(A,B)は節。 Aは節、Bは葉、ならば、(A,B)は節。 Aは葉、Bは節、ならば、(A,B)は節。 Aは節、Bは…