Current Data About
logical consequence
(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 |
description | fundamental concept in logic |
External Links