implicational calculus

Мат. импликативное исчисление