「Template:Metalogic」の版間の差分

削除された内容追加された内容

インライン

2019年6月15日 (土) 19:04時点における版

テンプレートの解説

折り畳み・展開設定方法

{{Metalogic|state=collapsed}}と設定すると、テンプレートは折り畳んだ状態で初期表示されます。
{{Metalogic|state=expanded}}と設定すると、展開した状態で初期表示されます。
{{Metalogic|state=autocollapse}}と設定すると、単一ページにcollapsedを使うNavboxが複数ある場合には折り畳んで表示されます（デフォルト設定/設定なしと同じ）。

編集者は、このテンプレートをサンドボックスとテストケースで試すことができます。（解説）
このテンプレートのサブページ一覧。

@@ 8行目: / 8行目: @@
 | list1 =
 * [[カントールの定理]]
-* ''{{仮リンク|Entscheidungsproblem|en|Entscheidungsproblem}}''
+* {{仮リンク|決定問題 (形式論理)|en|Entscheidungsproblem|label=決定問題}}
 * [[チャーチ＝チューリングのテーゼ]]
-* {{仮リンク|Consistency|en|Consistency}}
+* {{仮リンク|無矛盾性|en|Consistency}}
-* {{仮リンク|Effective method|en|Effective method}}
+* {{仮リンク|実効的方法|en|Effective method}}
 * [[数学基礎論]]
 * [[幾何学基礎論|（幾何学）]]
@@ 19行目: / 19行目: @@
 * [[完全性]]
 * [[決定可能性]]
-* {{仮リンク|Interpretation (logic)|en|Interpretation (logic)|label=Interpretation}}
+* {{仮リンク|解釈 (論理学)|en|Interpretation (logic)|label=解釈}}
 * [[レーヴェンハイム–スコーレムの定理]]
 * {{仮リンク|メタ定理|en|Metatheorem}}
-* {{仮リンク|Satisfiability|en|Satisfiability}}
+* {{仮リンク|充足可能性|en|Satisfiability|redirect=1}}
-* {{仮リンク|Independence (mathematical logic)|en|Independence (mathematical logic)|label=Independence}}
+* {{仮リンク|独立性 (数理論理学)|en|Independence (mathematical logic)|label=独立性}}
 * [[タイプとトークンの区別]]
-* {{仮リンク|Use–mention distinction|en|Use–mention distinction}}
+* {{仮リンク|使用と言及の区別|en|Use–mention distinction}}
 }}<noinclude>

表話編歴論理学のテンプレート
Types of logic	古典論理（英語版）数理論理学メタ論理｜メタ数学非古典論理（英語版）哲学的論理学（英語版）
Other templates	論理記号 Logic functions（英語版）論理演算パラドックス論理的真理（英語版）集合論推論規則
カテゴリ