\( \definecolor{colordef}{RGB}{249,49,84} \definecolor{colorprop}{RGB}{18,102,241} \)
Utiliser une démonstration par exhaustion pour montrer que pour toute proposition \(p\), l'énoncé "\(p \vee (\neg p)\)" est toujours vrai. (Ceci est connu sous le nom de principe du tiers exclu).
Prends une photo de ton travail. Les commentaires de l'enseignant IA prennent environ 10 secondes.