logical negation (Q190558)

From Wikidata
Jump to navigation Jump to search
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
  • negation
  • logical complement
  • complement
  • logical NOT
  • NOT operation
edit
Language Label Description Also known as
English
logical negation
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
  • negation
  • logical complement
  • complement
  • logical NOT
  • NOT operation

Statements

Identifiers

 
edit
    edit
      edit
      edit
        edit
          edit
            edit
              edit