論理で使う“「ならば」っぽい記号”、“矢印的な記号”については過去に述べたことがあります。 含意＜がんい＞から伴意＜ばんい＞へ*1 さまざまな「ならば」達 論理におけるさまざまな「矢印」達 論理／メタ論理の記法をどうするか 2: 悟りへの道 何が主たる問…