Definition
The most basic formal logic system, which deals with propositions (declarative sentences) that are either definitively true or false.
In short: The most basic formal logic system, which deals with propositions (declarative sentences) that are either definitively true or false.