О сложности и запутанности проблемы логического следованиятезисы доклада