About: Sheffer stroke

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Sheffer stroke Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Barre de Sheffer (fr) Conjunción opuesta (es) Sheffer stroke (en) Sheffers streck (sv) Штрих Шеффера (ru) 否定論理積 (ja)
rdfs:comment	En calcul de propositions, la barre de Sheffer, nommée d'après Henry M. Sheffer, notée « \| » (voir barre verticale, à ne pas confondre avec « \|\| » qui est souvent utilisé pour représenter la disjonction), « Dpq », ou « ↑ » (une flèche pointant vers le haut), désigne une opération logique qui est équivalente à la négation de la conjonction logique, exprimée « pas les deux à la fois » dans le langage ordinaire. Il est aussi appelé nand (« non et »), car il dit en effet qu'au moins l'un de ses opérandes est faux. En algèbre booléenne et en électronique numérique, il est connu sous le nom de l'opération NON-ET. (fr)
sameAs	Sheffer stroke Sheffer stroke Sheffer stroke Sheffer stroke Sheffer stroke Sheffer stroke Sheffer stroke Sheffer stroke Sheffer stroke Sheffer stroke Sheffer stroke Sheffer stroke Sheffer stroke Sheffer stroke Sheffer stroke Sheffer stroke Sheffer stroke Sheffer stroke
Wikipage page ID	5370370 (xsd:integer)
Wikipage revision ID	152721550 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Connecteur_logique Alfred North Whitehead Boolean algebra Alonzo Church Vertical bar Bertrand Russell Propositional calculus dbpedia-fr:Cambridge category-fr:Symbole dbpedia-fr:Charles_Hartshorne dbpedia-fr:Charles_Sanders_Peirce Logical conjunction Logical connective D. Reidel dbpedia-fr:Disjonction_logique dbpedia-fr:Domaine_booléen Dordrecht Duality (mathematics) Inverter (logic gate) NAND gate Logical NOR OR gate Logic gate Harvard University Press Henry M. Sheffer Józef Maria Bocheński List of logic symbols dbpedia-fr:Moses_Schönfinkel Flash memory dbpedia-fr:Négation_logique Paul Weiss Princeton University Press Principia Mathematica dbpedia-fr:Processeur South Holland (disambiguation) dbpedia-fr:Système_formel dbpedia-fr:Transactions_of_the_American_Mathematical_Society Truth value Digital electronics dbpedia-fr:Équivalence_logique dbpedia-fr:NAND_gate dbpedia-fr:NOR_gate dbpedia-fr:NOT_gate dbpedia-fr:Princeton,_New_Jersey
page length (characters) of wiki page	7646 (xsd:nonNegativeInteger)
dct:subject	category-fr:Connecteur_logique category-fr:Symbole
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:' dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Langue dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Div_col dbpedia-fr:Modèle:Div_col_end dbpedia-fr:Modèle:Disambiguation_needed dbpedia-fr:Modèle:Palette_Connecteurs_logiques
prov:wasDerivedFrom	wikipedia-fr:Barre_de_Sheffer?oldid=152721550&ns=0
foaf:depiction
prop-fr:année	1917 (xsd:integer)
prop-fr:art	Sheffer stroke (fr)
prop-fr:journal	Proceedings of the Cambridge Philosophical Society (fr)
prop-fr:lang	en (fr)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software