Flashcards : Raisonnement logique et ensembles (10 cartes)

Elle est vraie ou fausse, mais jamais les deux simultanément.

Lorsque p est fausse.

Une proposition toujours vraie, quelles que soient les valeurs de vérité de ses variables.

Une proposition toujours fausse, quelles que soient les valeurs de vérité de ses variables.

Supposer $p$ vraie, puis démontrer $q$.

Supposer $\neg q$ vraie, puis démontrer $\neg p$.

Quand P(x) est satisfaite par chaque élément de E.

Quand au moins un élément de E satisfait P(x).

Établir les conditions nécessaires, puis vérifier qu’un objet déterminé satisfait les propriétés voulues.

On vérifie $P(0)$, puis on prouve que $P(n)$ entraîne $P(n+1)$ pour tout $n\in\mathbb{N}$.