carpediem @ 12-11-2022 à 14:03Mahalox @ 12-11-2022 à 13:04
Jai fais le tableau dans mon brouillon mais je trouve que ca simpliquent.
que veut dire cette phrase ?
Je veux dire que le resultat auquel jai abouti est que A impliquent A'.
En A, chaque fois que l'on se donne un entier n, ou bien la phrase « n est pair » est vraie, ou bien la phrase « n est impair » est vraie. Par suite, la phrase « n est pair ou n est impair » est vraie.
Par contre, en A', la phrase « ∀n ∈ N, n est pair » est fausse et la phrase « ∀n ∈ N, n est impair » est fausse. En conséquence, la phrase « (∀n ∈ N, n est pair) ou (∀n ∈ N, n est impair) » est fausse. Les af f i rmations A et A' ne sont pas les mêmes.