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

Мат. logical deducibility, logical derivability