t_wの輪郭

Feedlyでフォローするボタン

あれ

2024/6/1 15:55:00

aRbをProlog的に考えてみる。
Rb(a)と表すことができる。つまり、鳥である(鳩) のようになる。
bを主語化すればR(a,b)と表すことができる。すなわち、である(鳩,鳥) となる。、
Rを主語化すればX(a,R,b)と表すことができる。つまり、X(鳩,である,鳥) となる。

このXが何者なのかはわからない。命題?文?