ジャンプ打ち切りサバイバルレースpart408

ジャンプ打ち切りサバイバルレースpart408 at WCOMIC

825:名無しさんの次レスにご期待下さい
07/04/15 05:11:07 Oq5N4lJ+0
>>821
だから単に別の記号で表せば良いだけ
xが打ち切りになる可能性が高いをH(x)にして問題を
∀xF(x)→H(x)にすれば問題は表せるし、
これが恒真であることを証明するためには、例えば
F(x)とH(x)の真偽のバターンを調べつくして証明すれば良い
少なくとも、記号で表すことに関しては視点の制限ルールは何もない

次ページ

続きを表示

1を表示