Introduction a la logique - 3e ed.

Cet ouvrage, actualise et augmente pour cette troisieme edition, presente la theorie de la demonstration en tant que discipline et en tant qu'outil. Les premiers chapitres presentent les bases du raisonnement mathematique et la syntaxe associee au calcul des enonces. La deuxieme partie traite plus particulierement de la theorie de la demonstration, discipline a part entiere des mathematiques. Des enonces d'exercices avec leurs corriges sont proposes en fin de chapitres. Une annexe presente un assistant de demonstration, le logiciel PhoX, realise par l'un des auteurs. Ce logiciel ainsi que des complements aux corriges sont disponibles sur le site dunod.com.