Definition:Alternative (Logic)