11/08/27 22:59:03.59
>>375
>ある種の「 P ⇒ Q 」の形の論理式が真であることが証明できた、というだけの話である。
ではその論理式が示せました、しかしPの真偽は分かりませんじゃ証明した意味がないじゃないか。
その証明に意味を与えるにはPが真であることを示さないと或いは真であることが分かっていないといけない。
>>252の問題でPが真であることを示している部分は求め終わった部分だろう？
なら、やはり確認の作業は必要になるじゃないか。
11/08/27 22:59:03.59
>>375
>ある種の「 P ⇒ Q 」の形の論理式が真であることが証明できた、というだけの話である。
ではその論理式が示せました、しかしPの真偽は分かりませんじゃ証明した意味がないじゃないか。
その証明に意味を与えるにはPが真であることを示さないと或いは真であることが分かっていないといけない。
>>252の問題でPが真であることを示している部分は求め終わった部分だろう？
なら、やはり確認の作業は必要になるじゃないか。