Section 2-57 entries
2-5.3
negation
https://metanorma.github.io/isq-smart/math/part-2-5/t2-5.3 urn:iso:std:iso:80000:-2:ed-2:en:item:2-5.3
ISQ Identifiers
ISO
urn:iso:std:iso:80000:-2:ed-2:en:item:2-5.3IEC
urn:iec:std:iec:80000-2:2019:::item:2-5.3Designations
ENnegation
FRnégation
Symbol
Notation systems
AsciiMath
not pLaTeX
\neg pDefinition
EN
negation of , + not
FR
négation de , + non
Ontology
Class Hierarchy
A mathematical concept as defined in ISO/IEC 80000 Part 2.
Instance IRI
isq:t2-5.3Properties
| Property | Value |
|---|---|
| rdf:type | |
| dcterms:identifier | 2-5.3 |
| skosxl:prefLabel | "negation"@en |
| skosxl:altLabel | "not p"@en |
| skos:definition | negation of stem:[p], +
not stem:[p]
|
| smart:hasBindingnessType | |
| dcterms:isPartOf |