Logique mathématique - Cours 3 (MA) (part 2: assertions, la négation d'une assertion, l'opérateur logique (2))