theor of implication

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