Skip to content
aidb
material implication
Image: Wikimedia Commons

material implication

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

Entitylogical operatorBoolean functionQ7881229

Also known as material consequence · implication · simply implication · implies · material conditional · if-then

Instance of
Subclass of
Part of

Overview

All data

39 statements · 10% with external sources · numbers in brackets are citations

Unicode character
  • ⟹ unicode code point: 27F9 · html entity: ⟹, ⟹
  • → unicode code point: 2192 · html entity: →, →
  • ⇒ unicode code point: 21D2 · html entity: ⇒, ⇒
  • ⟶ unicode code point: 27F6 · html entity: ⟶, ⟶
Different from
Main Wikidata property
TeX string
  • \rightarrow unicode code point: 2192 · html entity: →, →
  • \DoubleRightArrow unicode code point: 21D2 · html entity: ⇒, ⇒
  • \DoubleLongRightArrow unicode code point: 27F9 · html entity: ⟹, ⟹
  • \longrightarrow unicode code point: 27F6 · html entity: ⟶, ⟶
Studied by
Defining formula
  • P \rightarrow Q
In defining formula
Opposite of

On other databases

17 identifiers linking material implication across the web's reference databases