English Language & Usage Stack Exchange is a question and answer site for linguists, etymologists, and serious English language enthusiasts. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

share|improve this question
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. – coleopterist 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. – John Lawler 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. – snailplane Nov 5 '13 at 9:11
up vote 3 down vote accepted

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.

share|improve this answer
Thanks: In which case, it looks like there's no single word that further refines "connectives" to just AND and OR. – Xophmeister Mar 10 '13 at 17:27
@Xophmeister: Not to my knowledge...but then you can just say "conjunctions and disjunctions"! – Cerberus Mar 10 '13 at 18:07

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.

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.