The document discusses the nature and characteristics of logic. It defines logic as the science of reasoning and the study of valid inference. It notes that logic can be divided into deductive and inductive reasoning. Deductive reasoning works from general to specific, while inductive reasoning makes broad generalizations from specific observations. Examples of each type of reasoning are provided. The document also discusses properties of logical systems, including consistency, validity, completeness, and soundness.