07/04/15 05:03:12 Oq5N4lJ+0
>>812
「xがジャンプの漫画ならば、100％打ち切りになる」を∀xF(x)→G(x)で表し、
これが恒真かどうかを議論する
しかし、ごく稀な反例があり、∃x(F(x)→￢G(x))と表せるから、恒真ではない
これで満足か？
07/04/15 05:03:12 Oq5N4lJ+0
>>812
「xがジャンプの漫画ならば、100％打ち切りになる」を∀xF(x)→G(x)で表し、
これが恒真かどうかを議論する
しかし、ごく稀な反例があり、∃x(F(x)→￢G(x))と表せるから、恒真ではない
これで満足か？