命題
命題(めいだい、proposition)とは、論理学において判断を言語で表したもので、真または偽という性質をもつもの。また数学で、真偽の判断の対象となる文章または式。定理または問題のこと。西周による訳語の一つ。 厳密な意味での命題の存在は、「意味」の存在と同様に、疑問を投げかける哲学者もいる。また、「意味」の概念が許容される場合にあっても、その本質は何であるかということにはなお議論のあるところである。古い文献では、語の集まりあるいはその語の集まりの表す「意味」という意味で命題という術語を用いているかどうかということが、つねに十分に明らかにされているわけではなかった。 現在では、論争や存在論的な含みを持つことを避けるため、ある解釈の下で(真か偽のいずれであるかという)真理の担い手となる記号列自体について述べる時は、「命題」という代わりに「文 (sentence)」という術語を用いる。ストローソンは「言明 ("statement")」 という術語を用いることを提唱した。.
新しい!!: 一般性を失わないと命題 · 続きを見る »
シュールの不等式
ュールの不等式(シュールのふとうしき)は、イサイ・シュールにちなんで名付けられた、非負実数 x, y, z と正数 t に対して成り立つ、次の絶対不等式である。 等号成立は x.
新しい!!: 一般性を失わないとシュールの不等式 · 続きを見る »
証明
証明(しょうめい)とは、ある事柄が真理もしくは事実であることを明らかにすること。また、その内容。.
新しい!!: 一般性を失わないと証明 · 続きを見る »
数学
数学(すうがく、μαθηματικά, mathematica, math)は、量(数)、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
新しい!!: 一般性を失わないと数学 · 続きを見る »