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

Мат. validity theorem