logical implication
(Q7881229)
logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
Language:
Current Data About
logical implication
(P18) |
|
||||||||||||||||
(P31) |
(Q211790)
(Q942353) |
||||||||||||||||
(P279) |
(Q108163)
|
||||||||||||||||
(P373) |
Material conditional
|
||||||||||||||||
(P487) |
⟹
→
⇒
⟶
|
||||||||||||||||
(P1343) |
(Q109490582)
|
||||||||||||||||
(P1687) |
(P7719)
|
||||||||||||||||
(P1889) |
(Q374182)
|
||||||||||||||||
(P1993) |
\rightarrow
\DoubleRightArrow
\DoubleLongRightArrow
\longrightarrow
|
||||||||||||||||
(P2534) |
P \rightarrow Q
|
||||||||||||||||
(P2579) |
(Q173183)
|
||||||||||||||||
(P6104) |
(Q8487137)
|
||||||||||||||||
(P7235) |
P
\rightarrow
Q
|
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