Definition:Logical Consequence