検索結果

…]の集合の一方もしくはその両方からなる体系をいう。形式体系を定めれば、一つまたは複数の式から別の一つの式を演繹できるようになる。[[命題論理]]や[[述語論理]]は形式体系の例である。 …

…Pub Co, 2008.</ref><ref>Copi and Cohen</ref><ref>Moore and Parker</ref>は、[[述語論理]]において、<math>(\exists x) \phi(x)</math>という形式を持った式が与えられると、新しい定数記号''c''について<ma [[Category:述語論理]] …

また、一意的に存在することを記号「[[#述語論理|∃!]]」<ref>{{Cite web |url=https://www.whitman.edu/mathematics/higher_math_o == 述語論理 == …

…and Cohen</ref><ref>Hurley</ref><ref>Moore and Parker</ref> '''GEN'''）は、[[述語論理]]において妥当な[[推論規則]]のひとつである。これは、もし<math>\vdash P(x)</math>が導出されていれば、<math>\vdas [[Category:述語論理]] …

== 述語論理 == [[述語論理]]においては、トートロジーを考える事はないが、同様な概念を[[論理式 (数学)#属性|考える事]]ができる。論理式が、全ての[[:en: Interp …

[[命題論理]]もしくは[[述語論理]]においては、いかなる論理式も、[[ド・モルガンの法則]]を用い否定演算子を内側に押し込む操作を繰り返すことによって、論理的に等価な否定標準形に置き換 …

[[Category:述語論理]] …

*[[数学基礎論]]、[[数理論理学]]、[[述語論理]] [[Category:述語論理]] …

D を空でない任意の対象領域とする。任意の 1 変数の[[述語論理|述語]] <math>F : D \to \{ \bot, \top \}</math> に対して …

…程のことで、推論が正しいことは、(<math>A_1 \land \cdots \land A_n) \supset C</math>が[[恒真式#述語論理|妥当式]]であることと同値<ref>清水義夫(1984) 『記号論理学』東京大学出版会　p54~56</ref>。<math>A_i</math>と< …

[[Category:述語論理]] …

'''存在記号'''（そんざいきごう、existential quantifier）とは、[[数理論理学]]（特に[[述語論理]]）において、少なくとも1つのメンバーが述語の特性や関係を満たすことを表す記号である。通常「'''∃'''」と表記され、'''存在量化子'''（そんざ * [[一意性 (数学)#述語論理|一意性]] {{math|∃!}} …

[[数学]]、[[数理論理学]]、[[命題論理]]、[[述語論理]]などにおいて、'''論理式'''（ろんりしき、{{Lang-en|logical expression}}）とは、[[真理値]]を必要とする場所にあ == 述語論理 == …

[[Category:述語論理]] …

[[Category:述語論理]] …

[[述語論理]]は命題論理に量化子を加えたものである。ハワードとド・ブラウンは型付きラムダ計算に依存関数のための型("任意の"に対応する)と依存ペアのための型("存 …

[[述語論理]]における2種類の基本的量化として、[[全称記号|全称量化]]と[[存在記号|存在量化]]がある。これらの詳細は各項目にあるので、ここでは両者に共通す *[[述語論理]] …

[[述語論理]]のリテラルには個体変数が含まれるため、リテラルと否定リテラルとを単純に比較するだけでは削除できるかどうか分からない。一階述語論理ではリテラルと否定リ ** [[述語論理]] …