теорема об истинности

Мат. truth theorem