>>686
モーダスポーネンスの場合は
言語Lの論理式の全体の集合をFとして
F×F×Fの要素で〈ψ,ψ→φ,φ〉の形をしているもの全体をMPとしたときのdomMPが定義域かなと思ったんですが
論理式の形を区別する部分が言語Lで書けないからフォーマルな写像にはならないのですかね