implication

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

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENimplication

FRimplication

Symbol

p \Rightarrow q

Notation systems

AsciiMath

p => q

LaTeX

p \Rightarrow q

Definition

$p$ implies $q$ , + if $p$ , then $q$

$p$ implique $q$ , + si $p$ , alors $q$

$q \Leftarrow p$ has the same meaning as $p \Rightarrow q$ .

$\Rightarrow$ is the implication symbol.

$\to$ is also used as implication symbol.

$q \Leftarrow p$ a le même sens que $p \Rightarrow q$ .

$\Rightarrow$ est le symbole d'implication.

$\to$ est également utilisé comme symbole d'implication.

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

isq:t2-5.4

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-5.4
skosxl:prefLabel	"implication"@en
skosxl:altLabel	"p => q"@en
skos:definition	stem:[p] implies stem:[q], + if stem:[p], then stem:[q]
skos:note	stem:[q lArr p] has the same meaning as stem:[p => q]. stem:[=>] is the implication symbol. stem:[->] is also used as …
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-5