Un des moyens de formalisé un concept est de définir un Langage permettant d'assister la manipulation du concept. Un langage est défini par Une syntaxe, une grammaire et finalement une sémantique qui donne un sens aux expressions valides du langage par rapport à l'observateur.
Mots clés:
Vocabulaire
wff (well formed formula)
variable propositionnelle
connecteurs
règle d'inférence
Axiomes
théorème
Déduction
Raisonnement par l'absurde
Disjonction