23/07/04 08:48:55.83 9xfAoTTB.net
>>299
>>313
>>286では文のはじめに「それだと、」と書いてある
それ(>>285の帰結)を仮定した上で>>285の対偶を取っただけのこと
23/07/04 08:48:55.83 9xfAoTTB.net
>>299
>>313
>>286では文のはじめに「それだと、」と書いてある
それ(>>285の帰結)を仮定した上で>>285の対偶を取っただけのこと
23/07/04 08:48:55.83 9xfAoTTB.net
>>299
>>313
>>286では文のはじめに「それだと、」と書いてある
それ(>>285の帰結)を仮定した上で>>285の対偶を取っただけのこと