Logic - Overview

This is an overview of Logic, most importantly in its role as a language. The rigor of Logic is an attribute of its DEDUCTION - not induction.