Об алгоритмической проблеме пропозициональной определимости формул первого порядка в семантике формальной логики А.Виссерастатья