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