---
tag: 0F72FK8EKB
kind: concept
name: Disjunction
aliases: [logical-or, inclusive-or]
msc: [03B05]
sources:
  - url: https://en.wikipedia.org/wiki/Logical_disjunction
    locator: lead section
same_as:
  wikidata: Q1651704
  wikipedia: Logical disjunction
---

## Summary

Disjunction is the logical operation "or".
It joins two [[propositions|0ZGC7ZESYN]] into one proposition that is true when at least one part is true.
