Qu'est-ce qu'une assertion en logique ?
Un énoncé déclaratif ayant une valeur de vérité vraie ou fausse.
Quand un prédicat devient-il une assertion ?
Lorsque toutes ses variables sont fixées.
Quand la négation ¬p est-elle vraie ?
Lorsque p est fausse.
Quelle est la loi de De Morgan pour ¬(p∧q) ?
¬(p∧q) est équivalente à (¬p∨¬q).
Quand l'implication p⇒q est-elle fausse ?
Lorsque p est vraie et q est fausse.
Que signifie l'équivalence p⇔q en termes d'implications ?
Elle signifie (p⇒q) et (q⇒p) simultanément.
Que signifie le quantificateur universel ∀x∈E,P(x) ?
Tout élément de E vérifie P sans exception.
Quelle est la négation de ∀x∈E,P(x) ?
∃x∈E,¬P(x).
Comment démontre-t-on une propriété ∀x∈E,P(x) ?
On prend un élément quelconque x∈E.
Quelle méthode utilise-t-on pour démontrer p⇒q directement ?
On suppose p vraie puis on déduit q à partir des définitions et résultats connus.
Teste tes connaissances avec un QCM de 10 questions sur Logique et raisonnements.
1. Laquelle des propositions suivantes est une assertion au sens logique ?
2. Quand une expression portant sur des variables devient-elle une assertion ?
Révisez le cours complet dans la fiche de révision de Logique et raisonnements.
Voir la fiche →Importe ton cours et l'IA génère des flashcards en 30 secondes.
Générateur de flashcards