tautological consequence

Мат. тавтологическое следствие