equivalent

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

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENequivalent

FRéquivalence

Symbol

p \Leftrightarrow q

Notation systems

AsciiMath

p <=> q

LaTeX

p \Leftrightarrow q

Definition

$p$ is equivalent to $q$

$p$ est équivalent à $q$

$(p \Rightarrow q) \land (q \Rightarrow p)$ has the same meaning as $p \Leftrightarrow q$ .

$\Leftrightarrow$ is the equivalence symbol.

$\leftrightarrow$ is also used as equivalence symbol.

$(p \Rightarrow q) \land (q \Rightarrow p)$ a le même sens que $p \Leftrightarrow q$ .

$\Leftrightarrow$ est le symbole d'équivalence.

$\leftrightarrow$ est également utilisé comme symbole d'équivalence.

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

isq:t2-5.5

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-5.5
skosxl:prefLabel	"equivalent"@en
skosxl:altLabel	"p <=> q"@en
skos:definition	stem:[p] is equivalent to stem:[q]
skos:note	stem:[(p => q) ^^ (q => p)] has the same meaning as stem:[p <=> q]. stem:[<=>] is the equivalence symbol. stem:[harr] …
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-5