当初の副題は「地獄を見た芸能人のリアルドキュメント」となっていたが、
芸能人以外も取り上げられていたことからスポット予告などや番組宣伝では、「復活をかけたリアルドキュメント」となっていた。また、ロゴ上では
概要.
国語改革
吉川信幸
概要.
カーボネロ (潜水艦)
艦歴.
哨戒.
戦後.
ユニオン郡 (オレゴン州)
経済.
歴史.
地理.
冠頭標準形
は上と論理的に等価だが冠頭標準形でない論理式である。
冠頭形への変換.
全ての一階述語論理の論理式には（古典論理では）論理的に等価な冠頭標準形の論理式が存在する。いくつかの変換規則を再帰的に適用することで、論理式を冠頭標準形に変換できる。規則は、論理式に出現する論理演算子の種類によって異なる。
論理積と論理和.
論理積と論理和の規則は、
および
例えば、環の言語で、
しかし
否定.
否定の規則は
および
である。
含意.
仮説部分から量化子を除去する規則は以下の通り。
帰結部分から量化子を除去する規則は以下の通り。
例.
上述の規則群を最も内側の部分論理式から再帰的に適用していく。すると、以下のような一連の論理的に等価な論理式が得られる。
なお、元の論理式と等価な冠頭標準形は唯一ではない。例えば、上の例で仮説部ではなく帰結部を先に変換すると、次の冠頭標準形が得られる。
直観論理.
冠頭形への変換規則は古典論理であることに依存している。直観論理では、全ての論理式に等価な冠頭標準形があるわけではない。例えば否定が問題になるが、それだけではない。含意も直観論理と古典論理では扱いが異なる。直観論理では、含意を論理和と否定を使った形式に置き換えられない。
冠頭標準形への変換規則のうち、直観論理では成り立たないものは以下の通りである。
用途.
一部の証明計算は、冠頭標準形の論理式しか扱わない。また、冠頭標準形は算術的階層および解析的階層の構築の基盤である。
ゲーデルによる一階述語論理の完全性定理の証明では、全ての論理式を冠頭標準形に変換することが前提になっている。
王爺廟
通常の条件では不安定だが、酸素や水を除去した系で発生させることができる。
発生.
用途.
キラークイーン (ゲーム)
シナリオ構成.