Definition:Logical Formula