语言
没有数据
通知
无通知
("statement")」 という術語を用いることを提唱した。 ある肯定的判断・命題を立てること、また立てられた肯定的判断・命題のことを定立（テーゼ）と呼び、ヘーゲル弁証法では、三段階発展の最初の段階を指す語として使用される。カントの二律背反では、同等の権利をもって語ることのできる、世界につい
〔「飲み門(ト)」の意〕
〔「のんど」の転〕
〔「飲み門(ト)」の転〕
が、それ以前の行の内容に基づき、（整式の）変形規則を正しく適用して得られたものであるとき、証明が完了したとみなされる。（なお、タブローの方法という別の記述方法もある。） 公理集合は空集合を採用する。 ここでの命題計算では八つの推論規則を考える。これらの規則によって真だと仮定された式たちからほかの真
Interpretatione, 英: On Interpretation）とは、アリストテレスの著作であり、『オルガノン』の中の一冊。 文字通り、様々な（真偽判定の対象となる）「命題文」のあり方について述べられている。原題は、「表現について」「説明について」「解釈について」といった程度の意味。 14の章から成り、1章-13章については内容上、
全称命題（ぜんしょうめいだい、英：universal proposition）とは、一つの集合を構成する全ての項について、ある性質を肯定する命題である。これは命題なので真理値を常に持つ。 例えば、「全ての犬はいずれ死ぬ」という命題と「全ての牛は空を飛ぶ」という命題はどちらも全称命題
命題関数（めいだいかんすう、英：Propositional function） とは、数理論理学において、各変数の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、集合に等しいような写像である。命題関数は真理関数でもある。 命題関数を定義する為に次の 2 つの記号を用いる。 真な命題を表す記号
搜索 
