About: dbpedia-fr:Disjonction_conditionnée     Goto   Sponge   NotDistinct   Permalink

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

AttributesValues
rdfs:label
  • Disjonction conditionnée (fr)
  • Условная дизъюнкция (ru)
rdfs:comment
  • En logique, une disjonction conditionnée (parfois appelée disjonction conditionnelle) est un connecteur logique ternaire introduit par Church. Étant donné les opérandes p, q, et r, qui représentent des propositions ayant une valeur de vérité, la signification de la disjonction conditionnée [p, q, r] est donnée par : La disjonction conditionnée est également équivalente à: et a la même table de vérité en tant que l'opérateur « ternaire » (?:) dans de nombreux langages de programmation. Sa table de vérité est la suivante: Il existe d'autres connecteurs ternaires complet. (fr)
sameAs
Wikipage page ID
Wikipage revision ID
dbo:wikiPageWikiLink
page length (characters) of wiki page
dct:subject
prop-fr:wikiPageUsesTemplate
prov:wasDerivedFrom
prop-fr:art
  • Conditioned disjunction (fr)
prop-fr:id
prop-fr:lang
  • en (fr)
foaf:isPrimaryTopicOf
has abstract
  • En logique, une disjonction conditionnée (parfois appelée disjonction conditionnelle) est un connecteur logique ternaire introduit par Church. Étant donné les opérandes p, q, et r, qui représentent des propositions ayant une valeur de vérité, la signification de la disjonction conditionnée [p, q, r] est donnée par : où [p, q, r] est équivalent à: « si q alors p, sinon r », ou « p ou r, selon que q ou non q ». Cela peut aussi être déclaré comme « q implique p, et non q implique r ». Ainsi, pour n'importe quelle valeur de p, q, et r, la valeur de [p, q, r] est la valeur de p quand q est vraie, autrement, il prendra la valeur de r. La disjonction conditionnée est également équivalente à: et a la même table de vérité en tant que l'opérateur « ternaire » (?:) dans de nombreux langages de programmation. Sa table de vérité est la suivante: Il existe d'autres connecteurs ternaires complet. (fr)
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of
Faceted Search & Find service v1.16.111 as of Oct 19 2022


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.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 12 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software