Математическая логика и теория алгоритмов В настоящее время Как можно заменить импликацию