人気ブログランキング |

ブレンダー論理学 3

さて、対角ブレンダーが対角ブレンダーを破壊することを

b#b#=t

と書く。対角ブレンダーが対角ブレンダーを壊せないとすると、

b#b#=f↔︎b#’b#=t

「対角ブレンダーを壊せない対角ブレンダー」が、「対角ブレンダーを壊せない対角ブレンダー」を壊せないとすると、

b#’b#’=f
↔︎b#b#’=t (否定の定義による)
↔︎b(b#’b#’)=t (対角ブレンダーの定義による)
↔︎b#’b#’=t (ブレンダーの破壊力に劣るxの定義による)


さて困ったぞ。

b#’b#’=f↔︎b#’b#’=t

となってしまう。チャーン♫


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