▽DAY BY DAY /YCASTER 2.0：伊藤洋一公式ｻｲﾄ
●11/21 17:54
45 ﾌｫﾛｰ 1,437 ﾌｫﾛﾜｰ45 ﾌｫﾛｰ 1,437 ﾌｫﾛﾜｰちょっと見ないとこうだからな伊藤 洋一3時間前911時間前1211時間前614時間前10ちょっと見ないとこうだからな93時間前1211時間前611時間前1014時間前｢上げを明記｣って？　103万円をいくらに上げるかが1番の問題だと思うのに､そこで合意しないまま｢前進｣ってなんかいい加減｡国民民主党は178万円が無理だとわかっていて､妥協しているようにも見える｡伊藤 洋一15時間前9｢上げを明記｣って？　103万円をいくらに上げるかが1番の問題だと思うのに､そこで合意しないまま｢前進｣ってなんかいい加減｡国民民主党は178万円が無理だとわかっていて､妥協しているようにも見える｡9伊藤 洋一15時間前15時間前9915時間前15時間前7715時間

▽梶ﾋﾟｴｰﾙの備忘録｡
●11/19 17:30
お仕事のお知らせ

▽ｲﾝﾀﾗｸﾃｨｳﾞ読書ﾉｰﾄ別館の別館
●11/16 14:57
この広告は､90日以上更新していないﾌﾞﾛｸﾞに表示しています｡

▽静かなる細き声
●11/09 22:28
ｺﾒﾝﾄ (0)ｺﾒﾝﾄ (0)

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