About: logical negation     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : wikibase:Item, within Data Space : wikidata.demo.openlinksw.com associated with source document(s)

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

AttributesValues
rdf:type
owl:sameAs
description
  • Ablehnung, Verneinung oder Aufhebung (de)
  • concepto de la lógica (es)
  • förnekande av något (sv)
  • konnektiivi propositiologiikassa (fi)
  • logisk operation (da)
  • operazione logica unitaria (it)
  • opérateur logique (fr)
  • 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 (en)
  • operación que convirte a unha proposición na proposición oposta (gl)
  • zaprzeczenie zdaniu lub nazwie, różnie formalizowane (pl)
  • कथन के मूल अर्थ को विपरित करने वाली संक्रिया (hi)
  • операция, меняющая значение на противоположное (ru)
  • מושג בלוגיקה מתמטית (he)
  • operação que leva uma proposição p a outra proposição "não p" (pt)
  • operação que leva uma proposição p a outra proposição "não p" (pt-br)
  • 数理論理学における論理演算の一つ (ja)
  • 运算 (zh)
Encyclopedia of Mathematics article ID
notation
Encyclopedia of Mathematics article ID
  • Negation
notation
rdfs:label
  • negácia (sk)
  • לא (he)
  • 부정 (ko)
  • 否定 (ja)
  • Negation (de)
  • negation (da)
  • negazione (it)
  • negatio (la)
  • Eitus (et)
  • Logička negacija (sr-el)
  • Negacija (hr)
  • Negasi (id)
  • Negasjon (nb)
  • Negasyon (tl)
  • Teris logïka (kk-latn)
  • Teris logïka (kk-tr)
  • Tümleme (mantık) (tr)
  • ezeztapen logiko (eu)
  • logical negation (en)
  • logika neo (eo)
  • logische negatie (nl)
  • logička negacija (sh)
  • negaatio (fi)
  • negace (cs)
  • negacija (sl)
  • negacioni (sq)
  • negació lògica (ca)
  • negación lógica (es)
  • negación lóxica (gl)
  • negacja logiczna (pl)
  • negasiòun (eml)
  • negassion (pms)
  • negation (sv)
  • negação (pt-br)
  • negação lógica (pt)
  • negație logică (ro)
  • negáció (hu)
  • négation logique (fr)
  • penafian logik (ms)
  • İnkar (az)
  • Инкор (tg)
  • Логичка негација (sr-ec)
  • Негација (mk)
  • Отрицание (bg)
  • Теріс логика (kk)
  • Теріс логика (kk-kz)
  • Теріс логика (kk-cyrl)
  • логическое отрицание (ru)
  • логичка негација (sr)
  • логічне заперечення (uk)
  • Հերքում (hy)
  • تەرىس لوگىيكا (kk-arab)
  • تەرىس لوگىيكا (kk-cn)
  • فعل مثبت اور فعل منفی (ur)
  • نفي (ar)
  • نقیض (fa)
  • نەرێکردن (ckb)
  • निषेध (तर्क) (hi)
  • นิเสธ (th)
  • អវិជ្ចមានកម្ម (km)
  • 逻辑非 (zh)
  • 逻辑非 (zh-cn)
  • 逻辑非 (zh-sg)
  • 逻辑非 (zh-hans)
  • 邏輯非 (zh-hk)
  • 邏輯非 (zh-tw)
  • 邏輯非 (zh-hant)
  • 邏輯非 (yue)
skos:prefLabel
  • negácia (sk)
  • לא (he)
  • 부정 (ko)
  • 否定 (ja)
  • Negation (de)
  • negation (da)
  • negazione (it)
  • negatio (la)
  • Eitus (et)
Faceted Search & Find service v1.16.117 as of May 05 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 190 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software