|
|
|
|
|
||
|
||
すべて | misc | tmp | books | junk | tech | news | diary
「命題論理の完全性定理」というのは、「トートロジーは必ず証明できる」という定理である。もう少し詳しく説明しよう。与えられた命題について、それを構成する命題変数にどんな真偽を割り当ててもその命題が真であるとき、その命題をトートロジー(恒真命題)と呼ぶ。与えられた命題がトートロジーであるなら、その命題は必ず、通常の(公理から出発する形式的な)推論規則によって証明できる、というものだ。例えば、命題変数か
Active Galactic : 11次元と自然科学と拷問的日常
読者になる
このページはJavaScriptを使用しています。JavaScriptを有効にしてご覧ください。
設定方法は「JavaScriptを有効にする方法を知りたい」でご案内しております。
インターネット接続
SIM・スマホ
会員特典・ポイント
オプションサービス
サポート
ログイン
さん
メンバーステータス
メール通
ポイントpt
ログアウト
閉じる
マイページ
お知らせ
So-netトップ
お知らせ
〓
Copyright © 2005-
2011/12/17 Sat
白髪も増えて老けこみましたが、なんとか生きてます。
ココでは NexusOne の Wifi 運用から 3G デビューしたあたりで最後の記事だったわけですが。
その後、リークの Froyo を経て、cyanogenmod6、7 と移行。
b-mobile U300 も、今では 1G定額で運用。
ヨメはん用に NexusS(CM7)も買い足しましたし、xoom も発売さ