自然演繹を解説文に含む用語の検索結果

「自然演繹」を解説文に含む見出し語の検索結果(1～10/317件中)

代入定理 - ウィキペディア小見出し辞書

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 03:59 UTC 版)「自然演繹」の記事における「代入定理」の解説Γ ⊢ π1 : A かつ Γ, u:A ⊢...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 03:59 UTC 版)「自然演繹」の記事における「様相代入定理」の解説Ω;⋅ ⊢ π1 : A true かつ...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 09:51 UTC 版)「自然演繹」の記事における「自然演繹論理」の解説自然演繹論理のあるバージョンには、公理が...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 09:51 UTC 版)「自然演繹」の記事における「形式的定義」の解説演繹（または証明）は、命題論理のような形式...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 09:51 UTC 版)「自然演繹」の記事における「一貫性、完全性、正規形」の解説数学的理論は、（仮定なしで）偽...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/07 20:51 UTC 版)「カリー＝ハワード同型対応」の記事における「(β → α) → (γ → β) → γ ...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 09:51 UTC 版)「自然演繹」の記事における「古典論理と様相論理」の解説話を単純化するため、ここまでの説明...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/10/07 10:04 UTC 版)「演繹定理」の記事における「変換の例」の解説自然演繹を公理的証明形式に変換する過程を示す...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/07 20:51 UTC 版)「カリー＝ハワード同型対応」の記事における「BHK解釈」の解説BHK解釈は直観主義的な証...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/17 15:40 UTC 版)「SKIコンビネータ計算」の記事における「ラムダ計算との関係」の解説任意のコンビネータ項...

< 前の結果 | 次の結果 >