▽憂愁書架
●11/04 16:19
2024年10月29日 (火) | 固定ﾘﾝｸ | ｺﾒﾝﾄ (2)谷口馨 on 茶泥週報（4）渡辺久雄を悼む

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

▽sat_osawaの近況
●11/03 07:28
･［論説］大澤聡｢客観報道の由来――再｢小新聞｣化するｼﾞｬｰﾅﾘｽﾞﾑⅡ｣（『Voice』､PHP研究所､218‐225頁､2024年12月号）･［論文］大澤聡｢恒藤恭と三木清――未発表書簡の翻刻と解題を起点とした両者の人的ﾈｯﾄﾜｰｸに関する状況整理｣（『大阪公立大学史紀要』､大阪公立大学大学史資料室､1‐17頁､第3号､2024年10月）

▽思索の海
●10/28 10:43
第50回衆院選の投票をしてきました

▽今日から四百
●10/25 09:45
＊以下､少々ﾈﾀﾊﾞﾚです｡