study of inference and demonstration

LOGIC