Le langage des propositions logiques. Calcul propositionnel. Démonstration.
Pré-requis : Introduction : Éléments de logique mathématique 1. La proposition logique Intuitivement, une proposition logique est un assemblage de signes ayant un sens et formant un énoncé dont on peut affirmer sans ambiguïté qu’il est vrai ou faux. Une proposition considérée comme évidente est appelée un « axiome ». … >> Lire la suite >>