コンスタンテ(ロジック) – ウィキペディア
一般的に1つです 永久に (から ラテン 一貫性のある 「固定」)「考慮事項の過程で変わらないままである正確に決定された意味を持つ標識または音声表現」 [初め] 。定数は、変数に対して対象です。
論理定数 また 論理粒子 ステートメントの論理構造を決定する兆候または表現です。したがって、2つの声明は「雨が降るのではない」と「地球が立方体であることはそうではない」と同じ構文とセマンティック構造 – これらは否定です。言語表現「それはそうではありません…」は、これら2つの構造ステートメントの論理定数です。
論理的な定数不合理として、否定の表現(たとえば「そうではない…」)、論理的接続詞(「… and …」)、論理的分離(「…または…」)、論理条件とその他のステートメント、および量子の表現(「すべて」、「すべて」)。また、「地球」や「雨」などの表現も議論の余地がありませんが いいえ 一定であり、これらの極端な間に非常に広い領域があります。これは試験の主題であり、多くの異なる意見のためのスペースを提供します。たとえば、「True」や「…は…の要素」やより高いレベルの量の式などの表現のステータス(「適用される述語があります…」)。 [2]
人工言語内の論理定数変数と論理変数の区別は、それらが解釈されている場合、つまり正式なセマンティクスが与えられている場合、それほど問題はありません。 1976年にクリストファーピーココッケによって頻繁に使用される定義が提案されました。 [3]
「Aは、それが構成されていない場合、および適用されるすべての引数シーケンスに対して、この引数シーケンスの個々の要素のパフォーマンス条件の知識に関する知識(およびaを使用した構文カテゴリの正式な構成の正式な構成の正式な構成の正式な構成の知識の知識の知識)で十分な拡張性を知ることができるようにするために十分な拡張性を認識することができるようになります。着信個々のエピソード。」
この意味で、ステートメントロジックの論理定数はJunctorsです。第一段階の述語論理のそれらは、第一段階とジャンクションの量子。モーダルのそれらは、「それが必要です…」や「可能です…」などのモーダル表現。
述語論理では、上記の論理定数に加えて、数学的事実の定式化に必要な他の非論理シンボルが考慮され、したがってこれらの記号で補われた言語になります。非論理的なシンボルがここに来るように 絶え間ない 問題のシンボル、機能的なシンボル、および関係記号 [4] 。定数シンボルは、スケジュールを構築するときに変数と同じ場所を踏むことができるという事実によって、他の非論理的記号によって特徴付けられます。
典型的な例は、シンボルボリュームです
それはリング理論を策定するために使用できます。ここには、2つの定数シンボル0と1があります。その意図された解釈は、リングのゼロと再エレメント、および加算と乗算を表す2つの機能的なシンボルです。項と方程式は、これらの定数を使用してセットアップできます。したがって、そのことを意味します
- 、ここで 追加する必要があります、 プライムナンバー、
それはリングが特性になります
もっている。
リング公理の量に関する絶え間ない声明で構成されるこの声明を追加すると、特徴を持つリングの理論に到達します
。
重要なエビデンス手順は、SO -CALLED CONTANCE拡張です。そうすることで、高度な言語で証拠を目的とするために十分に利用できるように、多くの新しい定数によって拡張されます。 [5]
- クリストファー・ピーコック:「論理的な定数とは?」 Journal of Philosophy 七十三 (1976)、221〜240ページ
- ↑ Tarski、数学論理の紹介、第5版(1977)、p。17
- ↑ この段落は特に厳しいです。ジョン・マクファーレン: 論理定数。 In:エドワードN.ザルタ(編): スタンフォード哲学百科事典 。
- ↑ クリストファー・ピーコック:「論理的な定数とは?」 Journal of Philosophy 七十三 (1976)、221〜240ページ
- ↑ Heinz-Dieter Ebbinghaus、JörgFlum、Wolfgang Thomas: 数学ロジックの紹介 、Spectrum Akademischer Verlag、Heidelberg/Berlin/Oxford 1996、ISBN 3-8274-0130-5、第2章、定義2.1
- ↑ ヴォルフガング・ラウテンバーグ: 数学ロジックの紹介。教科書。 3番目、改訂版。 Vieweg+Teubner、Wiesbaden 2008、ISBN 978-3-8348-0578-2、セクション3.2、 S. 76 、doi: 10,1007/978-3-8348-9530-1 ( springer.com )。
Recent Comments