PanLinx: truth theorem

English	eng-000
truth theorem

русский	rus-000	теорема истинности
русский	rus-000	теорема об истинности

PanLex-PanLinx