PanLinx: логическая выводимость

русский	rus-000
логическая выводимость

English	eng-000	logical deducibility
English	eng-000	logical derivability

PanLex-PanLinx