теория импликации

Мат. theor of implication