>>269
>>270
これっていつ論理式で書いてくれるんかね？
例えば、無限にあるだと∀と∃とか、ただひとつしかないだと∀と=みたいにイディオムが決まってるんだけど、箱を開けてないってのはどうやるんかね？