Logique et ensembles Flashcards
Quelle est la négation de P => Q
P et ¬Q
Quelle est la réciproque de P => Q
Q => P
Quelle est la contraposée de P => Q
¬Q => ¬P
Quel lien y a-t-il entre une implication et sa contraposée ?
Elles sont toujours équivalentes
(Faux => Faux) est …
Vrai
(Faux => Vrai) est …
Vrai
(Vrai => Faux) est …
Faux
P => Q équivaut à …
¬P v Q
P ^ (Q v R) = …
(P ^ Q) v (P ^ R)
[Distributivité de ^ sur v]
Quelles sont les dualités de De Morgan ?
- ¬(P ^ Q) = ¬P v ¬Q
- ¬(P v Q) = ¬P ^ ¬ Q
Comment définit-on un ensemble en compréhension ?
{x ∈ E | P(x)}
Comment définir un ensemble en extension ?
{x1, …, xn}
Quand dit-on que deux ensembles sont égaux ?
Quand E ⊂ F et F ⊂ E
Autrement dit, E et F ont les mêmes éléments
Que signifie l’ensemble des parties de E ?
C’est l’ensemble de tous les ensembles inclus dans E, noté 𝒫(E)
Donner l’ensemble des parties de {0, 1}
𝒫({0, 1}) = {∅, {0}, {1}, {0, 1}}