Logic is the study of reasoning. It studies expressions of truth and systems that combine these into complex reasoning structures.

From base statements Propositions may be formed and used to construct further arguments through the Rules of inference. Similarly Predicates may be expressed that reason of classes of objects rather than concrete items.