Logic And Reasoning Definition