disjunction

URNurn:iso:std:iso:80000:-2:ed-2:en:item:2-5.2

https://metanorma.github.io/isq-smart/math/part-2-5/t2-5.2
urn:iso:std:iso:80000:-2:ed-2:en:item:2-5.2

ISQ Identifiers

ISO

urn:iso:std:iso:80000:-2:ed-2:en:item:2-5.2

IEC

urn:iec:std:iec:80000-2:2019:::item:2-5.2

Designations

ENdisjunction

FRdisjonction

Symbol

p \lor q

Notation systems

AsciiMath

p vv q

LaTeX

p \lor q

Definition

disjunction of $p$ and $q$ , +

$p$ or $q$

disjonction de $p$ et $q$ , +

$p$ ou $q$

This "or" is inclusive, i.e. $p \lor q$ is true, if either $p$ or $q$ , or both are true.

Ce «ou» est inclusif, c'est-à-dire $p \lor q$ est vrai si $p$ ou $q$ ou les deux sont vrais.

A mathematical concept as defined in ISO/IEC 80000 Part 2.

isq:t2-5.2

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-5.2
skosxl:prefLabel	"disjunction"@en
skosxl:altLabel	"p vv q"@en
skos:definition	disjunction of stem:[p] and stem:[q], + stem:[p] or stem:[q]
skos:note	This "or" is inclusive, i.e. stem:[p vv q] is true, if either stem:[p] or stem:[q], or both are true.
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-5