About: Material conditional

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right

thumbnail
Property Value
dbo:description
  • 数学概念 (zh)
  • konnektiivi propositiologiikassa (fi)
  • spójnik logiczny (pl)
  • קשר לוגי (iw)
  • conector lógico (es)
  • ئەوەی کە وتەی Q بە چەشنێ لە نێو وتەی Pدا پێچرابێتەوە کە ڕاستیی P ڕاستیی Q بە دوای خۆیدا بێنێ (P→Q) (ckb)
  • connecteur logique entre deux assertions, fréquemment symbolisé par une flèche à droite (le plus souvent double) (fr)
  • Junktor in der Aussagenlogik (de)
  • логическая операция из булевой алгебры (ru)
  • booleaanse operator (nl)
  • conectiva lóxica tamén chamada implicación (gl)
  • logikai művelet (hu)
  • loginio veiksmo rūšis (lt)
  • القضية المركبة من قضيتين محكوم عليها ومحكوم بها. (ar)
  • connettivo logico tra due asserzioni, solitamente indicato con una freccia verso destra (it)
  • logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right (en)
  • логічний сполучник (uk)
dbo:thumbnail
dbo:wikiPageWikiLink
dbp:0Preserving
  • no (en)
dbp:1Preserving
  • yes (en)
dbp:affine
  • no (en)
dbp:bg
  • #ffffff (en)
dbp:fg
  • #000000 (en)
dbp:logicGate
  • IMPLY_ANSI.svg (en)
dbp:monotone
  • no (en)
dbp:otherTitles
  • IMPLY (en)
dbp:selfDual
  • no (en)
dbp:title
  • Material conditional (en)
  • Contraposition: (en)
  • Example: proof of , by method of analytic tableaux (en)
  • Peirce's law: (en)
  • Proof of , within minimal logic (en)
  • Vacuous conditional : (en)
dbp:vennDiagram
  • Venn1011.svg (en)
dbp:wikiPageUsesTemplate
dbp:wikifunction
  • Z10329 (en)
dct:subject
rdfs:label
  • Material conditional (en)
  • Condicional material (ca)
  • قضية شرطية (ar)
  • Implikace (cs)
  • Condicional material (es)
  • Implico (eo)
  • Subjunktion (de)
  • Implicazione logica (it)
  • Implication (logique) (fr)
  • 論理包含 (ja)
  • Logische implicatie (nl)
  • Condicional material (pt)
  • Implikacja materialna (pl)
  • Implikation (sv)
  • Логічна імплікація (uk)
  • Импликация (ru)
  • 实质条件 (zh)
owl:differentFrom
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International