「集合・位相入門」輪読会★2

303：あしぺた：2006/03/04(土) 11:09:46: 補足

議論領域を適当に広いものとして解釈すれば
議論領域をUとする論理式P
議論領域をVとする論理の体系の変項xと論理式Q(x)(ただしxのみを量化されてない変項とする)
があって、
U⊆Vではない
だったとしても、
{x∈V|Q(x)∧P}
を
{x∈W|Q(x)∧P} (ただしW=U∪V)
と解釈すれば集合とみなせます

議論領域が拡大しても論理式が論理式でなくなることはありませんから

新着レスの表示

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板