validity theorem

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