Результати пошуку "シークエント" – Japanese Japanese–Japanese

Деталі слова

シークエント

シークエント（英: Sequent）あるいは推件式（すいけんしき）とは、演繹による証明過程を示すためによく使われる形式表現である。シークエントは次の形式を持つ。 Γ ⊢ Σ {\displaystyle \Gamma \vdash \Sigma } ここで、Γ と Σ は論理式の列である（その個数と順序が重要である）。記号

Пов'язані слова

シークエント計算

、論理式の正確な形を無視する。例外として同一性の公理 (I) とカット規則 (Cut) がある。形式化されているものの、これらの規則は古典論理的に直観的に読み解くことができる。例えば、(∧L1) 規則を見てみよう。これは、A を含む論理式の列から Δ が証明される場合は常に A∧B という（より強い）仮定からも

Словник

Деталі слова

Пов'язані слова