[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 2chのread.cgiへ]
Update time : 09/09 21:30 / Filesize : 237 KB / Number-of Response : 578
[このスレッドの書き込みを削除する]
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧] [類似スレッド一覧]

↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

面白い問題おしえて〜な 十八問目

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




[ 続きを読む ] / [ 携帯版 ]
全部読む 前100 次100 最新50 ▲ [ このスレをブックマーク！ 携帯に送る ] 2chのread.cgiへ
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧]（ ´∀｀）＜237KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef