Akademik
formal implication
In a
logical calculus
, one proposition A formally implies another B if there is a
proof
starting from A as an assumption and ending with B.
Philosophy dictionary
.
Academic
.
2011
.