Logical principles in differential diagnosis.