0690132人目の素数さん垢版 | 大砲2020/11/04(水) 10:27:21.05ID:u7ff//2f >>686 モーダスポーネンスの場合は 言語Lの論理式の全体の集合をFとして F×F×Fの要素で〈ψ,ψ→φ,φ〉の形をしているもの全体をMPとしたときのdomMPが定義域かなと思ったんですが 論理式の形を区別する部分が言語Lで書けないからフォーマルな写像にはならないのですかね