リーズナー〈reasoner〉は、{定理|証明}コンビネータのこと。 ; （二項） （二項） （二項） ◇ （任意項） □ （任意項） Λ （単項） p, qが{定理|証明}で、Pが{定理|証明}のインデックス族とするときの適用結果は： p;q pq pq ◇P □P Λp ただし、は'∧'に輪（…

意味結び付きを切り替える儀式として 記憶を助けるヒントとして ← コジツケでもいい

論理AND、合接、論理積、連言、コンジャンクション 論理OR、離接、論理和、選言、ディスジャンクション 論理NOT、否定、{ニ | ネ}ゲーション 含意、条件{法}?、インプリケーション 多義語： 矛盾： 矛盾命題＝偽命題＝偽的命題〈falsy prop.〉、演繹システム…