11/09/01 15:26:57.11
>>425の訂正
＞"「 P ⇒ Q 」の証明が終わった段階で、同時に「Pが真」も言えている"
の下に
＞ということも有り得ない。
を追加
11/09/01 15:26:57.11
>>425の訂正
＞"「 P ⇒ Q 」の証明が終わった段階で、同時に「Pが真」も言えている"
の下に
＞ということも有り得ない。
を追加
11/09/01 15:26:57.11
>>425の訂正
＞"「 P ⇒ Q 」の証明が終わった段階で、同時に「Pが真」も言えている"
の下に
＞ということも有り得ない。
を追加