〘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)甲は乙なるか丙なるかなり」
出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報 |
...Also, since nasals are often voiced, only the ...
A group of lakes and ponds scattered on the north...
A marine fish belonging to the family Fagus, orde...
…Received the Nobel Prize in Economic Sciences in...
An official name in ancient China. The head of the...
Born: 1744. Yaroslavl [Died] October 14, 1817. Mol...
…Leader of the Abbasid revolution in Khorasan. Se...
An official history of China. One of the 25 histor...
Cotton cloth made in Mikawa Province (Aichi Prefe...
1872‐1926 Vietnamese enlightened nationalist. Also...
A perennial plant of the legume family. It is also...
A mountain on the border between Yamaguchi and Hi...
This hot spring is located in Minamiizu Town, Kamo...
It is an annual plant (perennial in the tropics) o...
French architect and mathematician. Born in Lyon....