1. Proposal logic

Definition (propositional logic). Propositional logic or sentential logic or statement logic is a branch of logic that deals with the logical relationships between "propositions" (which can be true or false). It has two aspects: propositional language and propositional calculus.

Proposition language is a formal language that :

• syntactically defines the formal grammatical rules according to which complex propositions are constituted by assembling simple propositions by means of logical connectors and these are linked together to produce complex propositions;

• and semantically assigns a truth value to each elementary proposition, and consequently to each complex proposition.

To this language of propositions is added a system of deduction called the...