Teaching Logical Reasoning Definition