爆発律
定義0.1.
- 項を，以下で定義する:
- 文字は項である．
- $n$を超数学的に与えられた正の整数とする．$n$変数関数$f$と$n$個の項$T_1, \ldots, T_n$に対し，$fT_1 \ldots T_n$は項である．
- 以上1.，2.で構成されるもののみが項である．
- 論理式を，以下で定義する:
- $m$を超数学的に与えられた正の整数とする．$m$項関係$s$と$m$個の項$T_1, \ldots, T_m$に対し，$sT_1 \ldots T_m$は論理式である．
- $x$を文字，$A, B$を論理式とする．このとき，$\lnot A$，$A \lor B$，$A \land B$，$A \Rightarrow B$，$\forall x A$，$\exists x A$は，いずれも論理式である．
- 以上1.，2.で構成されるもののみが論理式である．
ページコンソール
カテゴリ
SCP-JP本投稿の際にscpタグを付与するJPでのオリジナル作品の下書きが該当します。
本投稿の際にgoi-formatタグを付与するJPでのオリジナル作品の下書きが該当します。
本投稿の際にtaleタグを付与するJPでのオリジナル作品の下書きが該当します。
翻訳作品の下書きが該当します。
他のカテゴリタグのいずれにも当て嵌まらない下書きが該当します。
言語
EnglishРусский한국어中文FrançaisPolskiEspañolภาษาไทยDeutschItalianoУкраїнськаPortuguêsČesky繁體中文Việtその他日→外国語翻訳日本支部の記事を他言語版サイトに翻訳投稿する場合の下書きが該当します。
コンテンツマーカー
ジョーク本投稿の際にジョークタグを付与する下書きが該当します。
本投稿の際にアダルトタグを付与する下書きが該当します。
本投稿済みの下書きが該当します。
イベント参加予定の下書きが該当します。
フィーチャー
短編構文を除き数千字以下の短編・掌編の下書きが該当します。
短編にも長編にも満たない中編の下書きが該当します。
構文を除き数万字以上の長編の下書きが該当します。
特定の事前知識を求めない下書きが該当します。
SCPやGoIFなどのフォーマットが一定の記事種でフォーマットを崩している下書きが該当します。
シリーズ-JP所属
JPのカノンや連作に所属しているか、JPの特定記事の続編の下書きが該当します。
JPではないカノンや連作に所属しているか、JPではない特定記事の続編の下書きが該当します。
JPのGoIやLoIなどの世界観用語が登場する下書きが該当します。
JPではないGoIやLoIなどの世界観用語が登場する下書きが該当します。
ジャンル
アクションSFオカルト/都市伝説感動系ギャグ/コミカルシリアスシュールダーク人間ドラマ/恋愛ホラー/サスペンスメタフィクション歴史任意
任意A任意B任意C- portal:5274161 (03 Nov 2019 22:30)
コメント投稿フォームへ
批評コメントTopへ