Study of correct reasoning and valid inferences.