Current Data About
logical implication
| (P31) |
(Q151885)
|
||||||
| (P279) |
(Q733541)
|
||||||
| (P361) |
(Q408386)
|
||||||
| (P373) |
Logical consequence
|
||||||
| (P460) |
(Q20665666)
(Q116159570) |
||||||
| (P487) |
⇒
|
||||||
| (P910) |
(Q7207501)
|
||||||
| (P913) |
(Q1435347)
|
||||||
| (P1889) |
(Q7881229)
(Q55644676) |
||||||
| (P2534) |
\forall x\ (A(x) \rightarrow B(x))
|
||||||
| (P2579) |
(Q8078)
|
||||||
| (P6104) |
(Q8487137)
|
other details
| aliases |
entailment asserted relation logical implication implies logical consequence logically implies |
| description | fundamental concept in logic |
External Links