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
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