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
default for all languages
No label defined
    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