在全總個體域下把下列謂詞公式中容易混淆的變元進行換名: ( 1 ) ay Yx ( A ( y ... ( 1 ) 13x ( B ( x ) AC ( x ) ) P (附加前提) ( 2 ) V ( 7B ( x ) VTC ( x ) ) T ( 1 ) ...
確定! 回上一頁