Entailment
Follows from
⊧
Logical implication
Syntactic consequence
Logical consequence relation
Logical conclusion
Model-theoretic consequence
Derivability
Logical consequence
Semantic consequence
Consequence relation
Logical entailment
Proof-theoretic consequence
Therefore
Therefore
-1
Section::::Computing the area of a triangle.:Using Heron's formula.

Triangle
30654
derivability
model theoretic consequence
logical consequence relation
therefore
syntactic consequence
logical consequence
semantic consequence
logical implication
logical conclusion
consequence relation
entailment
logical entailment
proof theoretic consequence
follows from