conjunction

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

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENconjunction

FRconjonction

Symbol

p \land q

Notation systems

AsciiMath

p ^^ q

LaTeX

p \land q

Definition

conjunction of $p$ and $q$ , +

$p$ and $q$

conjonction de $p$ et $q$ , +

$p$ et $q$

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

isq:t2-5.1

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-5.1
skosxl:prefLabel	"conjunction"@en
skosxl:altLabel	"p ^^ q"@en
skos:definition	conjunction of stem:[p] and stem:[q], + stem:[p] and stem:[q]
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-5