This book explores the shapes and laws of logic as a learning field, covering deduction, induction, and abduction, along with propositional logic and formalization