Is the most widely used and traditional type of logic, which focuses on the principles of validity and entailsment.