takkerの論理記法