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

Мат. tautological consequence