Импликация в питоне