In logic and mathematics, or is the truth-functional operator of (inclusive) disjunction, also known as alternation; the or of a set of operands is true if and only if one or more of its operands is true. The logical connective that represents this operator is typically written as ∨ or +. is true if is true, or if is true, or if both and are true. In logic, or by itself means the inclusive or, distinguished from an exclusive or, which is false when both of its arguments are true, while an "or" is true in that case. An operand of a disjunction is called a disjunct.

Property Value
dbo:abstract
• In logic and mathematics, or is the truth-functional operator of (inclusive) disjunction, also known as alternation; the or of a set of operands is true if and only if one or more of its operands is true. The logical connective that represents this operator is typically written as ∨ or +. is true if is true, or if is true, or if both and are true. In logic, or by itself means the inclusive or, distinguished from an exclusive or, which is false when both of its arguments are true, while an "or" is true in that case. An operand of a disjunction is called a disjunct. Related concepts in other fields are: * In natural language, the coordinating conjunction "or". * In programming languages, the short-circuit or control structure. * In set theory, union. * In predicate logic, existential quantification. (en)
dbo:thumbnail
dbo:wikiPageID
• 7962 (xsd:integer)
dbo:wikiPageLength
• 10966 (xsd:integer)
dbo:wikiPageRevisionID
• 985332354 (xsd:integer)
dbp:0Preserving
• yes (en)
dbp:1Preserving
• yes (en)
dbp:affine
• no (en)
dbp:id
• p/d033260 (en)
dbp:logicGate
• OR_ANSI.svg (en)
dbp:monotone
• yes (en)
dbp:otherTitles
• OR (en)
dbp:selfDual
• no (en)
dbp:title
• Disjunction (en)
• Logical disjunction (en)
dbp:vennDiagram
• Venn0111.svg (en)
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
• In logic and mathematics, or is the truth-functional operator of (inclusive) disjunction, also known as alternation; the or of a set of operands is true if and only if one or more of its operands is true. The logical connective that represents this operator is typically written as ∨ or +. is true if is true, or if is true, or if both and are true. In logic, or by itself means the inclusive or, distinguished from an exclusive or, which is false when both of its arguments are true, while an "or" is true in that case. An operand of a disjunction is called a disjunct. (en)
rdfs:label
• Logical disjunction (en)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of