deducible sentence

Мат. выводимое предложение