implicational logic

Мат. импликационная логика