<<< назад
Теорема о связи таблиц истинности и выводимости.

<<< назад