logical implication (Q7881229)
logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
Language:
Current Data About logical implication
(P18) Image Provided By https://upload.wikimedia.org/wikipedia/commons/1/1e/Venn1011.svg

(P31) (Q211790)

(Q942353)

(P279) (Q108163)

(P373) Material conditional

(P487) ⟹
(P4213) 27F9
(P4575) ⟹
⟹
⟹
⟹
⟹

→
(P4213) 2192
(P4575) →
→
→

⇒
(P4213) 21D2
(P4575) ⇒
⇒
⇒

⟶
(P4213) 27F6
(P4575) ⟶
⟶
⟶

(P1343) (Q109490582)
(P958) 2-5.4
(P1810) p implies q
if p, then q

(P1687) (P7719)
(P4656) https://www.wikidata.org/w/index.php?title=Wikidata:Property_proposal/implies&oldid=1074194286

(P1889) (Q374182)
(P854) http://www.sublimina.it/metamatica/62-sullinplicazione-logica.html

(P1993) \rightarrow
(P4213) 2192
(P4575) →
→
→

\DoubleRightArrow
(P4213) 21D2
(P4575) ⇒
⇒
⇒

\DoubleLongRightArrow
(P4213) 27F9
(P4575) ⟹
⟹
⟹
⟹
⟹

\longrightarrow
(P4213) 27F6
(P4575) ⟶
⟶
⟶

(P2534) P \rightarrow Q

(P2579) (Q173183)

(P6104) (Q8487137)

(P7235) P
(P9758)

\rightarrow
(P9758)

Q
(P9758)

other details
aliases material consequence
 implication
 material implication
 simply implication
 implies
 conditional
 material conditional
 ⇒
 ⟹
 →
 ⟶
 if-then
description logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right

External Links
(P646) /m/030fgd
(P1245) 415251
(P1417) topic/material-implication
topic/implication
(P2812) Implies
(P2924) 2181609
(P3219) implication-philosophie
implication-logique
(P3365) implicazione
(P5106) implies
(P5844) implicazione
(P6366) 2780695790
(P6706) implicazióne
(P7554) Implication
(P8814) 05788882-n
13882478-n
(P8855) 171-03-22
(P9621) implicazione
(P10017) implicazione
(P11514) implikatsiia-906aa9