Introduction

L'usage des signes logiques est source de beaucoup d'erreurs. Dans ce chapitre, on précise les règles pour utiliser le formalisme de façon sûre.