закон дедукции

Мат. law of deduction