Assertions — principe ?
Propositions vraies ou fausses
Négation — vrai quand ?
P est faux si ¬P est vrai
Connecteurs logiques — exemples ?
∧, ∨, →, ↔
Assertion — définition?
Proposition qui peut être vraie ou fausse.
Négation ¬P — vraie quand?
Quand P est false.
Connecteurs logiques — principaux?
ET, OU, implication, équivalence.
Implication — expression?
P → Q ≡ ¬P ∨ Q.
Lois de De Morgan — exemple?
¬(P ∨ Q) ≡ ¬P ∧ ¬Q.
Quantificateurs — principaux?
Universal (∀x), existentiel (∃x).
Récurrence — étape clé?
P(0) et P(n)→P(n+1).
Teste tes connaissances avec un QCM de 10 questions sur Logique et Raisonnements Mathématiques.
1. Quelle est la définition correcte de l'implication logique P → Q ?
2. Quelle technique de raisonnement consiste à supposer que la conclusion est fausse et à montrer que cela mène à une contradiction ?
Révisez le cours complet dans la fiche de révision de Logique et Raisonnements Mathématiques.
Voir la fiche →Importe ton cours et l'IA génère des flashcards en 30 secondes.
Générateur de flashcards