2009年2月19日 (木) 13:38時点における版編集 218.251.73.224 (会話) {{planetmath}} ← 古い編集		2009年9月14日 (月) 01:56時点における版編集取り消し灰 (会話 \| 投稿記録) 1,272 回編集 m編集の要約なし新しい編集 →
4行目: == 定義 == シークエントは次の形式を持つ。 :{{Indent\|<math>\Gamma\vdash\Sigma</math>}} ここで、Γ と Σ は[[論理式]]の[[列 (数学)\|列]]である（その個数と順序が重要である）。記号 <math>\vdash</math> は、ターンスタイル（turnstile、回転扉）あるいはティー (tee) と呼ばれ、意味的には「生成する」あるいは「証明する」と読まれる。これは言語内の記号ではなく、証明を論じる際のメタ言語内の記号である。シークエントにおいて、Γ は前件 (antecedent)、Σ は後件 (succedent) と呼ばれる。 18行目: 典型的なシークエントは、次のように記述される。 :{{Indent\|<math> \phi, \psi \vdash \alpha, \beta</math>}} これは、つまり ''α'' か ''β'' のいずれかが ''φ'' および ''ψ'' から導かれることを意味する。 30行目: 規則の典型例は次の通り。 :{{Indent\|<math>\frac{\Gamma \vdash \Sigma}{\begin{matrix} \Gamma, \alpha \vdash \Sigma & \alpha, \Gamma \vdash \Sigma \end{matrix}}</math>}} これは、Γ から Σ を導けるなら、Γ に ''α'' を追加したものからも導けることを示している。 46行目: {{planetmath\|id=3502\|title=Sequent}} ~~[[Category~~{{DEFAULTSORT:~~論理学\|~~しくえんと]]}} [[Category:論理学]] [[en:Sequent]]

「シークエント」の版間の差分