>>641
>その推論規則　「個別のnと認識して」ないよ
>
>なぜ「個別のｎと認識」なんて妄想した？
この推論規則は
A B
-----
A∧B
をP(n)に拡張したものだから
A, B個別に認識してるのと同様
P(n)も個別に認識してるのでは？