Disjunction - Disjunction

Japanese: 選言 - せんげん
Disjunction - Disjunction
〘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

Japanese:
〘名〙 (disjunction の訳語) 伝統的形式論理学で、「あるいは」という接続詞で結びつけられた二つ以上の述語が、一つの主語に結びつけられた文の形式。たとえば「A君は長男か、あるいは次男である」の類。現代論理学では、二つの命題のうち、少なくとも一つが正しいことを主張する命題を、前二者の選言という。※論理学(1916)〈速水滉〉一「選言(或は離接)(Disjunctive)甲は乙なるか丙なるかなり」

出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報

<<:  Senkeneki

>>:  Motomaro Senke

Recommend

Ficus lyrata (English spelling) Ficuslyrata

… [Takabayashi Masatoshi]. … *Some of the termino...

Arctostaphylos uva-ursi (English spelling) Arctostaphylosuvaursi

…[Takayuki Yamazaki] [Aya Nitta]. … *Some of the ...

Immission (English spelling) [Germany]

A concept in German civil law (and Swiss civil law...

In Tadeini (English spelling)

…The oldest carvings, of elephants and hippos, ar...

Literary Sumo - Fuzumo

The title of a Kyogen piece. Daimyo Kyogen. It is...

show lily

...Leaves are thin and narrowly lanceolate to lin...

Local government bonds - Chihosai

This refers to the debt of local governments, inc...

Man and Dog

…His representative works include Deforestation (...

Alkaline amphibole

…Amphibole is generally divided into three groups...

Flack, M.

…The sinoatrial node determines the overall rhyth...

Flow production - Nagaresagyo

It is a work organization in which each task prog...

Al-Hudaydah

Also called Hodeidah. A major port in western Yeme...

Ogami clan - Ogauji

…The Ogata district of Ono County in Bungo Provin...

Interferogram

…Since δ is expressed as 2π⊿/λ using the optical ...

Cyclic nucleotide phosphodiesterase

…In addition to these broad nutrition-related fun...