logical implication (Q7881229)

From Wikidata
Jump to navigation Jump to search
logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
  • material consequence
  • implication
  • material implication
  • simply implication
  • implies
  • conditional
  • material conditional
  • if-then
edit
Language Label Description Also known as
default for all languages
No label defined
    English
    logical implication
    logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
    • material consequence
    • implication
    • material implication
    • simply implication
    • implies
    • conditional
    • material conditional
    • if-then

    Statements

    0 references
    0 references
    0 references
    Venn1011.svg
    380 × 280; 351 bytes
    0 references
    0 references
    0 references
    0 references
    0 references
    \rightarrow
    →
    →
    →
    0 references
    \DoubleRightArrow
    ⇒
    ⇒
    ⇒
    0 references
    \DoubleLongRightArrow
    ⟹
    ⟹
    ⟹
    ⟹
    ⟹
    0 references
    \longrightarrow
    ⟶
    ⟶
    ⟶
    0 references
    ⟹
    ⟹
    ⟹
    ⟹
    ⟹
    0 references
    →
    →
    →
    0 references
    ⇒
    ⇒
    ⇒
    0 references
    ⟶
    ⟶
    ⟶
    0 references
    Material conditional
    0 references

    Identifiers

     
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit