Logic

Logic is the study of argumentation or the laws of correct reasoning, as it provides the framework for evaluating the validity of arguments and the truth of it's statements.

It's can be seperated into 2 difference catagories:

Argument form by a set of premises and a conclusion which may form a proposition, the abstraction of an expression is a truth-bearer. The relationship between arguments or expressions can be described using logical connective.