математика естественный вывод
A set of rules expressing how valid proofs may be constructed in predicate logic. In the traditional notation, a horizontal line separates premises (above) from conclusions (below).