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 cards · basic cards · AI-written, checked twice. Edit anything.
- Qu'est-ce qu'une proposition ?
Show answer
Un énoncé déclaratif qui est soit vrai, soit faux, mais pas les deux.- Qu'est-ce qu'une valeur de vérité ?
Show answer
La propriété d'être soit vrai, soit faux.- Définissez la conjonction (ET) en logique.
Show answer
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.
Show answer
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.
Show answer
L'opération logique où « NON p » inverse la valeur de vérité de p.- Qu'est-ce qu'une implication (énoncé conditionnel) ?
Show answer
Un énoncé « p IMPLIQUE q », qui n'est faux que lorsque p est vraie et q est fausse.- What is a biconditional statement?
Show answer
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 ?
Show answer
L'énoncé q IMPLIQUE p.- What is the inverse of p IMPLIES q?
Show answer
The statement (NOT p) IMPLIES (NOT q).- Quelle est la contraposée de p IMPLIQUE q ?
Show answer
L'énoncé (NON q) IMPLIQUE (NON p).- Qu'est-ce qu'une tautologie ?
Show answer
Une proposition qui est vraie pour toutes les interprétations ou affectations de vérité possibles.- Qu'est-ce qu'une contradiction ?
Show answer
Une proposition qui est fausse pour toutes les interprétations ou affectations de vérité possibles.- Qu'est-ce qu'une contingence ?
Show answer
Une proposition qui est vraie pour certaines interprétations et fausse pour d'autres.- Énoncez la loi de De Morgan pour la conjonction.
Show answer
NON (p ET q) est logiquement équivalente à (NON p) OU (NON q).- Énoncez la loi de De Morgan pour la disjonction.
Show answer
NON (p OU q) est logiquement équivalente à (NON p) ET (NON q).
FlashKeepers