语言
没有数据
通知
无通知
("statement")」 という術語を用いることを提唱した。 ある肯定的判断・命題を立てること、また立てられた肯定的判断・命題のことを定立（テーゼ）と呼び、ヘーゲル弁証法では、三段階発展の最初の段階を指す語として使用される。カントの二律背反では、同等の権利をもって語ることのできる、世界につい
〔論〕 命題において， 主語の外延全体にわたって例外なく述語が肯定的ないし否定的に結合されること。 全称肯定「すべての S は…である」と， 全称否定「いかなる S も…でない」の二種がある。
ISIL#表記の混在と呼び名変更に対する動き（いわゆる「イスラム国」） 太平洋戦争 （当時の日本は「大東亜戦争」と呼称したが、戦後、太平洋戦争に変更された） 形容動詞 （「名容詞」などの名称が提唱されている。詳細は同項目参照） GNU/Linux名称論争 朝鮮語の呼称問題 エマーソン・レイク・アンド・パウエル 藤崎八旛宮秋季例大祭
が、それ以前の行の内容に基づき、（整式の）変形規則を正しく適用して得られたものであるとき、証明が完了したとみなされる。（なお、タブローの方法という別の記述方法もある。） 公理集合は空集合を採用する。 ここでの命題計算では八つの推論規則を考える。これらの規則によって真だと仮定された式たちからほかの真
Interpretatione, 英: On Interpretation）とは、アリストテレスの著作であり、『オルガノン』の中の一冊。 文字通り、様々な（真偽判定の対象となる）「命題文」のあり方について述べられている。原題は、「表現について」「説明について」「解釈について」といった程度の意味。 14の章から成り、1章-13章については内容上、
命題関数（めいだいかんすう、英：Propositional function） とは、数理論理学において、各変数の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、集合に等しいような写像である。命題関数は真理関数でもある。 命題関数を定義する為に次の 2 つの記号を用いる。 真な命題を表す記号
プレビッシュ＝シンガー命題（ぷれびっしゅ＝しんがーめいだい、英: The Prebisch–Singer thesis）とは、長期的には一次産品の工業製品に対する相対価格が低下し、一次産品を生産し輸出する国の交易条件が悪化するという考え方。ラウル・プレビッシュとハンス・シンガー（英語版）が1940
。このような閉論理式は、しかるべき解釈を施すことにより真偽を確定することができる。一般に量化記号には、「全ての」を意味する全称記号「∀」と、「存在する」を意味する存在記号「∃」の2種類がある。このうち全称記号「∀」によって束縛した場合には「∀xP(x)」という閉論理式が得られ、これは「全ての（任意の）
搜索 
搜索 搜索 
