22/03/31 19:14:28.11 57o6Ql15.net
>>216
そういうこと
「ならば」の含意式だと上のようなことになり
「ゆえに」の推論式ならきちんとP≠Zが言える
22/03/31 19:14:28.11 57o6Ql15.net
>>216
そういうこと
「ならば」の含意式だと上のようなことになり
「ゆえに」の推論式ならきちんとP≠Zが言える
22/03/31 19:14:28.11 57o6Ql15.net
>>216
そういうこと
「ならば」の含意式だと上のようなことになり
「ゆえに」の推論式ならきちんとP≠Zが言える