# Hypernym for "conjunction" and "disjunction"

Is there a hypernym for conjunction and disjunction, in their logical senses? Just using "junction" doesn't seem right to me.

• Are you talking about a computer term, or a linguistic term? If you mean linguistic, then conjunction itself suffices. For example, English coördinating conjunctions include and, but, or, not, yet — and you will note that nor and or are disjunctive not conjunctive.
– tchrist
Mar 10 '13 at 14:47
• They are both logical operators. But they aren't the only ones. Mar 10 '13 at 14:53
• "Connective" is a term that seems to have served as a hypernym for conjunction, disjunction, negation and conditional (logic).
– Kris
Mar 10 '13 at 14:56
• (I'm assuming disjunction means `OR` instead of `XOR`). Conjunction, disjunction (of either type), and material implication are dyadic functors, but negation is monadic, and an operator to boot. What distinguishes `AND` and `OR` is that they commute: A and B is equivalent to B and A, and ditto for A or B. Material implication is not commutative. Also, `AND` and `OR` are the functors defined by DeMorgan's Laws, so I could call them the commutative DeMorgan functors if I needed a name; but that's 9 syllables and "and and or" is only three, so I'm not sure I ever would. Mar 10 '13 at 15:50
• @Xophmeister It seems that you're right and people don't just say "junction", but what a pity! It seems so clean to say that disjunction and conjunction are both junction. If I had reason, I think I might use the term unapologetically.
– user28567
Nov 5 '13 at 9:11

## 2 Answers

What you are looking for is probably logical connective, also called logical operator. Disjunction and conjunction are examples of binary logical operators.

From Wikipedia:

In logic, a logical connective (also called a logical operator) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such that the sense of the compound sentence produced depends only on the original sentences.

P.S. Conventionally and etymologically, the correct term is hyperonym, not hypernym, since the Greek word for "name" is onoma/onuma, beginning with an o; hence syn-onym and an-onym-ous, not synnym and anymous.

• Thanks: In which case, it looks like there's no single word that further refines "connectives" to just `AND` and `OR`. Mar 10 '13 at 17:27
• @Xophmeister: Not to my knowledge...but then you can just say "conjunctions and disjunctions"! Mar 10 '13 at 18:07
• Etymologically, hyperonym makes more sense from a Greek point of view (though arguably not from an English one); but conventionally, the term is hypernym. In all my years studying and working as a linguist, I've never seen anyone actually use hyperonym in the wild. Unlike synonym and anonymous, of course, hypernym was coined less than 50 years ago in English, so it really only has to adhere to English rules of derivation… and I think most English speakers would consider the suffix to be -nym. Dec 9 '16 at 0:37
• @JanusBahsJacquet: I believe you and I understand your point. But the conventions I am talking about are not those current among linguists, but among those users of the word who concern themselves with style, in English or otherwise. (Frankly, I don't think anyone else cares at all as long as it's intelligible.) Dec 9 '16 at 0:54

If you are looking for a more general term rather than just being restricted to Mathematical Logic, the terms to use are `Joint`, `Joint-relation` or `Joint-relationship`.

Remember Relational Databases (RDBMS)? The term need not pertain to RDBMS, but Relational model syntax exhibits a viable relationship with modern business and legal language usage.

The following are verbs to attain `relationships` or anti-`relationships`:

• conjunct:
a simultaneous or peer relationship
• adjunct:
subordinate or auxiliary relationship
• injunct:
anti-relationship, to prevent a relationship
• disjunct:
anti-relationship, to disconnect from a relationship

Consider the following extended definition of relationships:

Inner conjunction, outer conjunction, left-outer conjunction.

To be more specific, the above are for joint-relationships, either to attain a joint or a disjoint.