人気ブログランキング |

ブレンダー論理学 2

xを壊しているブレンダーを、第二のブレンダーが壊すとすると、

b(b(x))

となる。

対角ブレンダーを定義する。ただし、()このカッコは、関数に見せるために書いているので、省略してもかまわないことにする。

b#(x)↔︎b(xx)

つまり、x=bとすると、

b#(b)↔︎b(b(b))

否定を定義しよう。

b'(x)=t↔︎b(x)=f

ブレンダーがxを破壊できるのは、

xの強度<ブレンダーの破壊力

であるからだ。ブレンダーの破壊力より劣るxを、真理値tであらわそう。

b(x)=t↔︎x=t


by tomoarrow | 2016-02-21 07:00 | モチーフについて | Comments(0)