Flashcards: Introduction à la logique mathématique — 10 cards

Assertion — principe ?

Vraie ou fausse, pas les deux

Assertion — définition?

Proposition vraie ou fausse.

Négation ¬P — valeur ?

Inverse la valeur de P

Négation ¬P — rôle?

Inverse la valeur logique.

Connecteurs logiques — exemples ?

∧, ∨, ⇒, ⇔

Connecteurs principaux — exemples?

∧, ∨, ⇒, ⇔.

Lois de De Morgan — but?

Transformer la négation des connecteurs.

Tautologies — exemple?

P ∨ ¬P (toujours vrai).

Contraposée — formule?

(P⇒Q)⇔(¬Q⇒¬P).

Quantificateurs — types?

∀ (universel), ∃ (existentiel), ∃! (unicité).