operation that takes a proposition p to another proposition "not p", written ¬p, which is interpreted intuitively as being true when p is false, and false when p is true; unary (single-argument) logical connective
Attributes | Values |
---|---|
rdf:type | |
owl:sameAs | |
description |
|
Encyclopedia of Mathematics article ID | |
notation | |
Encyclopedia of Mathematics article ID |
|
notation | |
rdfs:label |
|
skos:prefLabel |