Karteikarten: (Chap 1) Introduction à la logique propositionnelle et des prédicats — 33 Karten

Formule — composition ?

Variables et connecteurs logiques.

Proposition — définition?

Énoncé déclaratif vrai ou faux.

Négation quantificateurs — règle 2 ?

¬(∃ x : p(x)) ≡ ∀ x : ¬p(x).

Prédicat — définition?

Proposition dépendant d’un paramètre.

Disjonction exclusive — condition vraie ?

Une seule entre p et q est vraie.

Connecteurs fondamentaux — quels?

¬, ∧, ∨.

Quantificateurs — types ?

∀ (universel), ∃ (existe), ∃ ! (exactement un).

Implication — formules?

p ⇒ q ≡ ¬p ∨ q.

Négation d’implication — formule ?

¬(p ⇒ q) ≡ p ∧ ¬q.

Contraposée — définition?

p ⇒ q ≡ ¬q ⇒ ¬p.

Table de vérité — pour n variables ?

2^n combinaisons.

Quantificateurs — quels?

∀ (universel), ∃ (existe).

Logique des prédicats — selon quoi formaliser ?

Propriétés et propriétés quantifiées.

Tautologie — exemple?

p ∨ ¬p.

Valable en logique — tautologie ou contradiction ?

Tautologie (toujours vraie).

Disjonction exclusive — fonction ?

Vrai si p ou q, pas les deux.

Implication — symbole ?

⇒.

Implication — formule ?

p ⇒ q ≡ ¬p ∨ q.

Équivalence — symbole ?

⇔.

Négation — symbole ?

¬.

Tautologie — définition ?

Formule toujours vraie.

Prédicat — rôle ?

Proposition dépendant d’un paramètre.

Équivalence — symbole ?

p ⇔ q.

Négation quantificateurs — règle 1 ?

¬(∀ x : p(x)) ≡ ∃ x : ¬p(x).

Disjonction exclusive — symbole ?

⊕ (p ⊕ q).

Disjonction — symbole ?

∨.

Connecteurs — lois de De Morgan ?

¬(p ∧ q) ≡ ¬p ∨ ¬q.

Contraposée — formule ?

p ⇒ q ≡ ¬q ⇒ ¬p.

Proposition — définition ?

Énoncé vrai ou faux sans ambiguïté.

Équivalence — définition ?

Même valeur de vérité pour p et q.

Implication — autre formule ?

p ⇒ q ≡ ¬p ∨ q.

Quantificateur — propriété ?

Exprime la véracité sur toute ou une partie d’un domaine.

Connecteurs fondamentaux ?

¬, ∧, ∨ (dérivés : ⇒, ⇔, ⊕).