あれ2024/6/1 15:55:00 aRbをProlog的に考えてみる。 Rb(a)と表すことができる。つまり、鳥である(鳩) のようになる。 bを主語化すればR(a,b)と表すことができる。すなわち、である(鳩,鳥) となる。、 Rを主語化すればX(a,R,b)と表すことができる。つまり、X(鳩,である,鳥) となる。 このXが何者なのかはわからない。命題?文?
「主語や目的語を明確にしましょう」2021/8/26 5:47:00 原典 これだけ気を付けて書いてもらえるとみんな幸せになるポイント2つだけ / Two things to keep in mind about writing to make everyone happy