语言
没有数据
通知
无通知
("statement")」 という術語を用いることを提唱した。 ある肯定的判断・命題を立てること、また立てられた肯定的判断・命題のことを定立（テーゼ）と呼び、ヘーゲル弁証法では、三段階発展の最初の段階を指す語として使用される。カントの二律背反では、同等の権利をもって語ることのできる、世界につい
問題においては、扱う材料に作用している外力を求める逆問題だけでなく、 材料の境界・領域形状を求める 材料を支配している方程式を求める 材料についての境界値あるいは初期値を求める 材料の物性値を求める といった、複数の逆問題が存在する。様々な問題設定
が、それ以前の行の内容に基づき、（整式の）変形規則を正しく適用して得られたものであるとき、証明が完了したとみなされる。（なお、タブローの方法という別の記述方法もある。） 公理集合は空集合を採用する。 ここでの命題計算では八つの推論規則を考える。これらの規則によって真だと仮定された式たちからほかの真
Interpretatione, 英: On Interpretation）とは、アリストテレスの著作であり、『オルガノン』の中の一冊。 文字通り、様々な（真偽判定の対象となる）「命題文」のあり方について述べられている。原題は、「表現について」「説明について」「解釈について」といった程度の意味。 14の章から成り、1章-13章については内容上、
全称命題（ぜんしょうめいだい、英：universal proposition）とは、一つの集合を構成する全ての項について、ある性質を肯定する命題である。これは命題なので真理値を常に持つ。 例えば、「全ての犬はいずれ死ぬ」という命題と「全ての牛は空を飛ぶ」という命題はどちらも全称命題
命題関数（めいだいかんすう、英：Propositional function） とは、数理論理学において、各変数の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、集合に等しいような写像である。命題関数は真理関数でもある。 命題関数を定義する為に次の 2 つの記号を用いる。 真な命題を表す記号
プレビッシュ＝シンガー命題（ぷれびっしゅ＝しんがーめいだい、英: The Prebisch–Singer thesis）とは、長期的には一次産品の工業製品に対する相対価格が低下し、一次産品を生産し輸出する国の交易条件が悪化するという考え方。ラウル・プレビッシュとハンス・シンガー（英語版）が1940
ガロアの逆問題（ガロアのぎゃくもんだい、英語: inverse Galois problem）とは、全ての有限群が有理数体 Q {\displaystyle \mathbb {Q} } のガロア拡大のガロア群として現れるかどうかを問う、ガロア理論の問題である。この問題は、19世紀初期にはじめて提起された未解決問題である。
搜索 
