〘noun〙 (translation of disjunction) In traditional formal logic, a sentence form in which two or more predicates connected by the conjunction "or" are connected to one subject. For example, "Mr. A is either the eldest son or the second son." In modern logic, a proposition that asserts that at least one of two propositions is true is called a disjunction of the first two. *Logic (1916) <Hayami Ko> 1 "Disjunction (or Disjunctive) A is either B or C." Source: The Selected Edition of the Japanese Language Dictionary About the Selected Edition of the Japanese Language Dictionary Information |
〘名〙 (disjunction の訳語) 伝統的形式論理学で、「あるいは」という接続詞で結びつけられた二つ以上の述語が、一つの主語に結びつけられた文の形式。たとえば「A君は長男か、あるいは次男である」の類。現代論理学では、二つの命題のうち、少なくとも一つが正しいことを主張する命題を、前二者の選言という。※論理学(1916)〈速水滉〉一「選言(或は離接)(Disjunctive)甲は乙なるか丙なるかなり」
出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報 |
… [Takabayashi Masatoshi]. … *Some of the termino...
…[Takayuki Yamazaki] [Aya Nitta]. … *Some of the ...
A concept in German civil law (and Swiss civil law...
…The oldest carvings, of elephants and hippos, ar...
The title of a Kyogen piece. Daimyo Kyogen. It is...
...Leaves are thin and narrowly lanceolate to lin...
This refers to the debt of local governments, inc...
…His representative works include Deforestation (...
…Amphibole is generally divided into three groups...
…The sinoatrial node determines the overall rhyth...
It is a work organization in which each task prog...
Also called Hodeidah. A major port in western Yeme...
…The Ogata district of Ono County in Bungo Provin...
…Since δ is expressed as 2π⊿/λ using the optical ...
…In addition to these broad nutrition-related fun...