Logique Flashcards
(7 cards)
1
Q
Assertion
A
Une assertion est une phrase soit vraie, soit fausse, mais pas les deux en même temps
2
Q
Négation/ table de vérité
A
Soit P une assertion. Négation de P notée non(P), définie vraie lorsque P est fausse, et fausse lorsque P est vraie.
3
Q
Implication/ table de vérité
A
Soient P et Q deux assertions. P implique Q est fausse lorsque P est vraie et Q est fausse. Vraie dans les autres cas.
4
Q
Équivalence/ table de vérité
A
Soient P et Q deux assertions.
P équivaut à Q si elles sont toutes les deux vraies ou fausses
5
Q
Conjonction
A
Vraie quand P et Q sont vraies
6
Q
Disjonction: ou
A
Vraie quand une des deux et vraies
7
Q
Contraposée
A
P implique Q est équivalent à non(Q) implique non(P)
