Основы логики и импликация в информатике