Study of the basic principles of deductive inference.