▽hiroyukikojimaの日記
●11/04 14:48 小島寛之
｢命題論理の完全性定理｣というのは､｢ﾄｰﾄﾛｼﾞｰは必ず証明できる｣という定理である｡もう少し詳しく説明しよう｡与えられた命題について､それを構成する命題変数にどんな真偽を割り当ててもその命題が真であるとき､その命題をﾄｰﾄﾛｼﾞｰ(恒真命題)と呼ぶ｡与えられた命題がﾄｰﾄﾛｼﾞｰであるなら､その命題は必ず､通常の(公理から出発する形式的な)推論規則によって証明できる､というものだ｡例えば､命題変数から生成される命題を考えてみる｡にどんな真偽の組み合わせ(4通り)を当てはめても､この命題は必ず真であるからﾄｰﾄﾛｼﾞｰである｡このとき､この論理式は推論規則で導出することができる｡(どのように導出されるかは､拙著『証明と論理に強くなる』で読んでくださいな)｡｢命題論理の完全性定理｣は､このようなことが一般的に成り立つことを主張している｡すなわち､｢形式的に証明できる命題は常に正しい｣だけではなく､

▽森直人／脱力日記ﾊｲﾊﾟｰ：So-netﾌﾞﾛｸﾞ
●11/04 01:23
この広告は前回の更新から一定期間経過したﾌﾞﾛｸﾞに表示されています｡更新すると自動で解除されます｡

▽発声練習
●11/03 19:14
中村哲氏の殺害事件の実行犯と中村氏没後の灌漑活動2024 / 11

▽福まね
●11/03 06:05 （開業社会福祉士）
2024ﾃﾞﾝﾏｰｸﾂｱｰその1ﾃﾞﾝﾏｰｸｽﾀﾃﾞｨﾂｱｰ2024年11月2024年11月 2日 (土曜日)2024ﾃﾞﾝﾏｰｸﾂｱｰその1今年の7人｡出発前の熱量は一番高かった｡ﾗｲﾝが毎日更新され､情報量だけは多かったことは想像できる｡しかし､終発当日｡飛行機が欠航になり､乗り換え便も着かない｡羽田で14時間､北京で7時間待たされ､くたくたになりﾃﾞﾝﾏｰｸに着く｡僕らのﾂｱｰは､現地集合｡ｸﾞﾙｰﾌﾟは四つ｡5人ｸﾞﾙｰﾌﾟ1と個人が3｡最大のｸﾞﾙｰﾌﾟに災難が襲う｡分単位で計画していたｽｹｼﾞｭｰﾙが全てﾀﾞﾒになる｡ﾎﾃﾙはｷｬﾝｾﾙ､列車の予約もｷｬﾝｾﾙ｡集合場所まで直行するが､ﾁｬｰﾀｰしていたﾊﾞｽの尾間に合わず､当然､夕食にも間に合わず｡夕食でするはずのｽﾋﾟｰﾁもできず､夜10時過ぎにﾎｲｽｺｰﾚに到着｡その頃､先着組は､美味しい夕食を済ませ､日暮れの時間を楽

▽乱読ﾉｰﾄ 〜千里の山も一歩から〜
●11/02 19:14 中澤信彦
2024-11-012024年9･10月の読書の記録ｱﾍﾞﾉﾐｸｽが変えた日本経済 (ちくま新書)作者:野口 旭筑摩書房Amazonｱﾆﾏﾙ･ﾌｧｰﾑ (ちくま文庫)作者:石ﾉ森 章太郎,ｼﾞｮｰｼﾞ･ｵｰｳｪﾙ筑摩書房Amazon【全面改訂 第3版】ほったらかし投資術 (朝日新書)作者:山崎 元,水瀬 ｹﾝｲﾁ朝日新聞出版Amazonなぜ｢大学は出ておきなさい｣と言われるのか: ｷｬﾘｱにつながる学び方 (ちくまﾌﾟﾘﾏｰ新書 99)作者:浦坂 純子筑摩書房Amazonﾏｸﾄﾞﾅﾙﾄﾞ､P&G､ﾍﾝｹﾙで学んだ 圧倒的な成果を生み出す ｢劇薬｣の仕事術作者:足立 光ﾀﾞｲﾔﾓﾝﾄﾞ社Amazonﾂﾝﾃﾞﾚ相対性理論作者:ｱｲﾝｼｭﾀｲﾝｸﾗﾌﾞPHP研究所Amazon高校生にもわかる｢お金｣の話 (ちくま新書 928)作者:内藤 忍筑摩書房Amazo