Logique propositionnelle et logique des prédicats, ainsi que les principales techniques de preuve d'un cours d'introduction aux mathématiques discrètes.
41 cartes · cartes simples · Écrit par IA, vérifié deux fois. Tout est modifiable.
- Qu'est-ce qu'une proposition ?
Voir la réponse
Un énoncé déclaratif qui est soit vrai, soit faux, mais pas les deux.- Qu'est-ce qu'une valeur de vérité ?
Voir la réponse
La propriété d'être soit vrai, soit faux.- Définissez la conjonction (ET) en logique.
Voir la réponse
L'opération logique où « p ET q » est vraie uniquement lorsque p et q sont toutes deux vraies.- Définissez la disjonction (OU) en logique.
Voir la réponse
L'opération logique où « p OU q » est vraie lorsqu'au moins l'une des deux propositions, p ou q, est vraie.- Définissez la négation (NON) en logique.
Voir la réponse
L'opération logique où « NON p » inverse la valeur de vérité de p.- Qu'est-ce qu'une implication (énoncé conditionnel) ?
Voir la réponse
Un énoncé « p IMPLIQUE q », qui n'est faux que lorsque p est vraie et q est fausse.- What is a biconditional statement?
Voir la réponse
A statement p if and only if q (p IFF q), true when p and q have the same truth value.- Quelle est la réciproque de p IMPLIQUE q ?
Voir la réponse
L'énoncé q IMPLIQUE p.- What is the inverse of p IMPLIES q?
Voir la réponse
The statement (NOT p) IMPLIES (NOT q).- Quelle est la contraposée de p IMPLIQUE q ?
Voir la réponse
L'énoncé (NON q) IMPLIQUE (NON p).- Qu'est-ce qu'une tautologie ?
Voir la réponse
Une proposition qui est vraie pour toutes les interprétations ou affectations de vérité possibles.- Qu'est-ce qu'une contradiction ?
Voir la réponse
Une proposition qui est fausse pour toutes les interprétations ou affectations de vérité possibles.- Qu'est-ce qu'une contingence ?
Voir la réponse
Une proposition qui est vraie pour certaines interprétations et fausse pour d'autres.- Énoncez la loi de De Morgan pour la conjonction.
Voir la réponse
NON (p ET q) est logiquement équivalente à (NON p) OU (NON q).- Énoncez la loi de De Morgan pour la disjonction.
Voir la réponse
NON (p OU q) est logiquement équivalente à (NON p) ET (NON q).
FlashKeepers