Definition:Alternant (Logic)